77         int stackDepth = -stack[index];  in visitBytecode()  local
82             stack[index] = stackDepth;  in visitBytecode()
84             stackDepth = visitInst(op, ci, index, stackDepth);  in visitBytecode()
85             if (stackDepth < 1)  in visitBytecode()
88             if (processBranch(op, ci, index, codeLength, stack, stackDepth, jsrDepth))  in visitBytecode()
95                 --stackDepth;  in visitBytecode()
100                                   int codeLength, int[] stack, int stackDepth, int[] jsrDepth)  in processBranch()  argument
106             checkTarget(index, target, codeLength, stack, stackDepth);  in processBranch()
113                 checkTarget(index, target, codeLength, stack, stackDepth);  in processBranch()
117                 checkTarget(index, target, codeLength, stack, stackDepth);  in processBranch()
126                 checkTarget(index, target, codeLength, stack, stackDepth);  in processBranch()
135                     jsrDepth[0] = stackDepth;  in processBranch()
138                 else if (stackDepth == jsrDepth[0])  in processBranch()
143                             + stackDepth + "," + jsrDepth[0]);  in processBranch()
146                     jsrDepth[0] = stackDepth + 1;  in processBranch()
149                 else if (stackDepth + 1 == jsrDepth[0])  in processBranch()
154                             + stackDepth + "," + jsrDepth[0]);  in processBranch()
159                 checkTarget(index, target, codeLength, stack, stackDepth);  in processBranch()
166                                     stack, stackDepth);  in processBranch()
178                                     stack, stackDepth);  in processBranch()
191                              int[] stack, int stackDepth)  in checkTarget()  argument
199             stack[target] = -stackDepth;  in checkTarget()
200         else if (d != stackDepth && d != -stackDepth)  in checkTarget()
201             throw new BadBytecode("verification error (" + stackDepth +  in checkTarget()