summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/dynamic-cast.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Fix a tranche of comment, test and doc typosAlp Toker2013-12-051-1/+1
| | | | llvm-svn: 196510
* [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks2013-01-241-1/+1
| | | | | | | | | The idea is to eventually place all analyzer options under "analyzer-config". In addition, this lays the ground for introduction of a high-level analyzer mode option, which will influence the default setting for IPAMode. llvm-svn: 173385
* [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts.Jordan Rose2012-08-131-1/+21
| | | | | | | | | | | | | | | ...and /do/ strip CXXBaseObjectRegions when casting to a virtual base class. This allows us to enforce the invariant that a CXXBaseObjectRegion can always provide an offset for its base region if its base region has a known class type, by only allowing virtual bases and direct non-virtual bases to form CXXBaseObjectRegions. This does mean some slight problems for our modeling of dynamic_cast, which needs to be resolved by finding a path from the current region to the class we're trying to cast to. llvm-svn: 161797
* [analyzer] Don't inline virtual calls unless we can devirtualize properly.Jordan Rose2012-07-121-1/+4
| | | | | | | | Previously we were using the static type of the base object to inline methods, whether virtual or non-virtual. Now, we try to see if the base object has a known type, and if so ask for its implementation of the method. llvm-svn: 160094
* [analyzer] Another dynamic_cast false positive/negative.Anna Zaks2012-04-111-0/+7
| | | | llvm-svn: 154543
* [analyzer] Better test cases for explaining where tracking types ofAnna Zaks2012-04-111-5/+35
| | | | | | | | symbolic regions would help. Thanks to Richard Smith. llvm-svn: 154541
* [analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks2012-04-101-2/+10
| | | | | | | Generate a sink when the dynamic_cast from a reference fails to represent a thrown exception. llvm-svn: 154438
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-101-0/+185
Simulate the C++ dynamic_cast in the analyzer. llvm-svn: 154434
OpenPOWER on IntegriCloud