builder.getSystem().newConstraint(F, constParams[i][j]); builder.getSystem().newConstraint(F, (F instanceof FilteredPointerKey) ? builder.filterOperator : assignOperator, A); PointerKey F = builder.getPointerKeyForLocal(target, targetST.getParameter(i)); for (InstanceKey nullkey : nullkeys) { builder.getSystem().newConstraint(F, nullkey); PointerKey RF = builder.getPointerKeyForReturnValue(target); PointerKey RA = builder.getPointerKeyForLocal(caller, instruction.getDef(0)); builder.getSystem().newConstraint(RA, assignOperator, RF); if (SHORT_CIRCUIT_SINGLE_USES && uniqueCatchKey != null) { builder.getSystem().newConstraint(uniqueCatchKey, assignOperator, EF); } else { PointerKey EA = builder.getPointerKeyForLocal(caller, instruction.getDef(1)); builder.getSystem().newConstraint(EA, assignOperator, EF);
builder.getSystem().newConstraint(F, constParams[i][j]); builder.getSystem().newConstraint(F, (F instanceof FilteredPointerKey) ? builder.filterOperator : assignOperator, A); PointerKey F = builder.getPointerKeyForLocal(target, targetST.getParameter(i)); for (InstanceKey nullkey : nullkeys) { builder.getSystem().newConstraint(F, nullkey); PointerKey RF = builder.getPointerKeyForReturnValue(target); PointerKey RA = builder.getPointerKeyForLocal(caller, instruction.getDef(0)); builder.getSystem().newConstraint(RA, assignOperator, RF); if (SHORT_CIRCUIT_SINGLE_USES && uniqueCatchKey != null) { builder.getSystem().newConstraint(uniqueCatchKey, assignOperator, EF); } else { PointerKey EA = builder.getPointerKeyForLocal(caller, instruction.getDef(1)); builder.getSystem().newConstraint(EA, assignOperator, EF);