[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)
commitaf84ce162c0486039c6ef6ef5e0275a3d48e65ae
treec954238dd3c442175983240e867e050f3028b425
parent9e030c9e0010b423e877d7a7c8ef3742b16a079f
[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

llvm-svn: 324663
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ProgramState.cpp