code: 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);
              }
          }
      }
docs: processes a register IINC by updating the appropriate scope block to mark this register as being stored in the block
  
  @param pc
  the current program counter