diff options
| author | John McCall <rjmccall@apple.com> | 2011-04-07 08:22:57 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-04-07 08:22:57 +0000 |
| commit | 1de4d4e8cb2e9c88809fea8092bc6e835a5473d2 (patch) | |
| tree | 882a7f7c98e0dd8f015d2d7364c941026ecd19c2 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 1a7f7526b7fd817e3f49c210302d189eff981b5e (diff) | |
Basic, untested implementation for an "unknown any" type requested by LLDB.
The idea is that you can create a VarDecl with an unknown type, or a
FunctionDecl with an unknown return type, and it will still be valid to
access that object as long as you explicitly cast it at every use. I'm
still going back and forth about how I want to test this effectively, but
I wanted to go ahead and provide a skeletal implementation for the LLDB
folks' benefit and because it also improves some diagnostic goodness for
placeholder expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129065 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index a422428b1b..2fd7b3b88a 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -2170,7 +2170,8 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, continue; } // Various C++ casts that are not handled yet. - case CK_Dynamic: + case CK_ResolveUnknownAnyType: + case CK_Dynamic: case CK_ToUnion: case CK_BaseToDerived: case CK_NullToMemberPointer: |