diff options
| author | John McCall <rjmccall@apple.com> | 2011-04-12 00:42:48 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-04-12 00:42:48 +0000 |
| commit | 755d8497e39071aa24acc173ff07083e3256b8f8 (patch) | |
| tree | 47914f058b5de1a56c791ed102573f17d36f1d5a /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 235c02f79e0ece9463490aa87eaaa02bad300dac (diff) | |
After some discussion with Doug, we decided that it made a lot more sense
for __unknown_anytype resolution to destructively modify the AST. So that's
what it does now, which significantly simplifies some of the implementation.
Normal member calls work pretty cleanly now, and I added support for
propagating unknown-ness through &.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129331 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 7dd580475e..9102f23f15 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -2176,8 +2176,6 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, continue; } // Various C++ casts that are not handled yet. - case CK_ResolveUnknownAnyType: - case CK_ResolveUnknownAnyTypeToReference: case CK_Dynamic: case CK_ToUnion: case CK_BaseToDerived: |