This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from e43eb432de [Format] Add format check for throwing negative numbers new 0836645ecf [analyzer] Fix hidden node traversal in exploded graph dumps. new f094784d9e [analyzer] exploded-graph-rewriter: Fix dump for state 0. new d1127baaf9 [analyzer] Drop the logic for collapsing the state if it's s [...] new 15e9d0493a [analyzer] Fix FieldRegion dumps. new faab8a5414 [analyzer] exploded-graph-rewriter: Rename Environment to Ex [...]
The 5 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: lib/StaticAnalyzer/Core/ExprEngine.cpp | 27 +++++-------------- lib/StaticAnalyzer/Core/MemRegion.cpp | 2 +- test/Analysis/dump_egraph.c | 30 +++++++++++++++++++--- test/Analysis/dump_egraph.cpp | 2 +- test/Analysis/exploded-graph-rewriter/edge.dot | 4 +-- .../exploded-graph-rewriter/environment.dot | 2 +- test/Analysis/exploded-graph-rewriter/escapes.c | 2 +- .../initializers_under_construction.cpp | 2 +- .../exploded-graph-rewriter/node_labels.dot | 7 +++-- .../exploded-graph-rewriter/program_points.dot | 8 +++--- test/Analysis/exploded-graph-rewriter/trimmers.dot | 8 +++--- test/Analysis/expr-inspection.c | 11 +++++++- utils/analyzer/exploded-graph-rewriter.py | 16 +++++++++--- 13 files changed, 73 insertions(+), 48 deletions(-)