| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TransferTest.cpp | 402 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST()
1212 Env.getStorageLocation(*FooDecl, SkipPast::None)); in derivedBaseMemberExpectations()
2661 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2668 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2675 Env.getValue(*QuxDecl, SkipPast::None)); in TEST()
2682 Env.getValue(*BazDecl, SkipPast::None)); in TEST()
2712 Env.getValue(*FooDecl, SkipPast::None)); in TEST()
2719 Env.getValue(*BarDecl, SkipPast::None)); in TEST()
2726 Env.getValue(*QuxDecl, SkipPast::None)); in TEST()
2733 Env.getValue(*BazDecl, SkipPast::None)); in TEST()
[all …]
|
| H A D | TypeErasedDataflowAnalysisTest.cpp | 327 Env.getStorageLocation(*Object, SkipPast::ReferenceThenPointer); in transfer()
481 Env.getStorageLocation(*Object, SkipPast::ReferenceThenPointer); in transfer()
591 return Env.getValue(*FooDecl, SkipPast::None); in TEST_F()
636 return Env.getValue(*FooDecl, SkipPast::None); in TEST_F()
676 Env.getStorageLocation(*FooDecl, SkipPast::None)); in TEST_F()
708 const auto *FooVal = Env.getValue(*FooDecl, SkipPast::None); in TEST_F()
1059 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST_F()
1102 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST_F()
1138 *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference)); in TEST_F()
1168 *cast<BoolValue>(Env1.getValue(*FooDecl, SkipPast::Reference)); in TEST_F()
[all …]
|
| H A D | ChromiumCheckModelTest.cpp | 164 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
197 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 64 auto *LHSLoc = Env.getStorageLocation(*LHS, SkipPast::Reference); in VisitBinaryOperator()
68 auto *RHSVal = Env.getValue(*RHS, SkipPast::Reference); in VisitBinaryOperator()
102 if (auto *Loc = Env.getStorageLocation(*RHS, SkipPast::None)) in VisitBinaryOperator()
215 Env.getValue(*SubExpr, SkipPast::Reference))) in VisitImplicitCastExpr()
280 Env.getValue(*SubExpr, SkipPast::Reference)); in VisitUnaryOperator()
295 Env.getStorageLocation(*SubExpr, SkipPast::Reference); in VisitUnaryOperator()
387 Value *InitExprVal = Env.getValue(*InitExpr, SkipPast::None); in VisitCXXDefaultInitExpr()
450 auto *Val = Env.getValue(*Arg1, SkipPast::Reference); in VisitCXXOperatorCallExpr()
493 auto *ArgLoc = Env.getStorageLocation(*Arg, SkipPast::None); in VisitCallExpr()
606 if (Value *InitVal = Env.getValue(*Init, SkipPast::None)) in VisitInitListExpr()
[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()
347 SkipPast SP) const { in getStorageLocation()
359 SkipPast SP) const { in getStorageLocation()
411 Value *Environment::getValue(const ValueDecl &D, SkipPast SP) const { in getValue()
418 Value *Environment::getValue(const Expr &E, SkipPast SP) const { in getValue()
519 case SkipPast::None: in skip()
521 case SkipPast::Reference: in skip()
527 case SkipPast::ReferenceThenPointer: in skip()
528 StorageLocation &LocPastRef = skip(Loc, SkipPast::Reference); in skip()
[all …]
|
| H A D | TypeErasedDataflowAnalysis.cpp | 121 if (Env.getStorageLocation(Cond, SkipPast::None) == nullptr) in extendFlowCondition()
127 cast_or_null<BoolValue>(Env.getValue(Cond, SkipPast::Reference)); in extendFlowCondition()
134 auto *Loc = Env.getStorageLocation(Cond, SkipPast::None); in extendFlowCondition()
285 State.Env.getStorageLocation(*InitStmt, SkipPast::Reference); in transferCFGInitializer()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 40 enum class SkipPast { enum
201 StorageLocation *getStorageLocation(const ValueDecl &D, SkipPast SP) const;
213 StorageLocation *getStorageLocation(const Expr &E, SkipPast SP) const;
243 Value *getValue(const ValueDecl &D, SkipPast SP) const;
247 Value *getValue(const Expr &E, SkipPast SP) const;
360 StorageLocation &skip(StorageLocation &Loc, SkipPast SP) const;
361 const StorageLocation &skip(const StorageLocation &Loc, SkipPast SP) const;
|
| /llvm-project-15.0.7/flang/lib/Parser/ |
| H A D | stmt-parser.h | 40 constexpr auto forceEndOfStmt{recovery(endOfStmt, SkipPast<'\n'>{})};
74 SkipPast<'\n'>{} >> construct<ErrorRecovery>()};
79 constexpr auto skipBadLine{SkipPast<'\n'>{} >> construct<ErrorRecovery>()};
97 (many(!"END"_tok >> SkipPast<'\n'>{}) >>
|
| H A D | token-parsers.h | 556 template <char goal> struct SkipPast { struct
558 constexpr SkipPast() {} in SkipPast() argument
559 constexpr SkipPast(const SkipPast &) {} in SkipPast() argument
|
| H A D | program-parsers.cpp | 46 skipMany(";"_tok) / space / recovery(endOfLine, SkipPast<'\n'>{})};
|
| H A D | Fortran-parsers.cpp | 610 TYPE_PARSER(recovery("END ENUM"_tok, "END" >> SkipPast<'\n'>{}) >>
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 283 State.Env.getValue(*OptionalExpr, SkipPast::Reference)) { in initializeOptionalReference()
310 State.Env.getValue(*ObjectExpr, SkipPast::ReferenceThenPointer)) { in transferUnwrapCall()
332 SkipPast::ReferenceThenPointer))) { in transferOptionalHasValueCall()
360 State.Env.getValue(*ValueOrPredExpr, SkipPast::None)); in transferValueOrImpl()
404 if (State.Env.getStorageLocation(*E, SkipPast::None) != nullptr) in transferCallReturningOptional()
465 State.Env.getStorageLocation(*E->getArg(0), SkipPast::Reference); in transferAssignment()
510 *E->getImplicitObjectArgument(), SkipPast::ReferenceThenPointer); 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()
[all …]
|