What do you do for inlining + code movement, where functions become interleaved (as do lines)?
In particular, after inlining, how are you guaranteeing statements from a given function don't get moved before the inlined enterfunction call (and similarly with lines)
Or do you not expect it to ever be able to report right answers for optimized programs?
(which is a valid way to live life, of course, but ...)
In particular, after inlining, how are you guaranteeing statements from a given function don't get moved before the inlined enterfunction call (and similarly with lines)
Or do you not expect it to ever be able to report right answers for optimized programs? (which is a valid way to live life, of course, but ...)