]> granicus.if.org Git - clang/commit
[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)
commitbf0d4149871c2b1c39f47e6d5a62a3ffbf2ca558
tree2b0dbe4c7f68506726f86acfe6c68b9db81ac7c9
parent880486c0ff8216cf277ab2372704a77eb7c4c1ea
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324660 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/AnalysisDeclContext.h
include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/Analysis/AnalysisDeclContext.cpp
lib/StaticAnalyzer/Core/Environment.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ProgramState.cpp
test/Analysis/crash-trace.c
test/Analysis/expr-inspection.c