101102103104105106107108109110111
{ // collect non obj writes for (OnePathInstructionRegisterContents curInst : curPath.path) { InstructionUseInfo useInfo= beenTo.get(curInst.instruction).useInfo; hasObj.orEq(useInfo.writesObj()); } } allRegs.andEq(hasObj);