[analyzer] Type information from C++ new expressions is perfect.
This improves our handling of dynamic_cast and devirtualization for objects allocated by 'new'. llvm-svn: 180051
Showing
- clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 17 additions, 1 deletionclang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
- clang/test/Analysis/inline.cpp 1 addition, 3 deletionsclang/test/Analysis/inline.cpp
- clang/test/Analysis/inlining/dyn-dispatch-bifurcate.cpp 5 additions, 0 deletionsclang/test/Analysis/inlining/dyn-dispatch-bifurcate.cpp
Loading
Please register or sign in to comment