hanchenye-llvm-project/clang/lib/StaticAnalyzer/Core
Artem Dergachev 70247e69b1 [analyzer] Let TK_PreserveContents span across the whole base region.
If an address of a field is passed through a const pointer,
the whole structure's base region should receive the
TK_PreserveContents trait and avoid invalidation.

Additionally, include a few FIXME tests shown up during testing.

Differential Revision: http://reviews.llvm.org/D19057

llvm-svn: 267413
2016-04-25 14:44:25 +00:00
..
APSIntType.cpp
AnalysisManager.cpp
AnalyzerOptions.cpp Reapply r251621 "[Analyzer] Widening loops which do not exit" 2015-10-30 15:23:57 +00:00
BasicValueFactory.cpp
BlockCounter.cpp
BugReporter.cpp Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment. 2016-01-29 19:38:18 +00:00
BugReporterVisitors.cpp [analyzer] Fix assertion in ReturnVisitor for body-farm synthesized getters 2016-04-12 00:53:26 +00:00
CMakeLists.txt Reapply r251621 "[Analyzer] Widening loops which do not exit" 2015-10-30 15:23:57 +00:00
CallEvent.cpp [analyzer] Let TK_PreserveContents span across the whole base region. 2016-04-25 14:44:25 +00:00
Checker.cpp
CheckerContext.cpp [analyzer] Improve Nullability checker diagnostics 2016-01-29 18:43:15 +00:00
CheckerHelpers.cpp Fix Clang-tidy modernize-use-nullptr warnings; other minor fixes. 2016-01-26 19:01:06 +00:00
CheckerManager.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
CheckerRegistry.cpp Code clean up; NFC. 2016-02-01 21:28:33 +00:00
CommonBugCategories.cpp
ConstraintManager.cpp Roll-back r250822. 2015-10-20 13:23:58 +00:00
CoreEngine.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
DynamicTypeMap.cpp
Environment.cpp [analyzer] Fix symbolic element index lifetime. 2015-12-10 09:28:06 +00:00
ExplodedGraph.cpp Roll-back r250822. 2015-10-20 13:23:58 +00:00
ExprEngine.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
ExprEngineC.cpp [Bugfix] Fix ICE on constexpr vector splat. 2016-01-13 01:52:39 +00:00
ExprEngineCXX.cpp [analyzer] Better detect when C++ object was constructed into existing region. 2015-12-17 00:28:33 +00:00
ExprEngineCallAndReturn.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
ExprEngineObjC.cpp
FunctionSummary.cpp
HTMLDiagnostics.cpp Reduce the number of implicit StringRef->std::string conversions by threading StringRef through more APIs. 2016-02-13 13:42:54 +00:00
IssueHash.cpp [analyzer] Fix an assertion fail in hash generation. 2016-03-30 10:08:59 +00:00
LoopWidening.cpp [Analyzer] Fix comments and formatting. NFC. 2015-11-10 11:48:55 +00:00
MemRegion.cpp Fix some Clang-tidy readability-redundant-control-flow warnings; other minor fixes. 2016-02-10 19:11:58 +00:00
PathDiagnostic.cpp Fix some Clang-tidy readability-redundant-control-flow warnings; other minor fixes. 2016-02-10 19:11:58 +00:00
PlistDiagnostics.cpp Reduce the number of implicit StringRef->std::string conversions by threading StringRef through more APIs. 2016-02-13 13:42:54 +00:00
PrettyStackTraceLocationContext.h
ProgramState.cpp Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment. 2016-01-29 19:38:18 +00:00
RangeConstraintManager.cpp [analyzer] Fix RangeConstraintManager's pinning of single value ranges. 2016-01-12 10:40:45 +00:00
RegionStore.cpp Remove redundant conditions of the form (A || (!A && B)) -> (A || B) 2016-04-11 08:26:13 +00:00
SValBuilder.cpp [analyzer] Avoid crash when attempting to evaluate binary operation on LazyCompoundVal. 2016-02-08 00:28:24 +00:00
SVals.cpp Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment. 2016-01-29 19:38:18 +00:00
SimpleConstraintManager.cpp Roll-back r250822. 2015-10-20 13:23:58 +00:00
SimpleConstraintManager.h
SimpleSValBuilder.cpp [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency. 2016-01-13 13:49:29 +00:00
Store.cpp [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency. 2016-01-13 13:49:29 +00:00
SubEngine.cpp
SymbolManager.cpp Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment. 2016-01-29 19:38:18 +00:00