llvm-project/clang/lib/StaticAnalyzer/Core
Denys Petrov 98a95d4844 [analyzer] Retrieve a value from list initialization of constant array declaration in a global scope.
Summary: Fix the point that we didn't take into account array's dimension. Retrieve a value of global constant array by iterating through its initializer list.

Differential Revision: https://reviews.llvm.org/D104285

Fixes: https://bugs.llvm.org/show_bug.cgi?id=50604
2021-09-24 12:37:58 +03:00
..
APSIntType.cpp
AnalysisManager.cpp
AnalyzerOptions.cpp [analyzer] NFC: Fix wrong parameter name in printFormattedEntry. 2020-08-27 12:15:26 -07:00
BasicValueFactory.cpp [analyzer] Fix static_cast on pointer-to-member handling 2021-02-15 11:44:37 +03:00
BlockCounter.cpp
BugReporter.cpp [analyzer] Add control flow arrows to the analyzer's HTML reports 2021-08-02 19:15:00 +03:00
BugReporterVisitors.cpp [analyzer][NFCI] Allow clients of NoStateChangeFuncVisitor to check entire function calls, rather than each ExplodedNode in it 2021-09-13 13:50:01 +02:00
CMakeLists.txt [analyzer] DynamicSize: Rename 'size' to 'extent' 2021-04-05 19:20:43 +02:00
CallEvent.cpp [clang] NFC: refactor multiple implementations of getDecltypeForParenthesizedExpr 2021-07-28 23:27:43 +02:00
Checker.cpp
CheckerContext.cpp [analyzer] Handle NTTP invocation in CallContext.getCalleeDecl() 2021-06-18 16:32:19 +03:00
CheckerHelpers.cpp [analyzer] Model comparision methods of std::unique_ptr 2021-07-16 09:54:05 +05:30
CheckerManager.cpp [analyzer] Make CheckerManager::hasPathSensitiveCheckers() complete again 2021-06-29 16:35:07 +02:00
CheckerRegistryData.cpp [clang] Fix modules build after D82585 2020-07-06 17:51:53 +02:00
CommonBugCategories.cpp [analyzer] Introduce common bug category "Unused code". 2021-03-17 20:58:27 -07:00
ConstraintManager.cpp
CoreEngine.cpp [analyzer] Decouple NoteTag from its Factory 2021-06-15 11:58:13 +03:00
DynamicExtent.cpp [analyzer] DynamicSize: Rename 'size' to 'extent' 2021-04-05 19:20:43 +02:00
DynamicType.cpp [analyzer] NFC: Store the pointee/referenced type for dynamic type tracking. 2020-08-27 12:15:23 -07:00
Environment.cpp [analyzer][Liveness][NFC] Get rid of statement liveness, because such a thing doesn't exist 2020-09-15 17:43:02 +02:00
ExplodedGraph.cpp [analyzer] Consider array subscripts to be interesting lvalues. 2020-04-23 19:52:45 +03:00
ExprEngine.cpp OpenMP 5.0 metadirective 2021-09-18 13:40:44 -05:00
ExprEngineC.cpp [analyzer][NFC] Inline ExprEngine::handleLVectorSplat() 2021-07-01 10:54:28 +02:00
ExprEngineCXX.cpp [Analyzer] Fix unused variable warning in Release builds 2020-09-25 14:09:43 +02:00
ExprEngineCallAndReturn.cpp [analyzer] DynamicSize: Rename 'size' to 'extent' 2021-04-05 19:20:43 +02:00
ExprEngineObjC.cpp [analyzer][NFC] Don't bind values to ObjCForCollectionStmt, replace it with a GDM trait 2020-09-11 15:58:48 +02:00
FunctionSummary.cpp
HTMLDiagnostics.cpp [SystemZ][z/OS] Create html report file with text flag 2021-08-31 11:52:04 -04:00
LoopUnrolling.cpp [analyzer] LoopUnrolling: fix crash when a loop counter is captured in a lambda by reference 2021-07-12 17:06:07 +03:00
LoopWidening.cpp [analyzer] LoopWidening: fix crash by avoiding aliased references invalidation 2020-06-09 12:55:54 +03:00
MemRegion.cpp [APInt] Normalize naming on keep constructors / predicate methods. 2021-09-09 09:50:24 -07:00
PlistDiagnostics.cpp [SystemZ][z/OS][Windows] Add new OF_TextWithCRLF flag and use this flag instead of OF_Text 2021-04-06 07:23:31 -04:00
PrettyStackTraceLocationContext.h
ProgramState.cpp [analyzer] Simplify function SVal::getAsSymbolicExpression and similar ones 2020-08-03 15:03:35 +03:00
RangeConstraintManager.cpp [Analyzer][solver][NFC] print constraints deterministically (ordered by their string representation) 2021-07-26 16:27:23 +02:00
RangedConstraintManager.cpp [Analyzer][solver] Fix crashes during symbol simplification 2021-06-25 11:49:26 +02:00
RegionStore.cpp [analyzer] Retrieve a value from list initialization of constant array declaration in a global scope. 2021-09-24 12:37:58 +03:00
SMTConstraintManager.cpp [llvm][clang][NFC] updates inline licence info 2021-08-11 02:48:53 +00:00
SValBuilder.cpp [analyzer] SValBuilder should have an easy access to AnalyzerOptions 2021-09-04 10:19:57 +02:00
SVals.cpp [analyzer] Implement getType for SVal 2021-06-29 12:11:19 +03:00
SarifDiagnostics.cpp [SystemZ][z/OS][Windows] Add new OF_TextWithCRLF flag and use this flag instead of OF_Text 2021-04-06 07:23:31 -04:00
SimpleConstraintManager.cpp [analyzer] Simplify function SVal::getAsSymbolicExpression and similar ones 2020-08-03 15:03:35 +03:00
SimpleSValBuilder.cpp [analyzer] SValBuilder should have an easy access to AnalyzerOptions 2021-09-04 10:19:57 +02:00
Store.cpp [analyzer] Use Optional as a return type of StoreManager::castRegion 2021-05-29 15:16:56 +03:00
SymbolManager.cpp [analyzer][Liveness][NFC] Get rid of statement liveness, because such a thing doesn't exist 2020-09-15 17:43:02 +02:00
TextDiagnostics.cpp [analyzer] Create MacroExpansionContext member in AnalysisConsumer 2021-02-22 11:12:14 +01:00
WorkList.cpp