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