]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06868aa) | patch
[analyzer] dynamic_cast Simplify null value generation.
authorAnna Zaks <ganna@apple.com>
Wed, 11 Apr 2012 22:20:07 +0000 (22:20 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 11 Apr 2012 22:20:07 +0000 (22:20 +0000)
commit7ea1c5639764aa3ebe124f4350c5f2b3be795667
tree07094b7832a3698b4c2b6f79dc8cde86bd2f2b39tree | snapshot
parent06868aa7e7231a755f1a5078af6bd2703de665bbcommit | diff
[analyzer] dynamic_cast Simplify null value generation.

As per Jordy's review. Creating a symbol here is more flexible; however
I could not come up with an example where it was needed. (What
constrains can be added on of the symbol constrained to 0?)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154542 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineC.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.