[analyzer] Self-debug: Dump environment frame-by-frame.
authorArtem Dergachev <artem.dergachev@gmail.com>
Thu, 8 Feb 2018 22:24:38 +0000 (22:24 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Thu, 8 Feb 2018 22:24:38 +0000 (22:24 +0000)
commitbe07303569916bf6cc162cc0e0ed443c8fbc9d79
tree055f2a10212eb1fd24b9f6cb15efd03ca5ec18d7
parent221cf1732143f48748bdaf2d1c5bd4908d2fbf8c
[analyzer] Self-debug: Dump environment frame-by-frame.

It makes it easier to discriminate between values of similar expressions
in different stack frames.

It also makes the separate backtrace section in ExplodedGraph dumps redundant.

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

llvm-svn: 324660
clang/include/clang/Analysis/AnalysisDeclContext.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
clang/lib/Analysis/AnalysisDeclContext.cpp
clang/lib/StaticAnalyzer/Core/Environment.cpp
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ProgramState.cpp
clang/test/Analysis/crash-trace.c
clang/test/Analysis/expr-inspection.c