llvm-project/clang/lib/StaticAnalyzer/Core
Devin Coughlin e1a5630213 Revert "[analyzer] Fix memory space of static locals seen from nested blocks."
This reverts commit r292800.

It is causing null pointer dereference false positives when a block that
captures a static local is evaluated at the top level.

llvm-svn: 292874
2017-01-24 02:10:59 +00:00
..
APSIntType.cpp
AnalysisManager.cpp [analyzer] Apply whitespace cleanups by Honggyu Kim. 2015-09-08 03:50:52 +00:00
AnalyzerOptions.cpp Add a method to get the list of registered static analyzer checkers. 2016-11-08 07:23:32 +00:00
BasicValueFactory.cpp [analyzer] Add a new SVal to support pointer-to-member operations. 2016-12-15 21:27:06 +00:00
BlockCounter.cpp [analyzer] Apply whitespace cleanups by Honggyu Kim. 2015-09-08 03:50:52 +00:00
BugReporter.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
BugReporterVisitors.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
CMakeLists.txt Reapply r251621 "[Analyzer] Widening loops which do not exit" 2015-10-30 15:23:57 +00:00
CallEvent.cpp [analyzer] Support inlining of '[self classMethod]' and '[[self class] classMethod]' 2017-01-13 00:50:47 +00:00
Checker.cpp [analyzer] Apply whitespace cleanups by Honggyu Kim. 2015-09-08 03:50:52 +00:00
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 LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
CheckerRegistry.cpp [analyzer] Command line option to show enabled checker list. 2016-08-08 13:41:04 +00:00
CommonBugCategories.cpp
ConstraintManager.cpp Roll-back r250822. 2015-10-20 13:23:58 +00:00
CoreEngine.cpp Silence Warning. NFC. 2016-10-07 19:11:33 +00:00
DynamicTypeMap.cpp [Static Analyzer] Properly clean up the dynamic type information for dead regions. 2015-09-11 17:19:57 +00:00
Environment.cpp [analyzer] Fix symbolic element index lifetime. 2015-12-10 09:28:06 +00:00
ExplodedGraph.cpp [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
ExprEngine.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
ExprEngineC.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
ExprEngineCXX.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
ExprEngineCallAndReturn.cpp [analyzer] Add checker callback for beginning of function. 2016-02-19 01:35:10 +00:00
ExprEngineObjC.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
FunctionSummary.cpp
HTMLDiagnostics.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
IssueHash.cpp [NFC] Header cleanup 2016-07-18 19:02:11 +00:00
LoopWidening.cpp [Analyzer] Fix comments and formatting. NFC. 2015-11-10 11:48:55 +00:00
MemRegion.cpp Revert "[analyzer] Fix memory space of static locals seen from nested blocks." 2017-01-24 02:10:59 +00:00
PathDiagnostic.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
PlistDiagnostics.cpp Migrate PathDiagnosticPiece to std::shared_ptr 2017-01-05 17:26:53 +00:00
PrettyStackTraceLocationContext.h Revert r240270 ("Fixed/added namespace ending comments using clang-tidy"). 2015-06-22 23:07:51 +00:00
ProgramState.cpp [analyzer] Add LocationContext as a parameter to checkRegionChanges 2017-01-13 00:50:57 +00:00
RangeConstraintManager.cpp [analyzer] Run clang-format and fix style 2016-12-13 01:40:41 +00:00
RegionStore.cpp Remove custom handling of array copies in lambda by-value array capture and 2016-12-14 00:03:17 +00:00
SValBuilder.cpp [analyzer] Treat pointers to static member functions as function pointers 2017-01-10 18:49:27 +00:00
SVals.cpp [analyzer] Add a new SVal to support pointer-to-member operations. 2016-12-15 21:27:06 +00:00
SimpleConstraintManager.cpp Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates unwanted ProgramState checker data propagation from an operand of the logical operation to operation result. 2016-12-25 00:57:51 +00:00
SimpleConstraintManager.h [analyzer] Run clang-format and fix style 2016-12-13 01:40:41 +00:00
SimpleSValBuilder.cpp [analyzer] Add a new SVal to support pointer-to-member operations. 2016-12-15 21:27:06 +00:00
Store.cpp [analyzer] Model base to derived casts more precisely. 2016-08-08 09:22:59 +00:00
SubEngine.cpp
SymbolManager.cpp [analyzer] Print type for SymbolRegionValues when dumping to stream 2016-12-05 20:30:11 +00:00