llvm-project/clang/lib
Jordan Rose 5bc0dd79e1 [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.
This just adds a very simple check that if a DerivedToBase CastExpr is
operating on a value with known C++ object type, and that type is not the
base type specified in the AST, then the cast is invalid and we should
return UnknownVal.

In the future, perhaps we can have a checker that specifies that this is
illegal, but we still shouldn't assert even if the user turns that checker
off.

PR14872

llvm-svn: 175239
2013-02-15 01:23:24 +00:00
..
ARCMigrate [arcmt] Make sure the function has an associated parameter for the argument 2013-02-14 17:29:16 +00:00
AST objective-C: synthesize properties in order of their 2013-02-14 22:33:34 +00:00
ASTMatchers Re-design the convenience interfaces on MatchFinder. 2013-02-01 13:41:35 +00:00
Analysis Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h. 2013-02-08 22:30:41 +00:00
Basic Remove some stray uses of <ctype.h> functions. 2013-02-09 10:09:43 +00:00
CodeGen Revert accidental commit. 2013-02-14 08:18:53 +00:00
Driver Use -mno-implicit-float by default for kernel/kext code. <rdar://13177960> 2013-02-10 16:01:41 +00:00
Edit Remove an unneeded const_cast 2013-02-14 13:49:48 +00:00
Format Fix counting of parameters so that r175162 works as expected. 2013-02-14 15:01:34 +00:00
Frontend Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h. 2013-02-08 22:30:41 +00:00
FrontendTool use early returns to simplify and de-nest 2013-01-06 07:49:41 +00:00
Headers [Headers] Use standard builtin defines instead of typeof trickery. 2013-02-06 00:38:13 +00:00
Lex [preprocessing record] Add some sanity checks for the preprocessed entity index 2013-02-12 21:41:23 +00:00
Parse Accept over-qualified constructor in MSVC emulation mode 2013-02-12 17:27:41 +00:00
Rewrite objective-C modern translator: Fixes a mistranslation 2013-02-11 19:30:33 +00:00
Sema objective-C: synthesize properties in order of their 2013-02-14 22:33:34 +00:00
Serialization Order the methods in the global method pool based on when they become visible, not when they become deserialized <rdar://problem/13203033>. 2013-02-12 23:36:21 +00:00
StaticAnalyzer [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts. 2013-02-15 01:23:24 +00:00
Tooling Nuke SetUpBuildDumpLog. 2013-01-20 01:58:28 +00:00
CMakeLists.txt Initial version of formatting library. 2012-12-03 18:12:45 +00:00
Makefile Dont use/link ARCMT, StaticAnalyzer and Rewriter to clang when the user 2012-12-13 16:09:42 +00:00