diff options
| author | Saar Raz <saar@raz.email> | 2019-10-15 15:24:26 +0000 |
|---|---|---|
| committer | Saar Raz <saar@raz.email> | 2019-10-15 15:24:26 +0000 |
| commit | 5d98ba6077dac656fbf023e9312d9c131d53144c (patch) | |
| tree | 99153ade097830f469e5ff0a04fc37daeff3819a /clang/lib/StaticAnalyzer/Core | |
| parent | d545c9056e00988d2d146f8f1440b2dd192f306b (diff) | |
| download | bcm5719-llvm-5d98ba6077dac656fbf023e9312d9c131d53144c.tar.gz bcm5719-llvm-5d98ba6077dac656fbf023e9312d9c131d53144c.zip | |
[Concepts] Concept Specialization Expressions
Part of C++20 Concepts implementation effort. Added Concept Specialization Expressions that are created when a concept is refe$
D41217 on Phabricator.
(recommit after fixing failing Parser test on windows)
llvm-svn: 374903
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 855ecf1a675..8629fd98db5 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1370,6 +1370,7 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, case Stmt::CUDAKernelCallExprClass: case Stmt::OpaqueValueExprClass: case Stmt::AsTypeExprClass: + case Stmt::ConceptSpecializationExprClass: // Fall through. // Cases we intentionally don't evaluate, since they don't need |
