Index: src/trusted/validator_ragel/unreviewed/validator_test.c |
=================================================================== |
--- src/trusted/validator_ragel/unreviewed/validator_test.c (revision 9570) |
+++ src/trusted/validator_ragel/unreviewed/validator_test.c (working copy) |
@@ -113,7 +113,7 @@ |
printf("offset 0x%"NACL_PRIxS": warning - bad call alignment\n", offset); |
if (validation_error & BAD_JUMP_TARGET) |
printf("bad jump to around 0x%"NACL_PRIxS"\n", offset); |
- if (validation_error & (VALIDATION_ERRORS | BAD_JUMP_TARGET)) |
+ if (validation_error & (VALIDATION_ERRORS_MASK | BAD_JUMP_TARGET)) |
return FALSE; |
else |
return TRUE; |