The incompatibility analysis detects sets of allocation sites with the
property that for each set S, at any given moment during the execution
of the program, at most one object allocated at allocation sites from
S is live. The preallocation optimization modifies the code for the
allocation sites from a set S of compatible sites such that they reuse
the same statically preallocated piece of memory.
@author Ovidiu Gheorghioiu