This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from 731e823a09 [cxx2a] P1236R1: the validity of a left shift does not depen [...] new 8a25b87f97 [analyzer] Add more timers for performance profiling. new 29aa5585d6 [analyzer] NFC: exploded-graph-rewriter: Extract some code i [...] new dc8d14bf86 [analyzer] exploded-graph-rewriter: Add support for range co [...] new 6b702c7e82 [analyzer] exploded-graph-rewriter: Fix escaping for bitwise-or.
The 4 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: .../StaticAnalyzer/Core/PathSensitive/ExprEngine.h | 2 +- lib/StaticAnalyzer/Core/ExprEngine.cpp | 4 - lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp | 43 ++++++++-- .../exploded-graph-rewriter/constraints.dot | 27 ++++++ .../exploded-graph-rewriter/constraints_diff.dot | 65 ++++++++++++++ .../exploded-graph-rewriter/environment.dot | 1 + .../exploded-graph-rewriter/environment_diff.dot | 3 + test/Analysis/exploded-graph-rewriter/escapes.c | 7 +- test/Analysis/exploded-graph-rewriter/store.dot | 1 + .../exploded-graph-rewriter/store_diff.dot | 2 + utils/analyzer/exploded-graph-rewriter.py | 99 ++++++++++++++++++---- 11 files changed, 222 insertions(+), 32 deletions(-) create mode 100644 test/Analysis/exploded-graph-rewriter/constraints.dot create mode 100644 test/Analysis/exploded-graph-rewriter/constraints_diff.dot