mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-03 06:10:23 +00:00
c1f152ee6c
Allow diagnostic checks that originate in included files to be matched without necessarily determining the line number that the diagnostic occurs on. The new syntax replaces the line number with '*'. This extension is limited to diagnostics in included files and may be used where the include file is not part of the test-suite itself. Expected uses are for diagnostics originating in system headers, or for users who use -verify in testing 3rd-party library code where the location of diagnostics in header files may change from revision to revision and their precise location is not important to the success of the test-case. llvm-svn: 212735
152 lines
5.8 KiB
C
152 lines
5.8 KiB
C
// RUN: %clang_cc1 -DTEST1 -verify %s
|
|
// RUN: not %clang_cc1 -DTEST2 -verify %s 2>&1 | FileCheck -check-prefix=CHECK2 %s
|
|
// RUN: not %clang_cc1 -DTEST3 -verify %s 2>&1 | FileCheck -check-prefix=CHECK3 %s
|
|
// RUN: not %clang_cc1 -DTEST4 -verify %s 2>&1 | FileCheck -check-prefix=CHECK4 %s
|
|
// RUN: not %clang_cc1 -DTEST5 -verify %s 2>&1 | FileCheck -check-prefix=CHECK5 %s
|
|
|
|
// expected-warning@ malformed
|
|
// expected-error@7 1 {{missing or invalid line number}}
|
|
|
|
// expected-warning@0 malformed
|
|
// expected-error@10 {{missing or invalid line number}}
|
|
|
|
// expected-warning@-50 malformed
|
|
// expected-error@13 {{missing or invalid line number}}
|
|
|
|
// expected-warning malformed
|
|
// expected-error@16 {{cannot find start}}
|
|
|
|
// expected-error 0+ {{should also be ignored}}
|
|
|
|
#ifdef TEST1
|
|
#if 0
|
|
// expected-error {{should be ignored}}
|
|
#endif
|
|
// eexpected-error {{should also be ignored: unrecognised directive}}
|
|
#error should not be ignored
|
|
// expected-error@-1 1+ {{should not be ignored}}
|
|
|
|
#line 90
|
|
unexpected a; // expected-error@+0 + {{unknown type}}
|
|
|
|
#line 60
|
|
unexpected b; // expected-error@33 1-1 {{unknown type}}
|
|
|
|
// expected-error@+2 {{file not found}} check that multi-line handled correctly: \
|
|
|
|
#include "missing_header_file.include"
|
|
#endif
|
|
|
|
#ifdef TEST2
|
|
#define MACRO some_value // expected-error {{define_error}}
|
|
#undef MACRO extra_token // expected-warning {{undef_error}}
|
|
#line -2 // expected-error {{line_error}}
|
|
#error AAA // expected-error {{BBB}} <- this shall be part of diagnostic
|
|
#warning CCC // expected-warning {{DDD}} <- this shall be part of diagnostic
|
|
|
|
#if 0
|
|
// This is encapsulated in "#if 0" so that the expected-* checks below
|
|
// are not inadvertently included in the diagnostic checking!
|
|
|
|
// CHECK2: error: 'error' diagnostics expected but not seen:
|
|
// CHECK2-NEXT: Line 41: define_error
|
|
// CHECK2-NEXT: Line 43: line_error
|
|
// CHECK2-NEXT: error: 'error' diagnostics seen but not expected:
|
|
// CHECK2-NEXT: Line 43: #line directive requires a positive integer argument
|
|
// CHECK2-NEXT: Line 44: AAA // expected-error {{[{][{]BBB[}][}]}} <- this shall be part of diagnostic
|
|
// CHECK2-NEXT: error: 'warning' diagnostics expected but not seen:
|
|
// CHECK2-NEXT: Line 42: undef_error
|
|
// CHECK2-NEXT: error: 'warning' diagnostics seen but not expected:
|
|
// CHECK2-NEXT: Line 42: extra tokens at end of #undef directive
|
|
// CHECK2-NEXT: Line 45: CCC // expected-warning {{[{][{]DDD[}][}]}} <- this shall be part of diagnostic
|
|
// CHECK2-NEXT: 7 errors generated.
|
|
#endif
|
|
#endif
|
|
|
|
#ifdef TEST3
|
|
#ifndef TEST3 // expected-note {{line_67}}
|
|
// expected-note {{line_68_ignored}}
|
|
# ifdef UNDEFINED // expected-note {{line_69_ignored}}
|
|
# endif // expected-note {{line_70_ignored}}
|
|
#elif defined(TEST3) // expected-note {{line_71}}
|
|
# if 1 // expected-note {{line_72}}
|
|
// expected-note {{line_73}}
|
|
# else // expected-note {{line_74}}
|
|
// expected-note {{line_75_ignored}}
|
|
# ifndef TEST3 // expected-note {{line_76_ignored}}
|
|
# endif // expected-note {{line_77_ignored}}
|
|
# endif // expected-note {{line_78}}
|
|
#endif
|
|
|
|
// CHECK3: error: 'note' diagnostics expected but not seen:
|
|
// CHECK3-NEXT: Line 67: line_67
|
|
// CHECK3-NEXT: Line 71: line_71
|
|
// CHECK3-NEXT: Line 72: line_72
|
|
// CHECK3-NEXT: Line 73: line_73
|
|
// CHECK3-NEXT: Line 74: line_74
|
|
// CHECK3-NEXT: Line 78: line_78
|
|
// CHECK3-NEXT: 6 errors generated.
|
|
#endif
|
|
|
|
#ifdef TEST4
|
|
#include "missing_header_file.include" // expected-error {{include_error}}
|
|
|
|
// CHECK4: error: 'error' diagnostics expected but not seen:
|
|
// CHECK4-NEXT: Line 92: include_error
|
|
// CHECK4-NEXT: error: 'error' diagnostics seen but not expected:
|
|
// CHECK4-NEXT: Line 92: 'missing_header_file.include' file not found
|
|
// CHECK4-NEXT: 2 errors generated.
|
|
#endif
|
|
|
|
#ifdef TEST5
|
|
#include "verify-directive.h"
|
|
// expected-error@50 {{source file test}}
|
|
|
|
// CHECK5: error: 'error' diagnostics expected but not seen:
|
|
// CHECK5-NEXT: Line 1 (directive at {{.*}}verify-directive.h:2): include file test
|
|
// CHECK5-NEXT: Line 50 (directive at {{.*}}verify.c:103): source file test
|
|
// CHECK5-NEXT: 2 errors generated.
|
|
#endif
|
|
|
|
#if 0
|
|
// RUN: not %clang_cc1 -verify %t.invalid 2>&1 | FileCheck -check-prefix=CHECK6 %s
|
|
|
|
// CHECK6: error: no expected directives found: consider use of 'expected-no-diagnostics'
|
|
// CHECK6-NEXT: error: 'error' diagnostics seen but not expected:
|
|
// CHECK6-NEXT: (frontend): error reading '{{.*}}verify.c.tmp.invalid'
|
|
// CHECK6-NEXT: 2 errors generated.
|
|
|
|
// RUN: printf '//expected-error@2{{1}}\n#error 2\n' | not %clang_cc1 -verify 2>&1 | FileCheck -check-prefix=CHECK7 %s
|
|
|
|
// CHECK7: error: 'error' diagnostics expected but not seen:
|
|
// CHECK7-NEXT: Line 2 (directive at <stdin>:1): 1
|
|
// CHECK7-NEXT: error: 'error' diagnostics seen but not expected:
|
|
// CHECK7-NEXT: Line 2: 2
|
|
// CHECK7-NEXT: 2 errors generated.
|
|
#endif
|
|
|
|
#ifdef TEST8
|
|
// RUN: not %clang_cc1 -DTEST8 -verify %s 2>&1 | FileCheck -check-prefix=CHECK8 %s
|
|
|
|
// expected-warning@nonexistent-file:1 {{ }}
|
|
// expected-error@-1 {{file 'nonexistent-file' could not be located}}
|
|
|
|
// expected-warning@verify-directive.h: {{ }}
|
|
// expected-error@-1 {{missing or invalid line number}}
|
|
|
|
// expected-warning@verify-directive.h:0 {{ }}
|
|
// expected-error@-1 {{missing or invalid line number}}
|
|
|
|
// expected-warning@verify-directive.h:0*{{ }}
|
|
// expected-error@-1 {{missing or invalid line number}}
|
|
|
|
// expected-warning@verify-directive.h:*0{{ }}
|
|
// syntactically ok -- means match in any line for 0 occurrences.
|
|
|
|
// expected-warning@verify-directive.h:1 {{diagnostic}}
|
|
|
|
// CHECK8: error: 'warning' diagnostics expected but not seen:
|
|
// CHECK8-NEXT: File {{.*}}verify-directive.h Line 1 (directive at {{.*}}verify.c:146): diagnostic
|
|
// CHECK8-NEXT: 1 error generated.
|
|
#endif
|