summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/Inputs/llvm.h
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] CastValueChecker: Avoid modeling casts between objects.Artem Dergachev2019-08-231-0/+5
| | | | | | | | | Our method only works correctly when casting a pointer to a pointer or a reference to a reference. Fixes a crash. llvm-svn: 369727
* [analyzer] CastValueChecker: Model isa(), isa_and_nonnull()Csaba Dabis2019-08-221-0/+6
| | | | | | | | | | Summary: - Reviewed By: NoQ Differential Revision: https://reviews.llvm.org/D66423 llvm-svn: 369615
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-221-0/+19
Summary: This patch introduces `DynamicCastInfo` similar to `DynamicTypeInfo` which is stored in `CastSets` which are storing the dynamic cast informations of objects based on memory regions. It could be used to store and check the casts and prevent infeasible paths. Reviewed By: NoQ Differential Revision: https://reviews.llvm.org/D66325 llvm-svn: 369605
OpenPOWER on IntegriCloud