rgrig/barista — Issue #6: treatment of new in SymbExe
Author: rgrig
Created: 2012-01-16 22:20:08+00:00
State: open

The type inferer wrongly identifies which objects are initialized by INVOKESPECIAL. It is possible, for example, to execute the same NEW twice before executing a corresponding INVOKESPECIAL.