public void addDeref ( ValueNumber vn , Location location ) { if ( UnconditionalValueDerefAnalysis . DEBUG ) { System . out . println ( "Adding dereference of " + vn + " to # " + System . identityHashCode ( this ) + " @ " + location ) ; } valueNumbersUnconditionallyDereferenced . set ( vn . getNumber ( ) ) ; Set < Location > derefLocationSet = getDerefLocationSet ( vn ) ; derefLocationSet . add ( location ) ; }
Mark a value as being dereferenced at given Location .