Lines Matching defs:Fail

122         Fail(VERIFY_ERROR_BAD_CLASS_HARD) << error_msg << work_insn_idx;
129 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << error_msg << work_insn_idx;
658 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
673 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
688 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "method has more than one of public/protected/private";
697 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "zero-length code in concrete non-native method";
714 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
723 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface methods must be public";
729 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface methods can't be protected";
735 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "constructors can't be abstract or native";
746 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "non-zero-length code in abstract or native method";
756 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interfaces may not have non-static constructor";
759 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interfaces may not have final methods";
767 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
779 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "constructors can't be synchronized";
787 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad register counts (ins="
815 std::ostream& MethodVerifier::Fail(VerifyError error) {
846 // Note: this assumes that Fail is called before we do any work_line modifications.
949 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "code did not end where expected ("
969 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad exception entry: startAddr=" << start
974 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
992 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
997 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
1057 Fail(VERIFY_ERROR_FORCE_INTERPRETER)
1143 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << v_a << ") in "
1158 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << inst->VRegA() << ") in "
1165 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected opcode " << inst->Name();
1170 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "opcode only expected at runtime " << inst->Name();
1178 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register index out of range (" << idx << " >= "
1187 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register index out of range (" << idx
1197 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad call site index " << idx << " (max "
1206 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad field index " << idx << " (max "
1215 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad method index " << idx << " (max "
1225 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad method handle index " << idx << " (max "
1234 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx.index_ << " (max "
1241 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "can't call new-instance on type '" << descriptor << "'";
1246 Fail(VERIFY_ERROR_INSTANTIATION);
1253 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad prototype index " << idx << " (max "
1262 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad string index " << idx << " (max "
1271 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx.index_ << " (max "
1280 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx.index_ << " (max "
1292 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
1297 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
1315 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data start: at " << cur_offset
1324 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned array data table: at " << cur_offset
1331 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array data table at " << cur_offset
1342 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data end: at " << cur_offset
1358 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch offset of zero not allowed at"
1365 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch target overflow "
1373 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid branch target " << offset << " (-> "
1427 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch start: at " << cur_offset
1436 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned switch table: at " << cur_offset
1443 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "switch table at " << cur_offset
1465 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
1472 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch end: at " << cur_offset
1487 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid packed switch: first_key=" << first_key
1499 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid sparse switch: last key=" << last_key
1515 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch target " << offset
1530 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index (" << arg[idx]
1544 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index " << vA << "+" << vC
1660 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected 0 args, but method is not static";
1695 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args
1738 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args
1757 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected signature type char '"
1764 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args
1798 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected char in return type descriptor '"
2049 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "encountered data table in instruction stream";
2106 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "move-exception at pc 0x0";
2120 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void not expected";
2129 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected non-category 1 return type "
2154 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-wide not expected";
2169 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-object not expected";
2179 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning undefined register";
2181 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning register with conflict";
2183 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning uninitialized object '"
2187 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-object returns a non-reference type "
2191 Fail(VERIFY_ERROR_NO_CLASS) << " can't resolve returned type '" << return_type
2200 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "array with erroneous component type: "
2206 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning '" << reg_type
2291 Fail(VERIFY_ERROR_FORCE_INTERPRETER);
2297 Fail(VERIFY_ERROR_FORCE_INTERPRETER);
2369 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "using primitive type "
2388 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on unexpected class " << res_type;
2390 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on unexpected class " << res_type;
2394 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on non-reference in v" << orig_type_reg;
2396 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on non-reference in v" << orig_type_reg;
2400 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on uninitialized reference in v"
2403 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on uninitialized reference in v"
2422 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type;
2429 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type;
2442 Fail(VERIFY_ERROR_INSTANTIATION)
2502 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "thrown exception not initialized";
2504 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "thrown value of non-reference type " << res_type;
2506 Fail(res_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS : VERIFY_ERROR_BAD_CLASS_SOFT)
2530 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with array type "
2534 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data for array of type "
2540 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with component type "
2548 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid magic for array-data";
2554 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-data size mismatch (" << array_data[1]
2576 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to if-eq/if-ne (" << reg_type1 << ","
2588 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to 'if' (" << reg_type1 << ","
2597 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type
2718 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type
2959 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unable to initialize null ref";
2968 // Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "super class unknown for '" << this_type << "'";
2974 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected initialization on uninitialized reference "
3026 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected interface class in invoke-interface '"
3039 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface call on uninitialized object "
3082 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << message;
3084 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke-polymorphic verification failure.";
3141 Fail(VERIFY_ERROR_FORCE_INTERPRETER);
3366 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void-no-barrier not expected for field "
3374 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void-no-barrier not expected for "
3384 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void not expected";
3394 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Unexpected opcode " << inst->DumpString(dex_file_);
3423 // Note: the flag must be reset as it is only global to decouple Fail and is semantically per
3452 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad branch";
3564 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
3580 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Execution can walk off end of code area";
3646 Fail(VerifyError::VERIFY_ERROR_NO_CLASS) << "Could not create precise reference for "
3684 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "accessing broken descriptor '" << descriptor
3700 Fail(VERIFY_ERROR_ACCESS_CLASS) << "(possibly) illegal class access: '"
3731 // We don't know enough about the type. Fail here and let runtime handle it.
3732 Fail(VERIFY_ERROR_NO_CLASS) << "unresolved exception class " << exception;
3735 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unexpected non-exception class " << exception;
3759 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unable to find exception handler";
3809 Fail(VERIFY_ERROR_NO_METHOD) << "couldn't find method "
3819 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting non-direct call to constructor "
3825 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting call to class initializer "
3843 Fail(VERIFY_ERROR_CLASS_CHANGE)
3850 Fail(VERIFY_ERROR_CLASS_CHANGE)
3863 Fail(VERIFY_ERROR_NO_METHOD) << "invoke-interface " << klass->PrettyDescriptor() << "."
3873 Fail(VERIFY_ERROR_ACCESS_METHOD) << "illegal method access (call "
3880 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke-super/virtual can't be used on private method "
3895 Fail(VERIFY_ERROR_CLASS_CHANGE) << "invoke type (" << method_type << ") does not match method "
3920 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args
3941 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized";
3948 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized";
3976 Fail(adjusted_type.IsUnresolvedTypes()
3997 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << inst->VRegA() <<
4005 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation because of missing signature "
4016 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << get_reg << " has type " << src_type
4035 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, long or double parameter "
4046 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << expected_args <<
4067 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Bad call site id #" << call_site_idx
4076 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4089 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4109 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4120 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4127 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4174 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Call site #" << call_site_idx
4233 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Unable to find referenced class from invoke-super";
4239 Fail(VERIFY_ERROR_CLASS_CHANGE) << "Cannot invoke-super on self as interface";
4245 Fail(VERIFY_ERROR_NO_CLASS) << "Unable to resolve the full class of 'this' used in an"
4249 Fail(VERIFY_ERROR_CLASS_CHANGE)
4260 Fail(VERIFY_ERROR_NO_METHOD) << "unknown super class in invoke-super from "
4267 Fail(VERIFY_ERROR_NO_METHOD) << "invalid invoke-super from "
4298 Fail(VERIFY_ERROR_FORCE_INTERPRETER);
4300 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4306 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4313 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4321 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4328 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4343 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4348 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4353 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4359 Fail(VERIFY_ERROR_BAD_CLASS_HARD)
4416 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "new-array on non-array class " << res_type;
4451 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")";
4475 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aget";
4479 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "reference array type " << array_type
4482 Fail(VERIFY_ERROR_NO_CLASS) << "cannot verify aget for " << array_type
4493 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type
4496 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "reference array type " << array_type
4501 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array type " << array_type
4558 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "put insn has type '" << insn_type
4563 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected value in v" << vregA
4573 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")";
4598 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aput";
4602 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "put insn has type '" << insn_type
4605 Fail(VERIFY_ERROR_NO_CLASS) << "cannot verify aput for " << array_type
4615 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type
4659 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access static field " << field->PrettyField()
4663 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << field->PrettyField() << " to be static";
4703 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance field access on object that has "
4721 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "cannot access instance field " << field->PrettyField()
4740 Fail(type) << "cannot access instance field " << field->PrettyField()
4749 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access instance field " << field->PrettyField()
4753 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << field->PrettyField()
4787 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Might be accessing a superclass instance field prior "
4791 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "cannot access superclass instance field "
4803 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot modify final field " << field->PrettyField()
4836 Fail(VERIFY_ERROR_ACCESS_FIELD) << "could not check field put for final field modify of "
4865 Fail(error) << "expected field " << ArtField::PrettyField(field)
4885 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << ArtField::PrettyField(field)
4897 Fail(error) << "expected field " << ArtField::PrettyField(field)
4919 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-exception";
4928 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-result*";
5131 Fail(VerifyError::VERIFY_ERROR_NO_CLASS) << "Could not create precise reference for "