]> granicus.if.org Git - clang/commit
[analyzer] Type information from C++ new expressions is perfect.
authorJordan Rose <jordan_rose@apple.com>
Mon, 22 Apr 2013 21:36:44 +0000 (21:36 +0000)
committerJordan Rose <jordan_rose@apple.com>
Mon, 22 Apr 2013 21:36:44 +0000 (21:36 +0000)
commitfbc4444eb2675934b44f3720ef9a5f368ecbeb0a
tree35b92f3a54b9ae81d03cffec5c251c85356281e2
parent387f8aadab92dd67cc0610424b78bf6088b8c28b
[analyzer] Type information from C++ new expressions is perfect.

This improves our handling of dynamic_cast and devirtualization for
objects allocated by 'new'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180051 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
test/Analysis/inline.cpp
test/Analysis/inlining/dyn-dispatch-bifurcate.cpp