SuccessChanges

Summary

  1. [analyzer] TrackConstraintBRVisitor: Do not track unknown values (details)
  2. [analyzer] CastValueChecker: Store the dynamic types and casts (details)
  3. [GWP-ASan] Remove c++ standard lib dependency. (details)
  4. [analyzer] CastValueChecker: Rewrite dead header hotfix (details)
  5. gn build: Merge r369605 (details)
  6. [analyzer] CastValueChecker: Try to fix the buildbots (details)
Commit b73a5711f63466d829f815ed0f1b14f03cef0b05 by dabis.csaba98
[analyzer] TrackConstraintBRVisitor: Do not track unknown values
Summary: -
Reviewers: NoQ, Szelethus
Reviewed By: NoQ, Szelethus
Differential Revision: https://reviews.llvm.org/D66267
llvm-svn: 369604
The file was modifiedclang/test/Analysis/cast-value.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
Commit 0202c3596c52d453d1e9e5a43d7533b83444df4e by dabis.csaba98
[analyzer] CastValueChecker: Store the dynamic types and casts
Summary: This patch introduces `DynamicCastInfo` similar to
`DynamicTypeInfo` which is stored in `CastSets` which are storing the
dynamic cast informations of objects based on memory regions. It could
be used to store and check the casts and prevent infeasible paths.
Reviewed By: NoQ
Differential Revision: https://reviews.llvm.org/D66325
llvm-svn: 369605
The file was modifiedclang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/ProgramState.cpp
The file was removedclang/test/Analysis/cast-value.cpp
The file was addedclang/test/Analysis/Inputs/llvm.h
The file was modifiedclang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h
The file was modifiedclang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
The file was addedclang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicCastInfo.h
The file was modifiedclang/include/clang/AST/Type.h
The file was addedclang/lib/StaticAnalyzer/Core/DynamicType.cpp
The file was removedclang/lib/StaticAnalyzer/Core/DynamicTypeMap.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/CMakeLists.txt
The file was addedclang/test/Analysis/cast-value-notes.cpp
The file was addedclang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicType.h
The file was addedclang/test/Analysis/cast-value-logic.cpp
The file was removedclang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h
The file was addedclang/test/Analysis/cast-value-state-dump.cpp
The file was modifiedclang/test/Analysis/dump_egraph.cpp
The file was modifiedclang/test/Analysis/expr-inspection.c
Commit 3dd22585199195d4656154205ab631b8dd406143 by phosek
[GWP-ASan] Remove c++ standard lib dependency.
Remove c++ standard library dependency for now for @phosek. They have a
complicated build system that breaks with the fuzzer target here.
Also added a todo to remedy later.
Differential Revision: https://reviews.llvm.org/D66568
llvm-svn: 369606
The file was modifiedcompiler-rt/lib/gwp_asan/CMakeLists.txt
The file was modifiedcompiler-rt/lib/gwp_asan/stack_trace_compressor_fuzzer.cpp
Commit e4bf456fcef23b7c9ec9968cdf1df36b591755ec by dabis.csaba98
[analyzer] CastValueChecker: Rewrite dead header hotfix
llvm-svn: 369607
The file was modifiedclang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/CallEvent.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
The file was modifiedclang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp
Commit 6e8b79e3080bde71948e0259fed16247d87c071e by nicolasweber
gn build: Merge r369605
llvm-svn: 369608
The file was modifiedllvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/BUILD.gn
Commit 22dc44ff896a34a94c7ed6d3bf7b577b98e34fbd by dabis.csaba98
[analyzer] CastValueChecker: Try to fix the buildbots
llvm-svn: 369609
The file was modifiedclang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp