aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c')
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c99
1 files changed, 99 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c b/gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c
new file mode 100644
index 000000000..a0adc78cf
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.c-torture/compile/iftrap-1.c
@@ -0,0 +1,99 @@
+/* Verify that ifcvt doesn't crash under a number of interesting conditions. */
+
+void f1(int p)
+{
+ if (p)
+ __builtin_trap();
+}
+
+void f2(int p)
+{
+ if (p)
+ __builtin_trap();
+ else
+ bar();
+}
+
+void f3(int p)
+{
+ if (p)
+ bar();
+ else
+ __builtin_trap();
+}
+
+void f4(int p, int q)
+{
+ if (p)
+ {
+ bar();
+ if (q)
+ bar();
+ }
+ else
+ __builtin_trap();
+}
+
+void f5(int p)
+{
+ if (p)
+ __builtin_trap();
+ else
+ abort();
+}
+
+void f6(int p)
+{
+ if (p)
+ abort();
+ else
+ __builtin_trap();
+}
+
+void f7(int p)
+{
+ if (p)
+ __builtin_trap();
+ else
+ __builtin_trap();
+}
+
+void f8(int p)
+{
+ if (p)
+ __builtin_trap();
+ else
+ {
+ bar();
+ __builtin_trap();
+ }
+}
+
+void f9(int p)
+{
+ if (p)
+ {
+ bar();
+ __builtin_trap();
+ }
+ else
+ __builtin_trap();
+}
+
+void f10(int p)
+{
+ if (p)
+ __builtin_trap();
+ while (1)
+ bar();
+}
+
+void f11(int p)
+{
+ if (p)
+ __builtin_trap();
+ else
+ bar();
+ while (1)
+ baz();
+}