From e461ed2a9fabede15a9c65aa87ca19f8c3a0b264 Mon Sep 17 00:00:00 2001 From: Christopher Date: Tue, 13 Jul 2010 01:05:10 -0700 Subject: Add test case for builtin_unreachable() The test case is taken from gcc documents. Signed-off-by: Christopher --- validation/builtin_unreachable.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 validation/builtin_unreachable.c diff --git a/validation/builtin_unreachable.c b/validation/builtin_unreachable.c new file mode 100644 index 0000000..29799b5 --- /dev/null +++ b/validation/builtin_unreachable.c @@ -0,0 +1,15 @@ +/* example from gcc documents */ + +void function_that_never_returns (void); + +static int g (int c) +{ + if (c) + return 1; + function_that_never_returns (); + __builtin_unreachable (); +} + +/* + * check-name: __builtin_unreachable() + */ -- cgit v1.2.3-65-gdbad