This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from dbc62eda56 [ARM] Fix arm_neon.h with -flax-vector-conversions=none, part 3 new 7d0e090bbc [analyzer] exploded-graph-rewriter: Make node headers a bit [...] new 40a1cfa0b1 [analyzer] Display cast kinds in program point dumps. new d0e3ed0b01 [analyzer] Assign truly stable identifiers to exploded nodes.
The 3 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: .../Core/PathSensitive/ExplodedGraph.h | 11 +-- lib/Analysis/ProgramPoint.cpp | 6 +- lib/StaticAnalyzer/Core/BugReporter.cpp | 3 +- lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 14 ++-- lib/StaticAnalyzer/Core/ExprEngine.cpp | 18 ++--- test/Analysis/dump_egraph.c | 4 +- .../exploded-graph-rewriter/checker_messages.dot | 9 ++- .../checker_messages_diff.dot | 44 +++++++----- .../exploded-graph-rewriter/constraints.dot | 14 ++-- .../exploded-graph-rewriter/constraints_diff.dot | 42 +++++++---- test/Analysis/exploded-graph-rewriter/edge.dot | 20 ++++-- .../exploded-graph-rewriter/environment.dot | 11 ++- .../exploded-graph-rewriter/environment_diff.dot | 42 +++++++---- .../exploded-graph-rewriter/node_labels.dot | 45 ++++++++---- .../exploded-graph-rewriter/program_points.dot | 82 +++++++++++++++++++--- test/Analysis/exploded-graph-rewriter/store.dot | 15 ++-- .../exploded-graph-rewriter/store_diff.dot | 37 +++++++--- test/Analysis/exploded-graph-rewriter/topology.dot | 14 ++-- test/Analysis/exploded-graph-rewriter/trimmers.dot | 40 ++++++++--- utils/analyzer/exploded-graph-rewriter.py | 51 ++++++++------ 20 files changed, 361 insertions(+), 161 deletions(-)