| 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.
|
|
|