Index: src/trusted/validator_arm/validator.cc |
diff --git a/src/trusted/validator_arm/validator.cc b/src/trusted/validator_arm/validator.cc |
index 0742be242a0485525b7efdb034cbb0c1a9bfc7b6..7f99520b9b9b006646b6063bce200bf1c443deab 100644 |
--- a/src/trusted/validator_arm/validator.cc |
+++ b/src/trusted/validator_arm/validator.cc |
@@ -675,10 +675,10 @@ bool SfiValidator::validate_fallthrough(const CodeSegment& segment, |
bool complete_success = true; |
nacl_arm_dec::Forbidden initial_decoder; |
- // Initialize the previous instruction to a scary BKPT, so patterns all fail. |
+ // Initialize the previous instruction so it always fails validation. |
DecodedInstruction pred( |
0, // Virtual address 0, which will be in a different bundle; |
- Instruction(nacl_arm_dec::kLiteralPoolHeadInstruction), |
+ Instruction(nacl_arm_dec::kFailValidation), |
initial_decoder); // and ensure that it decodes as Forbidden. |
for (uint32_t va = segment.begin_addr(); va < segment.end_addr(); va += 4) { |