Jeff Law wrote: > I'm pretty sure jump threading *could* handle it, but after looking > at the full testcase when it was posted, I'm not sure it's *wise* to > handle this in jump threading.
Thanks for clearing my doubts. Sebastian
Jeff Law wrote: > I'm pretty sure jump threading *could* handle it, but after looking > at the full testcase when it was posted, I'm not sure it's *wise* to > handle this in jump threading.
Thanks for clearing my doubts. Sebastian