]> granicus.if.org Git - clang/commit
[analyzer] CastValueChecker: Model isa(), isa_and_nonnull()
authorCsaba Dabis <dabis.csaba98@gmail.com>
Thu, 22 Aug 2019 02:57:59 +0000 (02:57 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Thu, 22 Aug 2019 02:57:59 +0000 (02:57 +0000)
commit3a0426ea559d704305b6d1706341ad353b333d91
tree3b4d390b333b1da53ab0822a78d959df32082f05
parenteff97972f9bf2e48217fe6ab7f92719a123ac1b7
[analyzer] CastValueChecker: Model isa(), isa_and_nonnull()

Summary: -

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D66423

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369615 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
test/Analysis/Inputs/llvm.h
test/Analysis/cast-value-logic.cpp
test/Analysis/cast-value-notes.cpp