This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository clang.

from 651488e3af [analyzer] Support kfree in MallocChecker new 2e2c49d666 [analyzer] exploded-graph-rewriter: Add support for objects [...] new 280606f8a2 [analyzer] exploded-graph-rewriter: Improve program point dumps. new f35770b933 [analyzer] exploded-graph-rewriter: Implement a dark color scheme.

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: .../exploded-graph-rewriter/constraints.dot | 1 + .../exploded-graph-rewriter/constraints_diff.dot | 5 +- test/Analysis/exploded-graph-rewriter/edge.dot | 6 +- test/Analysis/exploded-graph-rewriter/empty.dot | 3 + .../exploded-graph-rewriter/environment.dot | 3 +- .../exploded-graph-rewriter/environment_diff.dot | 3 + test/Analysis/exploded-graph-rewriter/escapes.c | 2 +- ...pes.cpp => initializers_under_construction.cpp} | 20 +-- .../exploded-graph-rewriter/node_labels.dot | 22 ++++ .../objects_under_construction.cpp | 48 +++++++ .../exploded-graph-rewriter/program_points.dot | 32 ++++- test/Analysis/exploded-graph-rewriter/store.dot | 1 + .../exploded-graph-rewriter/store_diff.dot | 2 + utils/analyzer/exploded-graph-rewriter.py | 138 +++++++++++++++------ 14 files changed, 231 insertions(+), 55 deletions(-) copy test/Analysis/exploded-graph-rewriter/{dynamic_types.cpp => initializers_unde [...] create mode 100644 test/Analysis/exploded-graph-rewriter/node_labels.dot create mode 100644 test/Analysis/exploded-graph-rewriter/objects_under_construction.cpp