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

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

from 81a5eb2a89 Fix breakage introduced by D60974 new d4916e2a6f [analyzer] exploded-graph-rewriter: Implement program point tags. new f21127243d [analyzer] exploded-graph-rewriter: Add support for dynamic types. new fac64c1d01 [analyzer] NFC: Add a convenient CallDescriptionMap class. new 7e6b46e94a [analyzer] NFC: CallDescription: Implement describing C libr [...] new bfe30c39d4 [analyzer] CStringChecker: Modernize to use CallDescriptions. new 273f8722be [analyzer] NonnullGlobalConstants: Don't be confused by a _N [...] new 6d6bd29028 [analyzer] Fix invalidation when returning into a ctor initializer. new 1ed8f43fca [analyzer] exploded-graph-rewriter: NFC: Add a forgotten test file.

The 8 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/CallEvent.h | 113 ++++++++---- lib/StaticAnalyzer/Checkers/CStringChecker.cpp | 205 ++++++--------------- .../Checkers/NonnullGlobalConstantsChecker.cpp | 23 ++- lib/StaticAnalyzer/Core/CallEvent.cpp | 25 ++- .../Core/ExprEngineCallAndReturn.cpp | 17 +- .../exploded-graph-rewriter/constraints.dot | 1 + .../exploded-graph-rewriter/constraints_diff.dot | 5 +- .../exploded-graph-rewriter/dynamic_types.cpp | 21 +++ .../exploded-graph-rewriter/environment.dot | 1 + .../exploded-graph-rewriter/environment_diff.dot | 3 + .../exploded-graph-rewriter/program_points.dot | 10 +- test/Analysis/exploded-graph-rewriter/store.dot | 1 + .../exploded-graph-rewriter/store_diff.dot | 2 + test/Analysis/nonnull-global-constants.mm | 12 ++ test/Analysis/rvo.cpp | 25 +++ test/Analysis/string.c | 6 + unittests/StaticAnalyzer/CMakeLists.txt | 1 + unittests/StaticAnalyzer/CallDescriptionTest.cpp | 162 ++++++++++++++++ unittests/StaticAnalyzer/Reusables.h | 20 +- utils/analyzer/exploded-graph-rewriter.py | 48 +++-- 20 files changed, 476 insertions(+), 225 deletions(-) create mode 100644 test/Analysis/exploded-graph-rewriter/dynamic_types.cpp create mode 100644 test/Analysis/rvo.cpp create mode 100644 unittests/StaticAnalyzer/CallDescriptionTest.cpp