[ASTImporter] Mark erroneous nodes in shared st
authorGabor Marton <gabor.marton@ericsson.com>
Mon, 1 Jul 2019 15:37:07 +0000 (15:37 +0000)
committerGabor Marton <gabor.marton@ericsson.com>
Mon, 1 Jul 2019 15:37:07 +0000 (15:37 +0000)
commit2afbfb6b2268b8ba7fa9584784e8b11ef97c064a
tree3a228f091134b305481627873a179a0886877fee
parent1daad91af695ad3fe5b15c815362af262d44584a
[ASTImporter] Mark erroneous nodes in shared st

Summary:
Now we store the errors for the Decls in the "to" context too. For
that, however, we have to put these errors in a shared state (among all
the ASTImporter objects which handle the same "to" context but different
"from" contexts).

After a series of imports from different "from" TUs we have a "to" context
which may have erroneous nodes in it. (Remember, the AST is immutable so
there is no way to delete a node once we had created it and we realized
the error later.) All these erroneous nodes are marked in
ASTImporterSharedState::ImportErrors.  Clients of the ASTImporter may
use this as an input. E.g. the static analyzer engine may not try to
analyze a function if that is marked as erroneous (it can be queried via
ASTImporterSharedState::getImportDeclErrorIfAny()).

Reviewers: a_sidorin, a.sidorin, shafik

Subscribers: rnkovacs, dkrupp, Szelethus, gamesh411, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D62376

llvm-svn: 364785
clang/include/clang/AST/ASTImporter.h
clang/include/clang/AST/ASTImporterSharedState.h [new file with mode: 0644]
clang/include/clang/CrossTU/CrossTranslationUnit.h
clang/lib/AST/ASTImporter.cpp
clang/lib/CrossTU/CrossTranslationUnit.cpp
clang/lib/Frontend/ASTMerge.cpp
clang/unittests/AST/ASTImporterFixtures.cpp
clang/unittests/AST/ASTImporterFixtures.h
clang/unittests/AST/ASTImporterTest.cpp