diff options
Diffstat (limited to 'validation/linear/builtin_unreachable0.c')
| -rw-r--r-- | validation/linear/builtin_unreachable0.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/validation/linear/builtin_unreachable0.c b/validation/linear/builtin_unreachable0.c new file mode 100644 index 00000000..f9703079 --- /dev/null +++ b/validation/linear/builtin_unreachable0.c @@ -0,0 +1,28 @@ +int foo(int p) +{ + if (p == 3) + __builtin_unreachable(); + return p; +} + +/* + * check-name: builtin_unreachable0 + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-start +foo: +.L0: + <entry-point> + seteq.32 %r2 <- %arg1, $3 + cbr %r2, .L1, .L3 + +.L1: + unreachable + +.L3: + ret.32 %arg1 + + + * check-output-end + */ |