Index: src/trusted/validator_mips/validation-report.py |
diff --git a/src/trusted/validator_mips/validation-report.py b/src/trusted/validator_mips/validation-report.py |
index 34dc476bf93f89a2b16bb74ffaca1aa118872b61..6618e17908f79e8e88a8facb349147c35257044c 100755 |
--- a/src/trusted/validator_mips/validation-report.py |
+++ b/src/trusted/validator_mips/validation-report.py |
@@ -51,6 +51,9 @@ def _problem_info(code): |
'kProblemUnsafeLoadStore': ['This load/store instruction is not ' |
'preceded by a valid store mask instruction', |
1, 0], |
+ 'kProblemUnsafeLoadStoreThreadPointer': ['This is not a valid' |
Mark Seaborn
2015/12/30 02:12:40
Add space before the last single quote
petarj
2015/12/30 17:04:58
Done.
|
+ 'load/store instruction for accessing thread pointer.', |
+ 0, 0], |
'kProblemUnsafeJumpRegister': ['This indirect jump instruction is not ' |
'preceded by a valid jump mask instruction', |
1, 0], |