From e7c9645c002d2ff639f7d24f94ffe793795eabcc Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 26 Sep 2009 03:54:06 +0000 Subject: [PATCH] Add a "positive" matching test case for attribute 'noreturn' that involves a nested infinite loop. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@82842 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Sema/return-noreturn.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/Sema/return-noreturn.c b/test/Sema/return-noreturn.c index 20df857d3b..e2452f407f 100644 --- a/test/Sema/return-noreturn.c +++ b/test/Sema/return-noreturn.c @@ -11,6 +11,12 @@ void test2() { if (j) while (1) { } } +__attribute__((__noreturn__)) +void test2_positive() { + if (j) while (1) { } +} // expected-warning{{function declared 'noreturn' should not return}} + + // This test case illustrates that we don't warn about the missing return // because the function is marked noreturn and there is an infinite loop. extern int foo_test_3(); -- 2.50.1