tests: split post_condition main test into normal and corrupt_bounds tests to have a control

`exit(128 + SIGABRT)` is temporarily used instead of `assert` (which `raise`s `SIGABRT`)
due to `ia2-sandbox`'s `ptrace` tracer not yet handling it.
That will be fixed shortly.

Author: kkysen

tests/post_condition/dav1d.c

@@ -4,16 +4,25 @@ RUN: cat dav1d_call_gates_1.ld | FileCheck --check-prefix=LINKARGS %s
 
 #include "dav1d.h"
 #include <ia2_test_runner.h>
+#include <signal.h>
+
+bool corrupt_stride = false;
 
 // LINKARGS: --wrap=dav1d_get_picture
 int dav1d_get_picture(Dav1dContext *const c, Dav1dPicture *const out) {
-  out->stride[0] = -1;
+  out->stride[0] = 1;
+  if (corrupt_stride) {
+    out->stride[0] *= -1;
+  }
   return 0;
 }
 
 void dav1d_get_picture_post_condition(Dav1dContext *const c, Dav1dPicture *const out) {
   cr_log_info("dav1d_get_picture post condition ran");
   if (out->stride[0] < 0) {
     cr_log_info("negative stride");
+    // signals, like the `SIGABRT` from `assert` don't yet work with
+    // `ia2-sandbox` and its `ptrace` tracer.
+    exit(128 + SIGABRT);
   }
 }

tests/post_condition/include/dav1d.h

@@ -1,5 +1,6 @@
 #pragma once
 
+#include <stdbool.h>
 #include <stddef.h>
 
 typedef struct {
@@ -10,4 +11,6 @@ typedef struct {
   ptrdiff_t stride[2];
 } Dav1dPicture;
 
+extern bool corrupt_stride;
+
 int dav1d_get_picture(Dav1dContext *c, Dav1dPicture *out);

tests/post_condition/main.c

@@ -7,6 +7,7 @@ RUN: sh -c 'if [ ! -s "dav1d_call_gates_0.ld" ]; then echo "No link args as expe
 #include "dav1d.h"
 #include <ia2.h>
 #include <ia2_test_runner.h>
+#include <signal.h>
 
 INIT_RUNTIME(1);
 #define IA2_COMPARTMENT 1
@@ -15,6 +16,12 @@ INIT_RUNTIME(1);
 Dav1dContext c IA2_SHARED_DATA;
 Dav1dPicture pic IA2_SHARED_DATA;
 
-Test(post_condition, main) {
+Test(post_condition, normal) {
+  corrupt_stride = false;
+  dav1d_get_picture(&c, &pic);
+}
+
+Test(post_condition, corrupt_bounds, .exit_code = 128 + SIGABRT) {
+  corrupt_stride = true;
   dav1d_get_picture(&c, &pic);
 }