diff options
Diffstat (limited to 'validation/context-unreachable.c')
-rw-r--r-- | validation/context-unreachable.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/context-unreachable.c b/validation/context-unreachable.c new file mode 100644 index 00000000..3e330403 --- /dev/null +++ b/validation/context-unreachable.c @@ -0,0 +1,16 @@ +int fun(void); + +static void foo(void) +{ + __context__(1); + if (!fun()) { + __builtin_unreachable(); + return; + } + __context__(-1); +} + +/* + * check-name: context-unreachable + * check-known-to-fail + */ |