Patent ID: 7631304

Claim:
A method of processing a program having a first region from which program execution may be asynchronously transferred to a handler region, the first region being a protected region associated with the handler region, and a second region which is a portion of the first region that is executed only after execution of at least one instruction in the handler region, the method comprising: a) forming a representation of at least the first region, the representation comprising a plurality of a first type constructs, each of the first type constructs representing one or more operations, and at least one second type construct, each of the at least one second type construct representing execution flow between constructs of the first type; and b) for at least one first type construct in the first region containing a definition of a variable, selectively adding to the representation a second type construct indicating flow from the first type construct based on whether the variable is used in the second region; wherein a) and b) are performed by a compiler executing on a computer.