Clang Project

clang_source_code/test/Frontend/verify.c
1// RUN: %clang_cc1 -DTEST1 -verify %s
2// RUN: not %clang_cc1 -DTEST2 -verify %s 2>&1 | FileCheck -check-prefix=CHECK2 %s
3// RUN: not %clang_cc1 -DTEST3 -verify %s 2>&1 | FileCheck -check-prefix=CHECK3 %s
4// RUN: not %clang_cc1 -DTEST4 -verify %s 2>&1 | FileCheck -check-prefix=CHECK4 %s
5// RUN: not %clang_cc1 -DTEST5 -verify %s 2>&1 | FileCheck -check-prefix=CHECK5 %s
6
7// expected-warning@ malformed
8// expected-error@7 1 {{missing or invalid line number}}
9
10// expected-warning@0 malformed
11// expected-error@10 {{missing or invalid line number}}
12
13// expected-warning@-50 malformed
14// expected-error@13 {{missing or invalid line number}}
15
16// expected-warning malformed
17// expected-error@16 {{cannot find start}}
18
19// expected-error 0+ {{should also be ignored}}
20
21#ifdef TEST1
22#if 0
23// expected-error {{should be ignored}}
24#endif
25// eexpected-error {{should also be ignored: unrecognised directive}}
26#error should not be ignored
27// expected-error@-1 1+ {{should not be ignored}}
28
29#line 90
30unexpected a; // expected-error@+0 + {{unknown type}}
31
32#line 60
33unexpected b; // expected-error@33 1-1 {{unknown type}}
34
35// expected-error@+2 {{file not found}} check that multi-line handled correctly: \
36
37#include "missing_header_file.include"
38#endif
39
40#ifdef TEST2
41#define MACRO some_value // expected-error {{define_error}}
42#undef MACRO extra_token // expected-warning {{undef_error}}
43#line -2                 // expected-error {{line_error}}
44#error AAA               // expected-error {{BBB}} <- this shall be part of diagnostic
45#warning CCC             // expected-warning {{DDD}} <- this shall be part of diagnostic
46
47#if 0
48// This is encapsulated in "#if 0" so that the expected-* checks below
49// are not inadvertently included in the diagnostic checking!
50
51//      CHECK2: error: 'error' diagnostics expected but not seen:
52// CHECK2-NEXT:   Line 41: define_error
53// CHECK2-NEXT:   Line 43: line_error
54// CHECK2-NEXT: error: 'error' diagnostics seen but not expected:
55// CHECK2-NEXT:   Line 43: #line directive requires a positive integer argument
56// CHECK2-NEXT:   Line 44: AAA // expected-error {{[{][{]BBB[}][}]}} <- this shall be part of diagnostic
57// CHECK2-NEXT: error: 'warning' diagnostics expected but not seen:
58// CHECK2-NEXT:   Line 42: undef_error
59// CHECK2-NEXT: error: 'warning' diagnostics seen but not expected:
60// CHECK2-NEXT:   Line 42: extra tokens at end of #undef directive
61// CHECK2-NEXT:   Line 45: CCC // expected-warning {{[{][{]DDD[}][}]}} <- this shall be part of diagnostic
62// CHECK2-NEXT: 7 errors generated.
63#endif
64#endif
65
66#ifdef TEST3
67#ifndef TEST3         // expected-note {{line_67}}
68                      // expected-note {{line_68_ignored}}
69# ifdef UNDEFINED     // expected-note {{line_69_ignored}}
70# endif               // expected-note {{line_70_ignored}}
71#elif defined(TEST3)  // expected-note {{line_71}}
72# if 1                // expected-note {{line_72}}
73                      // expected-note {{line_73}}
74# else                // expected-note {{line_74}}
75                      // expected-note {{line_75_ignored}}
76#  ifndef TEST3       // expected-note {{line_76_ignored}}
77#  endif              // expected-note {{line_77_ignored}}
78# endif               // expected-note {{line_78}}
79#endif
80
81//      CHECK3: error: 'note' diagnostics expected but not seen:
82// CHECK3-NEXT:   Line 67: line_67
83// CHECK3-NEXT:   Line 71: line_71
84// CHECK3-NEXT:   Line 72: line_72
85// CHECK3-NEXT:   Line 73: line_73
86// CHECK3-NEXT:   Line 74: line_74
87// CHECK3-NEXT:   Line 78: line_78
88// CHECK3-NEXT: 6 errors generated.
89#endif
90
91#ifdef TEST4
92#include "missing_header_file.include" // expected-error {{include_error}}
93
94//      CHECK4: error: 'error' diagnostics expected but not seen:
95// CHECK4-NEXT:   Line 92: include_error
96// CHECK4-NEXT: error: 'error' diagnostics seen but not expected:
97// CHECK4-NEXT:   Line 92: 'missing_header_file.include' file not found
98// CHECK4-NEXT: 2 errors generated.
99#endif
100
101#ifdef TEST5
102#include "verify-directive.h"
103// expected-error@50 {{source file test}}
104
105//      CHECK5: error: 'error' diagnostics expected but not seen:
106// CHECK5-NEXT:   Line 1 (directive at {{.*}}verify-directive.h:2): include file test
107// CHECK5-NEXT:   Line 50 (directive at {{.*}}verify.c:103): source file test
108// CHECK5-NEXT: 2 errors generated.
109#endif
110
111#if 0
112// RUN: not %clang_cc1 -verify %t.invalid 2>&1 | FileCheck -check-prefix=CHECK6 %s
113
114//      CHECK6: error: no expected directives found: consider use of 'expected-no-diagnostics'
115// CHECK6-NEXT: error: 'error' diagnostics seen but not expected:
116// CHECK6-NEXT:   (frontend): error reading '{{.*}}verify.c.tmp.invalid'
117// CHECK6-NEXT: 2 errors generated.
118
119// RUN: printf '//expected-error@2{{1}}\n#error 2\n' | not %clang_cc1 -verify 2>&1 | FileCheck -check-prefix=CHECK7 %s
120
121//      CHECK7: error: 'error' diagnostics expected but not seen:
122// CHECK7-NEXT:   Line 2 (directive at <stdin>:1): 1
123// CHECK7-NEXT: error: 'error' diagnostics seen but not expected:
124// CHECK7-NEXT:   Line 2: 2
125// CHECK7-NEXT: 2 errors generated.
126#endif
127
128#ifdef TEST8
129// RUN: not %clang_cc1 -DTEST8 -verify %s 2>&1 | FileCheck -check-prefix=CHECK8 %s
130
131// expected-warning@nonexistent-file:1 {{ }}
132// expected-error@-1 {{file 'nonexistent-file' could not be located}}
133
134// expected-warning@verify-directive.h: {{ }}
135// expected-error@-1 {{missing or invalid line number}}
136
137// expected-warning@verify-directive.h:0 {{ }}
138// expected-error@-1 {{missing or invalid line number}}
139
140// expected-warning@verify-directive.h:0*{{ }}
141// expected-error@-1 {{missing or invalid line number}}
142
143// expected-warning@verify-directive.h:*0{{ }}
144// syntactically ok -- means match in any line for 0 occurrences.
145
146// expected-warning@verify-directive.h:1 {{diagnostic}}
147
148//      CHECK8: error: 'warning' diagnostics expected but not seen:
149// CHECK8-NEXT:   File {{.*}}verify-directive.h Line 1 (directive at {{.*}}verify.c:146): diagnostic
150// CHECK8-NEXT: 1 error generated.
151#endif
152
CodeThinker, Enjoy your reading code