maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Misc/verify.c

15 lines
768 B
C
Raw Normal View History

add regex support for -verify mode. You can now do things like expected-error-re {{someregex}} Patch by mike-m! llvm-svn: 102516
2010-04-29 04:02:30 +08:00
// RUN: %clang_cc1 -fsyntax-only -verify %s
struct s; // expected-note 7 {{forward declaration of 'struct s'}}
// standard string matching
struct s s1; // expected-error {{tentative definition has type 'struct s' that is never completed}}
struct s s2; // expected-error {{tentative definition has type}}
// regex matching
Change semantics of regex expectations in the diagnostic verifier Previously, a line like // expected-error-re {{foo}} treats the entirety of foo as a regex. This is inconvenient when matching type names containing regex characters. For example, to match "void *(class test8::A::*)(void)" inside such a regex, one would have to type "void \*\(class test8::A::\*\)\(void\)". This patch changes the semantics of expected-error-re to only treat the parts of the directive wrapped in double curly braces as regexes. This avoids the escaping problem and leads to nicer patterns for those cases; see e.g. the change to test/Sema/format-strings-scanf.c. (The balanced search for closing }} of a directive also makes us handle the full directive in test\SemaCXX\constexpr-printing.cpp:41 and :53.) Differential Revision: http://llvm-reviews.chandlerc.com/D2388 llvm-svn: 197092
2013-12-12 07:40:50 +08:00
struct s r1; // expected-error {{tentative definition has type 'struct s' that is never completed}}
Revert "Don't require -re suffix on -verify directives with regexes." This patch was submitted to the list for review and didn't receive a LGTM. (In fact one explicit objection and one query were raised.) This reverts commit r197295. llvm-svn: 197299
2013-12-14 09:07:05 +08:00
struct s r2; // expected-error-re {{tentative definition has type '{{.*[[:space:]]*.*}}' that is never completed}}
struct s r3; // expected-error-re {{tentative definition has type '{{(.*)[[:space:]]*(.*)}}' that is never completed}}
struct s r4; // expected-error-re {{{{^}}tentative}}
struct s r5; // expected-error-re {{completed{{$}}}}