Index: src/trusted/validator_mips/testdata/test_jmp_reg.err |
diff --git a/src/trusted/validator_mips/testdata/test_jmp_reg.err b/src/trusted/validator_mips/testdata/test_jmp_reg.err |
new file mode 100755 |
index 0000000000000000000000000000000000000000..dab7ee8e8d7c2376a57c010ef55c24f60e0698b2 |
--- /dev/null |
+++ b/src/trusted/validator_mips/testdata/test_jmp_reg.err |
@@ -0,0 +1,6 @@ |
+ncval: 00020034 6 kProblemMisalignedCall 00000000 |
+ncval: 00020058 6 kProblemUnsafeJumpRegister 00000000 |
+ncval: 00020068 6 kProblemUnsafeJumpRegister 00000000 |
+ncval: 00020088 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020098 6 kProblemUnsafeDataWrite 00000000 |
+ncval: 00020040 6 kProblemPatternCrossesBundle 00000000 |