Index: src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter.h |
diff --git a/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter.h b/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter.h |
index a68b0ce8eae6ab84c0a71d0bb4f81f0bd0a447b1..303059c3f31b784b727f39df7c11680aa4ae1b4b 100644 |
--- a/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter.h |
+++ b/src/trusted/validator/x86/ncval_reg_sfi/ncvalidate_iter.h |
@@ -373,6 +373,9 @@ void NaClValidatorTwoInstMessage(int level, |
/* Returns true if the validator should quit due to previous errors. */ |
Bool NaClValidatorQuit(NaClValidatorState* state); |
+/* Returns true if any code has been overwritten with halts. */ |
+Bool NaClValidatorDidStubOut(NaClValidatorState *vstate); |
+ |
#ifdef NCVAL_TESTING |
/* Defines the buffer and the corresponding buffer size to use for SNPRINTF, |
* given the current contents of the pre/post condition. |