| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 64 auto *LHSLoc = Env.getStorageLocation(*LHS, SkipPast::Reference); in VisitBinaryOperator()
102 if (auto *Loc = Env.getStorageLocation(*RHS, SkipPast::None)) in VisitBinaryOperator()
113 auto *DeclLoc = Env.getStorageLocation(*S->getDecl(), SkipPast::None); in VisitDeclRefExpr()
151 Env.getStorageLocation(*InitExpr, SkipPast::Reference)) { in VisitDeclStmt()
197 if (auto *Loc = Env.getStorageLocation(*ME, SkipPast::Reference)) in VisitDeclStmt()
295 Env.getStorageLocation(*SubExpr, SkipPast::Reference); in VisitUnaryOperator()
345 auto *VarDeclLoc = Env.getStorageLocation(*D, SkipPast::None); in VisitMemberExpr()
493 auto *ArgLoc = Env.getStorageLocation(*Arg, SkipPast::None); in VisitCallExpr()
545 auto *SubExprLoc = Env.getStorageLocation(*SubExpr, SkipPast::None); in VisitMaterializeTemporaryExpr()
556 auto *SubExprLoc = Env.getStorageLocation(*SubExpr, SkipPast::None); in VisitCXXBindTemporaryExpr()
[all …]
|
| H A D | DataflowEnvironment.cpp | 114 Env.getStorageLocation(D, SkipPast::None) != nullptr) in initGlobalVar()
231 auto *ArgLoc = Env.getStorageLocation(*Arg, SkipPast::Reference); in pushCall()
346 StorageLocation *Environment::getStorageLocation(const ValueDecl &D, in getStorageLocation() function in clang::dataflow::Environment
358 StorageLocation *Environment::getStorageLocation(const Expr &E, in getStorageLocation() function in clang::dataflow::Environment
412 auto *Loc = getStorageLocation(D, SP); in getValue()
419 auto *Loc = getStorageLocation(E, SP); in getValue()
|
| H A D | TypeErasedDataflowAnalysis.cpp | 121 if (Env.getStorageLocation(Cond, SkipPast::None) == nullptr) in extendFlowCondition()
134 auto *Loc = Env.getStorageLocation(Cond, SkipPast::None); in extendFlowCondition()
285 State.Env.getStorageLocation(*InitStmt, SkipPast::Reference); in transferCFGInitializer()
|
| H A D | DataflowAnalysisContext.cpp | 44 if (auto *Loc = getStorageLocation(D)) in getStableStorageLocation()
53 if (auto *Loc = getStorageLocation(E)) in getStableStorageLocation()
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TransferTest.cpp | 185 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
233 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
279 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
312 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
402 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
457 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
559 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
662 Env1.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
971 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
1007 Env.getStorageLocation(*FooDecl, SkipPast::None); in TEST()
[all …]
|
| H A D | TypeErasedDataflowAnalysisTest.cpp | 317 Env.setValue(*Env.getStorageLocation(*E, SkipPast::None), ConstructorVal); in transfer()
327 Env.getStorageLocation(*Object, SkipPast::ReferenceThenPointer); in transfer()
469 Env.setValue(*Env.getStorageLocation(*E, SkipPast::None), ConstructorVal); in transfer()
481 Env.getStorageLocation(*Object, SkipPast::ReferenceThenPointer); in transfer()
676 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST_F()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 311 if (State.Env.getStorageLocation(*UnwrapExpr, SkipPast::None) == nullptr) in transferUnwrapCall()
404 if (State.Env.getStorageLocation(*E, SkipPast::None) != nullptr) in transferCallReturningOptional()
416 State.Env.getStorageLocation(E, SkipPast::ReferenceThenPointer)) { in assignOptionalValue()
465 State.Env.getStorageLocation(*E->getArg(0), SkipPast::Reference); in transferAssignment()
509 auto *OptionalLoc1 = State.Env.getStorageLocation( in transferSwapCall()
514 State.Env.getStorageLocation(*E->getArg(0), SkipPast::Reference); in transferSwapCall()
525 State.Env.getStorageLocation(*E->getArg(0), SkipPast::Reference); in transferStdSwapCall()
529 State.Env.getStorageLocation(*E->getArg(1), SkipPast::Reference); in transferStdSwapCall()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 201 StorageLocation *getStorageLocation(const ValueDecl &D, SkipPast SP) const;
213 StorageLocation *getStorageLocation(const Expr &E, SkipPast SP) const;
|
| H A D | DataflowAnalysisContext.h | 118 StorageLocation *getStorageLocation(const ValueDecl &D) const { in getStorageLocation() function
136 StorageLocation *getStorageLocation(const Expr &E) const { in getStorageLocation() function
|