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 100644 |
index 0000000000000000000000000000000000000000..ac29b5cb6abb6b6b9bd0fa0e8b65b77d8651d03c |
--- /dev/null |
+++ b/src/trusted/validator_mips/testdata/test_jmp_reg.err |
@@ -0,0 +1,6 @@ |
+ncval: 00020034 6 kProblemMisalignedCall 00000000 |
+ncval: 00020040 6 kProblemUnsafeJumpRegister 00000000 |
+ncval: 00020058 6 kProblemUnsafeJumpRegister 00000000 |
+ncval: 00020068 6 kProblemUnsafeJumpRegister 00000000 |
+ncval: 00020088 6 kProblemReadOnlyRegister 00000000 |
+ncval: 00020098 6 kProblemUnsafeDataWrite 00000000 |