From cea7ecbdc52cbac9dcb03b6d35c9c5f3c5e37b6e Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Fri, 29 May 2020 11:13:54 -0700
Subject: [PATCH] Add a testcase for raise(SIGABRT).

---
 tests/general/sigabrt.c                        | 11 +++++++++++
 tests/general/sigabrt.c.exit_status.expected   |  1 +
 tests/general/sigabrt.c.options                |  1 +
 tests/general/sigabrt.c.stderr.expected        |  7 +++++++
 tests/general/sigabrt.c.stderr.expected.filter |  7 +++++++
 5 files changed, 27 insertions(+)
 create mode 100644 tests/general/sigabrt.c
 create mode 100644 tests/general/sigabrt.c.exit_status.expected
 create mode 100644 tests/general/sigabrt.c.options
 create mode 100644 tests/general/sigabrt.c.stderr.expected
 create mode 100755 tests/general/sigabrt.c.stderr.expected.filter

diff --git a/tests/general/sigabrt.c b/tests/general/sigabrt.c
new file mode 100644
index 0000000..4864db6
--- /dev/null
+++ b/tests/general/sigabrt.c
@@ -0,0 +1,11 @@
+#include <signal.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+int main(void)
+{
+    fprintf("raising SIGABRT...\n");
+    raise(SIGABRT);
+    fprintf("oops!\n");
+    return EXIT_FAILURE;
+}
diff --git a/tests/general/sigabrt.c.exit_status.expected b/tests/general/sigabrt.c.exit_status.expected
new file mode 100644
index 0000000..405e2af
--- /dev/null
+++ b/tests/general/sigabrt.c.exit_status.expected
@@ -0,0 +1 @@
+134
diff --git a/tests/general/sigabrt.c.options b/tests/general/sigabrt.c.options
new file mode 100644
index 0000000..4f07a3e
--- /dev/null
+++ b/tests/general/sigabrt.c.options
@@ -0,0 +1 @@
+-D_WASI_EMULATED_SIGNAL -lwasi-emulated-signal
diff --git a/tests/general/sigabrt.c.stderr.expected b/tests/general/sigabrt.c.stderr.expected
new file mode 100644
index 0000000..bd41dbd
--- /dev/null
+++ b/tests/general/sigabrt.c.stderr.expected
@@ -0,0 +1,7 @@
+raising SIGABRT...
+Error: failed to run main module `sigabrt.c.---.wasm`
+
+Caused by:
+    0: failed to invoke `_start`
+    1: wasm trap: unreachable, source location: @----
+       wasm backtrace:
diff --git a/tests/general/sigabrt.c.stderr.expected.filter b/tests/general/sigabrt.c.stderr.expected.filter
new file mode 100755
index 0000000..425b060
--- /dev/null
+++ b/tests/general/sigabrt.c.stderr.expected.filter
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -euo pipefail
+
+cat \
+    | sed -e 's/main module `sigabrt\.c\.[^`]*\.wasm`/main module `sigabrt.c.---.wasm`/' \
+    | sed -e 's/source location: @[[:xdigit:]]*$/source location: @----/' \
+    | head -n 6