1 files changed, 31 insertions, 0 deletions
diff --git a/validation/linear/builtin_unreachable1.c b/validation/linear/builtin_unreachable1.c
new file mode 100644
index 00000000..4dedfaba
--- /dev/null
+++ b/validation/linear/builtin_unreachable1.c
@@ -0,0 +1,31 @@
+void die(void);
+
+int foo(int c)
+{
+	if (c)
+		return 1;
+	die();
+	__builtin_unreachable();
+}
+
+/*
+ * check-name: builtin_unreachable1
+ * check-command: test-linearize -Wno-decl $file
+ *
+ * check-known-to-fail
+ * check-output-start
+foo:
+.L0:
+	<entry-point>
+	cbr         %arg1, .L3, .L2
+
+.L3:
+	ret.32      $1
+
+.L2:
+	call        die
+	unreachable
+
+
+ * check-output-end
+ */