aboutsummaryrefslogtreecommitdiff
path: root/clang/test/ASTMerge
AgeCommit message (Collapse)AuthorFilesLines
2013-11-15Ignore test Inputs globally and remove redundant lit.local.cfg filesAlp Toker1-1/+0
By adding a default config.excludes pattern we can avoid individual suppressions in subdirectories. This matches LLVM's lit.cfg which also excludes a few other common non-test filenames for consistency. llvm-svn: 194814
2013-07-12Changes so that a few tests do not fail when running under guarded malloc.Argyrios Kyrtzidis1-1/+1
Guarded malloc emits some messages at the beginning in stderr when enabled. These messages caused a few tests to fail. llvm-svn: 186219
2013-07-04Add 'not' to commands that are expected to fail.Rafael Espindola10-10/+10
This is at least good documentation, but also opens the possibility of using pipefail. llvm-svn: 185652
2013-04-17Extended VerifyDiagnosticConsumer to also verify source file for diagnostic.Andy Gibbs1-4/+4
VerifyDiagnosticConsumer previously would not check that the diagnostic and its matching directive referenced the same source file. Common practice was to create directives that referenced other files but only by line number, and this led to problems such as when the file containing the directive didn't have enough lines to match the location of the diagnostic in the other file, leading to bizarre file formatting and other oddities. This patch causes VerifyDiagnosticConsumer to match source files as well as line numbers. Therefore, a new syntax is made available for directives, for example: // expected-error@file:line {{diagnostic message}} This extends the @line feature where "file" is the file where the diagnostic is generated. The @line syntax is still available and uses the current file for the diagnostic. "file" can be specified either as a relative or absolute path - although the latter has less usefulness, I think! The #include search paths will be used to locate the file and if it is not found an error will be generated. The new check is not optional: if the directive is in a different file to the diagnostic, the file must be specified. Therefore, a number of test-cases have been updated with regard to this. This closes out PR15613. llvm-svn: 179677
2012-12-20Fix code that attempted to produce a diagnostic with one DiagnosticEngine, thenRichard Smith3-0/+13
produce a note for that diagnostic either with a different DiagnosticEngine or after calling DiagnosticEngine::Reset(). That didn't make any sense, and did the wrong thing if the original diagnostic was suppressed. llvm-svn: 170636
2012-10-19Prior to adding the new "expected-no-diagnostics" directive to ↵Andy Gibbs1-0/+1
VerifyDiagnosticConsumer, make the necessary adjustment to 580 test-cases which will henceforth require this new directive. llvm-svn: 166280
2012-08-10Update VerifyDiagnosticConsumer to only get directives during parsing.Jordan Rose1-0/+6
The old behavior was to re-scan any files (like modules) where we may have directives but won't actually be parsing during the -verify invocation. Now, we keep the old behavior in Debug builds as a sanity check (though modules are a known entity), and expect all legitimate directives to come from comments seen by the preprocessor. This also affects the ARC migration tool, which captures diagnostics in order to filter some out. This change adds an explicit cleanup to CaptureDiagnosticsConsumer in order to let its sub-consumer handle the real end of diagnostics. This was originally split into four patches, but the tests do not run cleanly without all four, so I've combined them into one commit. Patches by Andy Gibbs, with slight modifications from me. llvm-svn: 161650
2012-03-13Fix crash at @implementation with a forward reference as base class.Argyrios Kyrtzidis1-1/+1
rdar://11020003 llvm-svn: 152596
2011-10-04Improve location fidelity of objc decls.Argyrios Kyrtzidis1-4/+4
-Add the location of the class name to all objc container decls, not just ObjCInterfaceDecl. -Make objc decls consistent with the rest of the NamedDecls and have getLocation() point to the class name, not the location of '@'. llvm-svn: 141061
2011-03-27Flip the default for showing include stacks on notes to false. ThisChandler Carruth1-1/+1
required modifying a few tests that specifically use note include stacks to check the source manager's view of include stacks. I've simply added the flag to these tests for now, they may have to be more substantially changed if we decide to remove support for note include stacks altogether. Also, add a test for include stacks on notes that was supposed to go in with the previous commit. llvm-svn: 128390
2010-12-08Fix two thinkos and add a test for importing the AST of a categoryDouglas Gregor3-1/+31
implementation. llvm-svn: 121263
2010-12-07Implement AST import for Objective-C property implementationsDouglas Gregor3-1/+44
(@synthesize and @dynamic). llvm-svn: 121159
2010-12-07Implement ASTImporter support for Objective-C category implementations.Douglas Gregor2-0/+17
llvm-svn: 121139
2010-12-07Extern the ASTImporter to import @implementation declarations.Douglas Gregor3-1/+46
llvm-svn: 121097
2010-12-01Implement AST import support for class template specializations.Douglas Gregor3-0/+37
llvm-svn: 120523
2010-11-30Implement basic AST importing and merging support for class templateDouglas Gregor3-0/+56
declarations. llvm-svn: 120448
2010-10-15Read/write to/from PCH DeclarationNameLocs, DeclarationNameInfos and ↵Argyrios Kyrtzidis1-2/+0
QualifierInfos (rdar://8513756). llvm-svn: 116598
2010-10-08Try to disable this again.Eric Christopher1-3/+5
llvm-svn: 116094
2010-10-08Disable this test temporarily in an attempt to green the buildbots.Eric Christopher1-3/+3
llvm-svn: 116082
2010-10-01Don't add an imported function into its lexical context until *after*Douglas Gregor2-0/+8
we've set all of its parameters. Fixes <rdar://problem/8499598>; thanks to Sean for the diagnosis. llvm-svn: 115387
2010-06-03Hack in some really terrible C++ record PCH support that I need right now.John McCall3-0/+25
This is required in order to test: The ASTImporter should set base classes after formally entering the definition. llvm-svn: 105401
2010-04-07Instead of counting totally diagnostics, split the count into a countChris Lattner8-8/+8
of errors and warnings. This allows us to emit something like this: 2 warnings and 1 error generated. instead of: 3 diagnostics generated. This also stops counting 'notes' because they are just follow-on information about the previous diag, not a diagnostic in themselves. llvm-svn: 100675
2010-02-24Add test for AST importing of C++ namespaces, missing from a prior commitDouglas Gregor3-0/+40
llvm-svn: 97062
2010-02-19AST import for CStyleCastExpr. With this, we can import Cocoa.h into an ↵Douglas Gregor2-2/+4
empty context llvm-svn: 96648
2010-02-19AST import for sizeof and alignof expressionsDouglas Gregor2-2/+4
llvm-svn: 96647
2010-02-19AST import for DeclRefExprsDouglas Gregor2-2/+4
llvm-svn: 96646
2010-02-19AST import of parenthesized expressions, unary operators, binaryDouglas Gregor2-2/+6
operators, and compound assignment operators. llvm-svn: 96643
2010-02-18AST import for character literalsDouglas Gregor3-0/+14
llvm-svn: 96557
2010-02-18AST import for forward declarations of Objective-C protocolsDouglas Gregor2-0/+12
llvm-svn: 96555
2010-02-18Implement import of forward declarations of Objective-C classesDouglas Gregor2-0/+10
llvm-svn: 96554
2010-02-18AST import of Objective-C categories.Douglas Gregor3-0/+61
llvm-svn: 96551
2010-02-17Implement AST merging for Objective-C properties.Douglas Gregor3-0/+34
llvm-svn: 96483
2010-02-17AST import for Objective-C protocolsDouglas Gregor3-1/+49
llvm-svn: 96478
2010-02-17Implement AST importing and checking for Objective-C method declarations.Douglas Gregor3-1/+54
llvm-svn: 96442
2010-02-17Implement AST importing of Objective-C instance variables. Douglas Gregor3-6/+43
Check superclasses when merging two Objective-C @interfaces. llvm-svn: 96420
2010-02-16Skeleton for importing Objective-C classesDouglas Gregor3-0/+20
llvm-svn: 96306
2010-02-15Cope with anonymous tags defined within declarators by structurallyDouglas Gregor7-1/+32
comparing their types under the assumption that they are equivalent, rather than importing the types and then checking for compatibility. A few minor tweaks here: - Teach structural matching to handle compatibility between function types with prototypes and those without prototypes. - Teach structural matching that an incomplete record decl is the same as any other record decl with the same name. - Keep track of pairs of declarations that we have already checked (but failed to find as structurally matching), so we don't emit diagnostics repeatedly. - When importing a typedef of an anonymous tag, be sure to link the imported tag type to its typedef. With these changes, we survive a repeated import of <stdlib.h> and <stdio.h>. Alas, the ASTNodeImporter is getting a little grotty. llvm-svn: 96298
2010-02-15Reimplement the structural-equality checks used to determine whetherDouglas Gregor3-4/+19
two types in different AST contexts are equivalent. Rather than transforming the type from one context into the other context, we perform a deep structural comparison of the types. This change addresses a serious problem with recursive data types like struct ListNode { int value; struct ListNode *Next; } xList; llvm-svn: 96278
2010-02-12Funnel changes to the ImportedDecls list in the ASTImporter through aDouglas Gregor2-0/+13
single Imported function, in preparation for fixing a serious design flaw. llvm-svn: 96044
2010-02-12Implement AST importing and merging for enumeration types andDouglas Gregor3-0/+94
enumerators, along with ImplicitCastExprs to make it work. llvm-svn: 96024
2010-02-12Handle AST merges of incomplete class types. Douglas Gregor2-0/+19
llvm-svn: 95941
2010-02-11When AST merging for record declarations fails, warn about theDouglas Gregor3-3/+70
incompatibility and show where the structural differences are. For example: struct1.c:36:8: warning: type 'struct S7' has incompatible definitions in different translation units struct S7 { int i : 8; unsigned j : 8; } x7; ^ struct1.c:36:33: note: bit-field 'j' with type 'unsigned int' and length 8 here struct S7 { int i : 8; unsigned j : 8; } x7; ^ struct2.c:33:33: note: bit-field 'j' with type 'unsigned int' and length 16 here struct S7 { int i : 8; unsigned j : 16; } x7; ^ There are a few changes to make this work: - ASTImporter now has only a single Diagnostic object, not multiple diagnostic objects. Otherwise, having a warning/error printed via one Diagnostic and its note printed on the other Diagnostic could cause the note to be suppressed. - Implemented import functionality for IntegerLiteral (along with general support for statements and expressions) llvm-svn: 95900
2010-02-11Add missing test cases for AST merging of structures.Douglas Gregor3-0/+36
llvm-svn: 95886
2010-02-10Implement basic support for merging function declarations acrossDouglas Gregor3-0/+21
translation units. llvm-svn: 95794
2010-02-10Implement AST importing and merging for typedefs. As part of this, provide a ↵Douglas Gregor4-0/+16
lame implementation for importing TypeSourceInfos. llvm-svn: 95783
2010-02-10Teach AST merging that variables with incomplete array types can beDouglas Gregor3-0/+10
merged with variables of constant array types. Also, make sure that we call DiagnosticClient's BeginSourceFile/EndSourceFile, so that it has a LangOptions to work with. llvm-svn: 95782
2010-02-10Add missing header fileDouglas Gregor1-0/+1
llvm-svn: 95751
2010-02-10Implement basic support for importing source locations from one ASTDouglas Gregor3-1/+7
into another AST, including their include history. Here's an example error that involves a conflict merging a variable with different types in two translation units (diagnosed in the third AST context into which everything is merged). /Volumes/Data/dgregor/Projects/llvm/tools/clang/test/ASTMerge/Inputs/var2.c:3:5: error: external variable 'x2' declared with incompatible types in different translation units ('int' vs. 'double') int x2; ^ In file included from /Volumes/Data/dgregor/Projects/llvm/tools/clang/test/ASTMerge/Inputs/var1.c:3: /Volumes/Data/dgregor/Projects/llvm/tools/clang/test/ASTMerge/Inputs/var1.h:1:8: note: declared here with type 'double' double x2; ^ Although we maintain include history, we do not maintain macro instantiation history across a merge. Instead, we map down to the spelling location (for now!). llvm-svn: 95732
2010-02-09Add in the LIT magic to avoid running AST merge test inputs asDouglas Gregor3-2/+1
separate tests. Thanks, Daniel! llvm-svn: 95705
2010-02-09Hook up the diagnostics-argument printer when merging AST files, soDouglas Gregor1-1/+1
that we get readable diagnostics such as: error: external variable 'x1' declared with incompatible types in different translation units ('double *' vs. 'float **') However, there is no translation of source locations, yet. llvm-svn: 95704