6a0f2e539b
For each expression `e` of the form `*(DRE + n)` (or `*(n + DRE)`), where `DRE` has a pointer type and `n` is an integer literal, `e` will be transformed to `DRE[n]` (or `n[DRE]` respectively), if - `e` is at the left-hand side of an assignment or is an lvalue being casted to an rvalue; and - the variable referred by `DRE` is going to be transformed to be of `std::span` type. Reviewed by: jkorous, NoQ Differential revision: https://reviews.llvm.org/D142795 |
||
|---|---|---|
| .. | ||
| FlowSensitive | ||
| plugins | ||
| AnalysisDeclContext.cpp | ||
| BodyFarm.cpp | ||
| CalledOnceCheck.cpp | ||
| CallGraph.cpp | ||
| CFG.cpp | ||
| CFGReachabilityAnalysis.cpp | ||
| CFGStmtMap.cpp | ||
| CloneDetection.cpp | ||
| CMakeLists.txt | ||
| CocoaConventions.cpp | ||
| CodeInjector.cpp | ||
| ConstructionContext.cpp | ||
| Consumed.cpp | ||
| Dominators.cpp | ||
| ExprMutationAnalyzer.cpp | ||
| IssueHash.cpp | ||
| LiveVariables.cpp | ||
| MacroExpansionContext.cpp | ||
| ObjCNoReturn.cpp | ||
| PathDiagnostic.cpp | ||
| PostOrderCFGView.cpp | ||
| ProgramPoint.cpp | ||
| ReachableCode.cpp | ||
| RetainSummaryManager.cpp | ||
| ThreadSafety.cpp | ||
| ThreadSafetyCommon.cpp | ||
| ThreadSafetyLogical.cpp | ||
| ThreadSafetyTIL.cpp | ||
| UninitializedValues.cpp | ||
| UnsafeBufferUsage.cpp | ||