]> granicus.if.org Git - clang/commit
[analyzer] Self-debug: Dump the core's internal state traits to the egraph.
authorArtem Dergachev <artem.dergachev@gmail.com>
Thu, 8 Feb 2018 22:32:38 +0000 (22:32 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Thu, 8 Feb 2018 22:32:38 +0000 (22:32 +0000)
commit0b84c86812b3589a77e46d9a019885d4589b5f40
tree239e8eff060870b09b44ca0ca2be554cbf187865
parentbf0d4149871c2b1c39f47e6d5a62a3ffbf2ca558
[analyzer] Self-debug: Dump the core's internal state traits to the egraph.

It is useful for debugging problems with C++ operator new() or temporaries.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324663 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ProgramState.cpp