/* Processing assignments of allocation statements. Left hand side
is either a variable or the field of a variable. The right hand
side is the allocation site, represented by the allocation
instruction. */
public void assignAlloc(Var x, Field f, New a) {
Node nodeL = getNode(x, f);
nodeL.hasallocs = true;
nodeL.istouched = true;
setTouched(x);
if (IRHelper.isLibrary(method.getDeclaringClass())) nodeL.hasliballocs = true;
Node nodeR = allocmap.get(a);
assert (nodeR == null) : "Allocation site already entered";
allocmap.put(a, nodeL);
}
