diff options
| author | Saar Raz <saar@raz.email> | 2019-10-15 11:48:58 +0000 |
|---|---|---|
| committer | Saar Raz <saar@raz.email> | 2019-10-15 11:48:58 +0000 |
| commit | ec87b003823d63f3342cf648f55a134c1522e612 (patch) | |
| tree | 1eaead2c265468357031c24d3778ff48ede93283 /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 1ae2d9a2bdce054560104f428e92eaef736e5c7f (diff) | |
| download | bcm5719-llvm-ec87b003823d63f3342cf648f55a134c1522e612.tar.gz bcm5719-llvm-ec87b003823d63f3342cf648f55a134c1522e612.zip | |
[Concepts] Concept Specialization Expressions
Part of C++20 Concepts implementation effort. Added Concept Specialization Expressions that are created when a concept is referenced with arguments, and tests thereof.
llvm-svn: 374882
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -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 |
