This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from 250f67c3f9 [cxx2a] P0614R1: Support init-statements in range-based for loops. new 08f8ea6baf [analyzer] Provide an option to dump generated exploded grap [...] new b0be6606a0 [analyzer] [NFC] Remove unused parameters, as found by -Wunu [...]
The 2 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: include/clang/Driver/CC1Options.td | 3 + .../clang/StaticAnalyzer/Core/AnalyzerOptions.h | 3 + .../Core/BugReporter/BugReporterVisitors.h | 19 ++----- .../Core/BugReporter/PathDiagnostic.h | 2 +- .../StaticAnalyzer/Core/PathSensitive/ExprEngine.h | 26 ++++++--- .../Core/PathSensitive/ProgramState.h | 3 +- .../StaticAnalyzer/Core/PathSensitive/Store.h | 3 +- .../StaticAnalyzer/Core/PathSensitive/SubEngine.h | 5 +- .../Core/PathSensitive/SymbolManager.h | 2 +- lib/Frontend/CompilerInvocation.cpp | 1 + .../Checkers/DeleteWithNonVirtualDtorChecker.cpp | 3 +- lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp | 6 +- .../Checkers/DynamicTypePropagation.cpp | 4 +- .../Checkers/InnerPointerChecker.cpp | 8 +-- .../Checkers/LocalizationChecker.cpp | 2 - .../Checkers/MPI-Checker/MPIBugReporter.cpp | 5 +- .../Checkers/MPI-Checker/MPIBugReporter.h | 1 - .../Checkers/MacOSKeychainAPIChecker.cpp | 7 +-- lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 6 +- .../Checkers/MisusedMovedObjectChecker.cpp | 6 +- lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp | 4 +- .../Checkers/ObjCSuperDeallocChecker.cpp | 7 +-- .../RetainCountChecker/RetainCountDiagnostics.cpp | 4 +- .../RetainCountChecker/RetainCountDiagnostics.h | 1 - .../Checkers/TestAfterDivZeroChecker.cpp | 5 +- lib/StaticAnalyzer/Checkers/ValistChecker.cpp | 5 +- lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp | 4 +- lib/StaticAnalyzer/Core/BugReporter.cpp | 38 ++++++------- lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 66 +++++++++------------- lib/StaticAnalyzer/Core/CoreEngine.cpp | 6 +- lib/StaticAnalyzer/Core/ExprEngine.cpp | 64 +++++++++++++-------- lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | 2 +- lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp | 9 ++- lib/StaticAnalyzer/Core/MemRegion.cpp | 4 +- lib/StaticAnalyzer/Core/PathDiagnostic.cpp | 2 +- lib/StaticAnalyzer/Core/ProgramState.cpp | 8 +-- lib/StaticAnalyzer/Core/RegionStore.cpp | 5 +- lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp | 35 +++--------- test/Analysis/dump_egraph.c | 15 +++++ 39 files changed, 187 insertions(+), 212 deletions(-) create mode 100644 test/Analysis/dump_egraph.c