Yitzhak Mandelbaum f3700bdb7f [clang][dataflow] Account for global variables in constructor initializers. ...

Previously, the analysis modeled global variables appearing in the _body_ of
any function (including constructors). But, that misses those appearing in
constructor _initializers_. This patch adds the initializers to the set of
expressions used to determine which globals to model.

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

2022-12-22 14:20:50 +00:00

..

FlowSensitive

[clang][dataflow] Account for global variables in constructor initializers.

2022-12-22 14:20:50 +00:00

plugins

clang-analyzer plugins require LLVM_ENABLE_PLUGINS also

2022-02-16 11:59:09 -05:00

AnalysisDeclContext.cpp

Use CTAD on llvm::SaveAndRestore

2022-12-02 15:36:12 -08:00

BodyFarm.cpp

llvm::Optional::value => operator*/operator->

2022-12-17 06:37:59 +00:00

CalledOnceCheck.cpp

[clang] Use std::nullopt instead of None in comments (NFC)

2022-12-04 15:57:24 -08:00

CallGraph.cpp

…

CFG.cpp

[Analysis] Use std::nullopt instead of None (NFC)

2022-12-03 11:34:25 -08:00

CFGReachabilityAnalysis.cpp

…

CFGStmtMap.cpp

…

CloneDetection.cpp

[AST, Analysis] Use llvm::reverse (NFC)

2021-11-07 09:53:14 -08:00

CMakeLists.txt

Revert "Revert "[-Wunsafe-buffer-usage] Initial commit - Transition away from raw buffers.""

2022-12-08 16:57:59 -08:00

CocoaConventions.cpp

…

CodeInjector.cpp

…

ConstructionContext.cpp

[analyzer] Lambda capture non-POD type array

2022-07-26 09:40:25 +02:00

Consumed.cpp

…

Dominators.cpp

…

ExprMutationAnalyzer.cpp

[clang-tidy] implement new check 'misc-const-correctness' to add 'const' to unmodified variables

2022-07-24 19:37:54 +02:00

IssueHash.cpp

…

LiveVariables.cpp

[analyzer] Structured binding to tuple-like types

2022-07-26 10:24:29 +02:00

MacroExpansionContext.cpp

[clang] Use std::nullopt instead of None in comments (NFC)

2022-12-04 15:57:24 -08:00

ObjCNoReturn.cpp

Use llvm::is_contained (NFC)

2021-10-24 09:32:57 -07:00

PathDiagnostic.cpp

llvm::Optional::value => operator*/operator->

2022-12-17 06:37:59 +00:00

PostOrderCFGView.cpp

…

ProgramPoint.cpp

…

ReachableCode.cpp

[clang][diagnostics] Don't warn about unreachable code in constexpr if

2022-08-15 15:24:39 -04:00

RetainSummaryManager.cpp

[Analysis] Use std::nullopt instead of None (NFC)

2022-12-03 11:34:25 -08:00

ThreadSafety.cpp

Thread safety analysis: Support copy-elided production of scoped capabilities through arbitrary calls

2022-10-13 19:36:15 +02:00

ThreadSafetyCommon.cpp

Thread safety analysis: Support copy-elided production of scoped capabilities through arbitrary calls

2022-10-13 19:36:15 +02:00

ThreadSafetyLogical.cpp

…

ThreadSafetyTIL.cpp

…

UninitializedValues.cpp

llvm::Optional::value => operator*/operator->

2022-12-17 06:37:59 +00:00

UnsafeBufferUsage.cpp

[-Wunsafe-buffer-usage] Suppress an assertion for visiting VarDecl twice.

2022-12-20 16:05:13 -08:00