Home | History | Annotate | Download | only in verifier

Lines Matching refs:Code

138       // http://code.google.com/p/smali/issues/detail?id=119
180 // http://code.google.com/p/smali/issues/detail?id=119
328 CHECK(code_item_ != NULL); // This only makes sense for methods with code.
347 CHECK(code_item_ != NULL); // This only makes sense for methods with code.
375 CHECK(code_item_ != NULL); // This only makes sense for methods with code.
398 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "zero-length code in concrete non-native method";
418 // Perform code-flow analysis and return.
437 // affect the soundness of the code being compiled. Instead, the generated code runs "slow
497 Instruction::Code opcode = inst->Opcode();
517 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "code did not end where expected ("
1048 /* Perform code flow verification. */
1340 * Scan for dead code. There's nothing "evil" about dead code
1345 * we are almost certainly going to have some dead code.
1368 LogVerifyInfo() << "dead code " << reinterpret_cast<void*>(dead_start)
1374 LogVerifyInfo() << "dead code " << reinterpret_cast<void*>(dead_start)
1432 * from the "successful" code path (e.g. a check-cast that "improves"
1455 * the course of executing code then we have a problem.
1681 * some catch blocks (which will show up as "dead" code when
1682 * we skip them here); if we can't, then the code path could be
2617 /* checking interpreter will throw, mark following code as unreachable */
2639 * that, and will reject the code.
2746 * Note: Keep the code handling "continue" case below the "branch" and "switch" cases,
2753 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Execution can walk off end of code area";
2768 Instruction::Code opcode = ret_inst->Opcode();
3290 // Null array class; this code path will fail at runtime. Infer a merge-able type from the
3376 // Null array type; this code path will fail at runtime. Infer a merge-able type from the
3793 Instruction::Code opcode = ret_inst->Opcode();
3882 * Walks over the method code and adds any cast instructions in which
3883 * the type cast is implicit to a set, which is used in the code generation