private void sawIINC ( int pc ) { int reg = getRegisterOperand ( ) ; if ( ! ignoreRegs . get ( reg ) ) { ScopeBlock sb = findScopeBlock ( rootScopeBlock , pc ) ; if ( sb != null ) { sb . addLoad ( reg , pc ) ; } else { ignoreRegs . set ( reg ) ; } } if ( catchHandlers . get ( pc ) ) { ignoreRegs . set ( reg ) ; } else if ( ! monitorSyncPCs . isEmpty ( ) ) { ignoreRegs . set ( reg ) ; } else if ( sawNull ) { ignoreRegs . set ( reg ) ; } if ( ! ignoreRegs . get ( reg ) ) { ScopeBlock sb = findScopeBlock ( rootScopeBlock , pc ) ; if ( sb != null ) { sb . addStore ( reg , pc , null ) ; if ( sawDup ) { sb . addLoad ( reg , pc ) ; } } else { ignoreRegs . set ( reg ) ; } } }
processes a register IINC by updating the appropriate scope block to mark this register as being stored in the block