What about function inlining? I suspect this needs to be added to the list of saved variables, and |= when a function is inlined.