From 7620ee45503df50f9843fca2ed7918ae7f6a88d6 Mon Sep 17 00:00:00 2001 From: Argyrios Kyrtzidis Date: Wed, 10 Sep 2008 02:17:11 +0000 Subject: Implement Sema support for the 'condition' part of C++ selection-statements and iteration-statements (if/switch/while/for). llvm-svn: 56044 --- clang/test/SemaCXX/condition.cpp | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 clang/test/SemaCXX/condition.cpp (limited to 'clang/test/SemaCXX/condition.cpp') diff --git a/clang/test/SemaCXX/condition.cpp b/clang/test/SemaCXX/condition.cpp new file mode 100644 index 00000000000..e535a00f41d --- /dev/null +++ b/clang/test/SemaCXX/condition.cpp @@ -0,0 +1,33 @@ +// RUN: clang -fsyntax-only -verify %s + +void test() { + int a; + if (a) ++a; + if (int x=0) ++x; + + typedef int arr[10]; + while (arr x=0) ; // expected-error: {{an array type is not allowed here}} expected-error: {{initialization with "{...}" expected for array}} + while (int f()=0) ; // expected-error: {{a function type is not allowed here}} + + struct S {} s; + if (s) ++a; // expected-error: {{expression must have bool type (or be convertible to bool) ('struct S' invalid)}} + while (struct S x=s) ; // expected-error: {{expression must have bool type (or be convertible to bool) ('struct S' invalid)}} + switch (s) {} // expected-error: {{statement requires expression of integer type ('struct S' invalid)}} + + while (struct S {} x=0) ; // expected-error: {{types may not be defined in conditions}} expected-error: {{incompatible type}} expected-error: {{expression must have bool type}} + while (struct {} x=0) ; // expected-error: {{types may not be defined in conditions}} expected-error: {{incompatible type}} expected-error: {{expression must have bool type}} + switch (enum {E} x=0) ; // expected-error: {{types may not be defined in conditions}} + + if (int x=0) { // expected-error: {{previous definition is here}} + int x; // expected-error: {{redefinition of 'x'}} + } + else + int x; // expected-error: {{redefinition of 'x'}} + while (int x=0) int x; // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + while (int x=0) { int x; } // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + for (int x; int x=0; ) ; // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + for (int x; ; ) int x; // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + for (; int x=0; ) int x; // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + for (; int x=0; ) { int x; } // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} + switch (int x=0) { default: int x; } // expected-error: {{redefinition of 'x'}} expected-error: {{previous definition is here}} +} -- cgit v1.2.3