From: Ted Kremenek <kremenek@apple.com>
Date: Sat, 26 Sep 2009 03:54:06 +0000 (+0000)
Subject: Add a "positive" matching test case for attribute 'noreturn' that involves a nested... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e7c9645c002d2ff639f7d24f94ffe793795eabcc;p=clang

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
---

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();