Lines Matching +full:model +full:- +full:dependent
1 //===- ComputeDependence.cpp ----------------------------------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
25 return E->getSubExpr()->getDependence(); in computeDependence()
29 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
30 if (auto *S = E->getSourceExpr()) in computeDependence()
31 D |= S->getDependence(); in computeDependence()
37 return E->getSubExpr()->getDependence(); in computeDependence()
44 toExprDependenceForImpliedType(E->getType()->getDependence()) | in computeDependence()
45 E->getSubExpr()->getDependence(); in computeDependence()
48 // An expression of the form & qualified-id where the qualified-id names a in computeDependence()
49 // dependent member of the current instantiation is value-dependent. An in computeDependence()
50 // expression of the form & cast-expression is also value-dependent if in computeDependence()
51 // evaluating cast-expression as a core constant expression succeeds and in computeDependence()
55 // What this amounts to is: constant-evaluate the operand and check whether it in computeDependence()
57 if (Ctx.getLangOpts().CPlusPlus && E->getOpcode() == UO_AddrOf && in computeDependence()
63 if (E->getSubExpr()->EvaluateAsConstantExpr(Result, Ctx) && Diag.empty() && in computeDependence()
66 if (VD && VD->isTemplated()) { in computeDependence()
68 if (!VarD || !VarD->hasLocalStorage()) in computeDependence()
78 // Never type-dependent (C++ [temp.dep.expr]p3). in computeDependence()
79 // Value-dependent if the argument is type-dependent. in computeDependence()
80 if (E->isArgumentType()) in computeDependence()
82 toExprDependenceAsWritten(E->getArgumentType()->getDependence())); in computeDependence()
84 auto ArgDeps = E->getArgumentExpr()->getDependence(); in computeDependence()
86 // Value-dependent if the argument is type-dependent. in computeDependence()
90 // dependent because decl's alignment is dependent. in computeDependence()
91 auto ExprKind = E->getKind(); in computeDependence()
97 auto *NoParens = E->getArgumentExpr()->IgnoreParens(); in computeDependence()
100 D = DRE->getDecl(); in computeDependence()
102 D = ME->getMemberDecl(); in computeDependence()
105 for (const auto *I : D->specific_attrs<AlignedAttr>()) { in computeDependence()
106 if (I->isAlignmentErrorDependent()) in computeDependence()
108 if (I->isAlignmentDependent()) in computeDependence()
115 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
119 return E->getBase()->getDependence() | E->getRowIdx()->getDependence() | in computeDependence()
120 (E->getColumnIdx() ? E->getColumnIdx()->getDependence() in computeDependence()
126 E->getTypeSourceInfo()->getType()->getDependence()) | in computeDependence()
127 toExprDependenceForImpliedType(E->getType()->getDependence()) | in computeDependence()
128 turnTypeToValueDependence(E->getInitializer()->getDependence()); in computeDependence()
132 // We model implicit conversions as combining the dependence of their in computeDependence()
136 toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
137 if (auto *S = E->getSubExpr()) in computeDependence()
138 D |= S->getDependence() & ~ExprDependence::Type; in computeDependence()
143 // Cast expressions are type-dependent if the type is in computeDependence()
144 // dependent (C++ [temp.dep.expr]p3). in computeDependence()
145 // Cast expressions are value-dependent if the type is in computeDependence()
146 // dependent or if the subexpression is value-dependent. in computeDependence()
150 // dependent, but it may be deduced as a dependent type. in computeDependence()
153 cast<ExplicitCastExpr>(E)->getTypeAsWritten()->getDependence()) | in computeDependence()
154 toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
155 if (auto *S = E->getSubExpr()) in computeDependence()
156 D |= S->getDependence() & ~ExprDependence::Type; in computeDependence()
161 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
167 // [temp.dep.expr] does specify state that this should be dependent on ALL sub in computeDependence()
169 return E->getCond()->getDependence() | E->getLHS()->getDependence() | in computeDependence()
170 E->getRHS()->getDependence(); in computeDependence()
174 return E->getCommon()->getDependence() | E->getFalseExpr()->getDependence(); in computeDependence()
178 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
181 dyn_cast_or_null<ValueStmt>(E->getSubStmt()->getStmtExprResult())) in computeDependence()
182 if (const Expr *ResultExpr = CompoundExprResult->getExprStmt()) in computeDependence()
183 D |= ResultExpr->getDependence(); in computeDependence()
184 // Note: we treat a statement-expression in a dependent context as always in computeDependence()
185 // being value- and instantiation-dependent. This matches the behavior of in computeDependence()
186 // lambda-expressions and GCC. in computeDependence()
195 E->getTypeSourceInfo()->getType()->getDependence()) | in computeDependence()
196 E->getSrcExpr()->getDependence(); in computeDependence()
197 if (!E->getType()->isDependentType()) in computeDependence()
203 if (E->isConditionDependent()) in computeDependence()
205 E->getCond()->getDependence() | E->getLHS()->getDependence() | in computeDependence()
206 E->getRHS()->getDependence(); in computeDependence()
208 auto Cond = E->getCond()->getDependence(); in computeDependence()
209 auto Active = E->getLHS()->getDependence(); in computeDependence()
210 auto Inactive = E->getRHS()->getDependence(); in computeDependence()
211 if (!E->isConditionTrue()) in computeDependence()
213 // Take type- and value- dependency from the active branch. Propagate all in computeDependence()
221 for (auto *E : P->exprs()) in computeDependence()
222 D |= E->getDependence(); in computeDependence()
228 E->getWrittenTypeInfo()->getType()->getDependence()) | in computeDependence()
229 (E->getSubExpr()->getDependence() & ~ExprDependence::Type); in computeDependence()
234 return toExprDependenceForImpliedType(E->getType()->getDependence()) & in computeDependence()
239 auto D = E->getCommonExpr()->getDependence() | in computeDependence()
240 E->getSubExpr()->getDependence() | ExprDependence::Instantiation; in computeDependence()
241 if (!E->getType()->isInstantiationDependentType()) in computeDependence()
247 return toExprDependenceForImpliedType(E->getType()->getDependence()) & in computeDependence()
252 return E->getBase()->getDependence(); in computeDependence()
256 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
257 if (E->getBlockDecl()->isDependentContext()) in computeDependence()
264 // type has identical sugar for now, so is a type-as-written. in computeDependence()
265 auto D = toExprDependenceAsWritten(E->getType()->getDependence()) | in computeDependence()
266 E->getSrcExpr()->getDependence(); in computeDependence()
267 if (!E->getType()->isDependentType()) in computeDependence()
273 return E->getSemanticForm()->getDependence(); in computeDependence()
277 auto D = turnTypeToValueDependence(E->getSubExpr()->getDependence()); in computeDependence()
278 D |= toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
284 if (E->isTypeOperand()) in computeDependence()
286 E->getTypeOperandSourceInfo()->getType()->getDependence()); in computeDependence()
288 D = turnTypeToValueDependence(E->getExprOperand()->getDependence()); in computeDependence()
289 // typeid is never type-dependent (C++ [temp.dep.expr]p4) in computeDependence()
294 return E->getBaseExpr()->getDependence() & ~ExprDependence::Type; in computeDependence()
298 return E->getIdx()->getDependence(); in computeDependence()
302 if (E->isTypeOperand()) in computeDependence()
304 E->getTypeOperandSourceInfo()->getType()->getDependence())); in computeDependence()
306 return turnTypeToValueDependence(E->getExprOperand()->getDependence()); in computeDependence()
310 // 'this' is type-dependent if the class type of the enclosing in computeDependence()
311 // member function is dependent (C++ [temp.dep.expr]p2) in computeDependence()
312 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
316 // is type-dependent, so is the object and thus 'this'. in computeDependence()
319 // to do this so we can mark NSDM accesses as dependent. in computeDependence()
320 if (E->isCapturedByCopyInLambdaWithExplicitObjectParameter()) in computeDependence()
328 auto *Op = E->getSubExpr(); in computeDependence()
331 return Op->getDependence() & ~ExprDependence::TypeValue; in computeDependence()
335 return E->getSubExpr()->getDependence(); in computeDependence()
339 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
340 if (auto *TSI = E->getTypeSourceInfo()) in computeDependence()
341 D |= toExprDependenceAsWritten(TSI->getType()->getDependence()); in computeDependence()
346 return turnTypeToValueDependence(E->getArgument()->getDependence()); in computeDependence()
350 auto D = toExprDependenceAsWritten(E->getQueriedType()->getDependence()); in computeDependence()
351 if (auto *Dim = E->getDimensionExpression()) in computeDependence()
352 D |= Dim->getDependence(); in computeDependence()
357 // Never type-dependent. in computeDependence()
358 auto D = E->getQueriedExpression()->getDependence() & ~ExprDependence::Type; in computeDependence()
359 // Value-dependent if the argument is type-dependent. in computeDependence()
360 if (E->getQueriedExpression()->isTypeDependent()) in computeDependence()
366 auto D = E->getOperand()->getDependence() & ~ExprDependence::TypeValue; in computeDependence()
373 return (E->getPattern()->getDependence() & ~ExprDependence::UnexpandedPack) | in computeDependence()
379 ExprDependence PatternDep = E->getPackIdExpression()->getDependence() & in computeDependence()
382 ExprDependence D = E->getIndexExpr()->getDependence(); in computeDependence()
384 D |= E->getIndexExpr()->getDependence() | PatternDep | in computeDependence()
387 ArrayRef<Expr *> Exprs = E->getExpressions(); in computeDependence()
391 else if (!E->getIndexExpr()->isInstantiationDependent()) { in computeDependence()
392 std::optional<unsigned> Index = E->getSelectedIndex(); in computeDependence()
394 D |= Exprs[*Index]->getDependence(); in computeDependence()
400 return E->getReplacement()->getDependence(); in computeDependence()
404 if (auto *Resume = E->getResumeExpr()) in computeDependence()
405 return (Resume->getDependence() & in computeDependence()
407 (E->getCommonExpr()->getDependence() & ~ExprDependence::TypeValue); in computeDependence()
408 return E->getCommonExpr()->getDependence() | in computeDependence()
413 return E->getOperand()->getDependence() | in computeDependence()
418 return E->getSubExpr()->getDependence(); in computeDependence()
422 return toExprDependenceAsWritten(E->getEncodedType()->getDependence()); in computeDependence()
426 return turnTypeToValueDependence(E->getBase()->getDependence()); in computeDependence()
430 if (E->isObjectReceiver()) in computeDependence()
431 return E->getBase()->getDependence() & ~ExprDependence::Type; in computeDependence()
432 if (E->isSuperReceiver()) in computeDependence()
434 E->getSuperReceiverType()->getDependence()) & in computeDependence()
436 assert(E->isClassReceiver()); in computeDependence()
441 return E->getBaseExpr()->getDependence() | E->getKeyExpr()->getDependence(); in computeDependence()
445 return E->getBase()->getDependence() & ~ExprDependence::Type & in computeDependence()
450 return E->getSubExpr()->getDependence(); in computeDependence()
454 auto D = E->getBase()->getDependence(); in computeDependence()
455 if (auto *LB = E->getLowerBound()) in computeDependence()
456 D |= LB->getDependence(); in computeDependence()
457 if (auto *Len = E->getLength()) in computeDependence()
458 D |= Len->getDependence(); in computeDependence()
460 if (E->isOMPArraySection()) { in computeDependence()
461 if (auto *Stride = E->getStride()) in computeDependence()
462 D |= Stride->getDependence(); in computeDependence()
468 auto D = E->getBase()->getDependence(); in computeDependence()
469 for (Expr *Dim: E->getDimensions()) in computeDependence()
471 D |= turnValueToTypeDependence(Dim->getDependence()); in computeDependence()
476 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
477 for (unsigned I = 0, End = E->numOfIterators(); I < End; ++I) { in computeDependence()
478 if (auto *DD = cast_or_null<DeclaratorDecl>(E->getIteratorDecl(I))) { in computeDependence()
479 // If the type is omitted, it's 'int', and is not dependent in any way. in computeDependence()
480 if (auto *TSI = DD->getTypeSourceInfo()) { in computeDependence()
481 D |= toExprDependenceAsWritten(TSI->getType()->getDependence()); in computeDependence()
484 OMPIteratorExpr::IteratorRange IR = E->getIteratorRange(I); in computeDependence()
486 D |= BE->getDependence(); in computeDependence()
488 D |= EE->getDependence(); in computeDependence()
490 D |= SE->getDependence(); in computeDependence()
495 /// Compute the type-, value-, and instantiation-dependence of a
501 if (auto *NNS = E->getQualifier()) in computeDependence()
502 Deps |= toExprDependence(NNS->getDependence() & in computeDependence()
503 ~NestedNameSpecifierDependence::Dependent); in computeDependence()
505 if (auto *FirstArg = E->getTemplateArgs()) { in computeDependence()
506 unsigned NumArgs = E->getNumTemplateArgs(); in computeDependence()
508 Deps |= toExprDependence(Arg->getArgument().getDependence()); in computeDependence()
511 auto *Decl = E->getDecl(); in computeDependence()
512 auto Type = E->getType(); in computeDependence()
514 if (Decl->isParameterPack()) in computeDependence()
516 Deps |= toExprDependenceForImpliedType(Type->getDependence()) & in computeDependence()
520 // An id-expression is type-dependent if it contains: in computeDependence()
522 // - an identifier associated by name lookup with one or more declarations in computeDependence()
523 // declared with a dependent type in computeDependence()
524 // - an identifier associated by name lookup with an entity captured by in computeDependence()
526 // in a lambda-expression that has an explicit object parameter whose in computeDependence()
527 // type is dependent ([dcl.fct]), in computeDependence()
531 // dependent type if they involve a placeholder type that can't be deduced.] in computeDependence()
532 if (Type->isDependentType()) in computeDependence()
534 else if (Type->isInstantiationDependentType()) in computeDependence()
537 // - an identifier associated by name lookup with an entity captured by in computeDependence()
539 if (E->isCapturedByCopyInLambdaWithExplicitObjectParameter()) in computeDependence()
542 // - a conversion-function-id that specifies a dependent type in computeDependence()
543 if (Decl->getDeclName().getNameKind() == in computeDependence()
545 QualType T = Decl->getDeclName().getCXXNameType(); in computeDependence()
546 if (T->isDependentType()) in computeDependence()
549 if (T->isInstantiationDependentType()) in computeDependence()
553 // - a template-id that is dependent, in computeDependence()
554 // - a nested-name-specifier or a qualified-id that names a member of an in computeDependence()
558 // or if it names a dependent member of the current instantiation that is a in computeDependence()
563 // An id-expression is value-dependent if: in computeDependence()
565 // - it is type-dependent [handled above] in computeDependence()
567 // - it is the name of a non-type template parameter, in computeDependence()
571 // - it names a potentially-constant variable that is initialized with an in computeDependence()
572 // expression that is value-dependent in computeDependence()
574 if (const Expr *Init = Var->getAnyInitializer()) { in computeDependence()
575 if (Init->containsErrors()) in computeDependence()
578 if (Var->mightBeUsableInConstantExpressions(Ctx) && in computeDependence()
579 Init->isValueDependent()) in computeDependence()
583 // - it names a static data member that is a dependent member of the in computeDependence()
584 // current instantiation and is not initialized in a member-declarator, in computeDependence()
585 if (Var->isStaticDataMember() && in computeDependence()
586 Var->getDeclContext()->isDependentContext() && in computeDependence()
587 !Var->getFirstDecl()->hasInit()) { in computeDependence()
588 const VarDecl *First = Var->getFirstDecl(); in computeDependence()
589 TypeSourceInfo *TInfo = First->getTypeSourceInfo(); in computeDependence()
590 if (TInfo->getType()->isIncompleteArrayType()) { in computeDependence()
592 } else if (!First->hasInit()) { in computeDependence()
600 // - it names a static member function that is a dependent member of the in computeDependence()
604 // effect: any use of a non-static member function name requires either in computeDependence()
605 // forming a pointer-to-member or providing an object parameter, either of in computeDependence()
606 // which makes the overall expression value-dependent. in computeDependence()
608 if (MD->isStatic() && Decl->getDeclContext()->isDependentContext()) in computeDependence()
617 // - always value-dependent, and therefore instantiation dependent in computeDependence()
618 // - contains errors (ExprDependence::Error), by definition in computeDependence()
619 // - type-dependent if we don't know the type (fallback to an opaque in computeDependence()
620 // dependent type), or the type is known and dependent, or it has in computeDependence()
621 // type-dependent subexpressions. in computeDependence()
622 auto D = toExprDependenceAsWritten(E->getType()->getDependence()) | in computeDependence()
624 // FIXME: remove the type-dependent bit from subexpressions, if the in computeDependence()
625 // RecoveryExpr has a non-dependent type. in computeDependence()
626 for (auto *S : E->subExpressions()) in computeDependence()
627 D |= S->getDependence(); in computeDependence()
633 E->getTypeSourceInfo()->getType()->getDependence()); in computeDependence()
637 return toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
642 auto D = E->getCallee()->getDependence(); in computeDependence()
643 if (E->getType()->isDependentType()) in computeDependence()
645 for (auto *A : llvm::ArrayRef(E->getArgs(), E->getNumArgs())) { in computeDependence()
647 D |= A->getDependence(); in computeDependence()
650 D |= A->getDependence(); in computeDependence()
656 E->getTypeSourceInfo()->getType()->getDependence())); in computeDependence()
657 for (unsigned I = 0, N = E->getNumExpressions(); I < N; ++I) in computeDependence()
658 D |= turnTypeToValueDependence(E->getIndexExpr(I)->getDependence()); in computeDependence()
672 auto D = E->getBase()->getDependence(); in computeDependence()
673 D |= getDependenceInExpr(E->getMemberNameInfo()); in computeDependence()
675 if (auto *NNS = E->getQualifier()) in computeDependence()
676 D |= toExprDependence(NNS->getDependence() & in computeDependence()
677 ~NestedNameSpecifierDependence::Dependent); in computeDependence()
679 for (const auto &A : E->template_arguments()) in computeDependence()
682 auto *MemberDecl = E->getMemberDecl(); in computeDependence()
684 DeclContext *DC = MemberDecl->getDeclContext(); in computeDependence()
688 if (RD && RD->isDependentContext() && RD->isCurrentInstantiation(DC)) { in computeDependence()
689 if (!E->getType()->isDependentType()) in computeDependence()
693 // Bitfield with value-dependent width is type-dependent. in computeDependence()
694 if (FD && FD->isBitField() && FD->getBitWidth()->isValueDependent()) { in computeDependence()
703 for (auto *A : E->inits()) in computeDependence()
704 D |= A->getDependence(); in computeDependence()
709 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
710 for (auto *C : llvm::ArrayRef(E->getSubExprs(), E->getNumSubExprs())) in computeDependence()
711 D |= C->getDependence(); in computeDependence()
719 for (auto *AE : E->getAssocExprs()) in computeDependence()
720 D |= AE->getDependence() & ExprDependence::Error; in computeDependence()
722 if (E->isExprPredicate()) in computeDependence()
723 D |= E->getControllingExpr()->getDependence() & ExprDependence::Error; in computeDependence()
726 E->getControllingType()->getType()->getDependence()); in computeDependence()
728 if (E->isResultDependent()) in computeDependence()
730 return D | (E->getResultExpr()->getDependence() & in computeDependence()
735 auto Deps = E->getInit()->getDependence(); in computeDependence()
736 for (const auto &D : E->designators()) { in computeDependence()
739 DesignatorDeps |= E->getArrayIndex(D)->getDependence(); in computeDependence()
741 DesignatorDeps |= E->getArrayRangeStart(D)->getDependence() | in computeDependence()
742 E->getArrayRangeEnd(D)->getDependence(); in computeDependence()
751 auto D = O->getSyntacticForm()->getDependence(); in computeDependence()
752 for (auto *E : O->semantics()) in computeDependence()
753 D |= E->getDependence(); in computeDependence()
759 for (auto *E : llvm::ArrayRef(A->getSubExprs(), A->getNumSubExprs())) in computeDependence()
760 D |= E->getDependence(); in computeDependence()
766 E->getAllocatedTypeSourceInfo()->getType()->getDependence()); in computeDependence()
767 D |= toExprDependenceForImpliedType(E->getAllocatedType()->getDependence()); in computeDependence()
768 auto Size = E->getArraySize(); in computeDependence()
770 D |= turnTypeToValueDependence((*Size)->getDependence()); in computeDependence()
771 if (auto *I = E->getInitializer()) in computeDependence()
772 D |= turnTypeToValueDependence(I->getDependence()); in computeDependence()
773 for (auto *A : E->placement_arguments()) in computeDependence()
774 D |= turnTypeToValueDependence(A->getDependence()); in computeDependence()
779 auto D = E->getBase()->getDependence(); in computeDependence()
780 if (auto *TSI = E->getDestroyedTypeInfo()) in computeDependence()
781 D |= toExprDependenceAsWritten(TSI->getType()->getDependence()); in computeDependence()
782 if (auto *ST = E->getScopeTypeInfo()) in computeDependence()
784 toExprDependenceAsWritten(ST->getType()->getDependence())); in computeDependence()
785 if (auto *Q = E->getQualifier()) in computeDependence()
786 D |= toExprDependence(Q->getDependence() & in computeDependence()
787 ~NestedNameSpecifierDependence::Dependent); in computeDependence()
802 Deps |= getDependenceInExpr(E->getNameInfo()); in computeDependence()
803 if (auto *Q = E->getQualifier()) in computeDependence()
804 Deps |= toExprDependence(Q->getDependence() & in computeDependence()
805 ~NestedNameSpecifierDependence::Dependent); in computeDependence()
806 for (auto *D : E->decls()) { in computeDependence()
807 if (D->getDeclContext()->isDependentContext() || in computeDependence()
811 // If we have explicit template arguments, check for dependent in computeDependence()
814 for (const auto &A : E->template_arguments()) in computeDependence()
821 D |= getDependenceInExpr(E->getNameInfo()); in computeDependence()
822 if (auto *Q = E->getQualifier()) in computeDependence()
823 D |= toExprDependence(Q->getDependence()); in computeDependence()
824 for (const auto &A : E->template_arguments()) in computeDependence()
831 toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
832 for (auto *A : E->arguments()) in computeDependence()
833 D |= A->getDependence() & ~ExprDependence::Type; in computeDependence()
840 E->getTypeSourceInfo()->getType()->getDependence()) | in computeDependence()
845 return E->getExpr()->getDependence(); in computeDependence()
849 return E->getExpr()->getDependence(); in computeDependence()
854 auto D = toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
862 D |= toExprDependenceAsWritten(E->getTypeAsWritten()->getDependence()); in computeDependence()
863 D |= toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
864 for (auto *A : E->arguments()) in computeDependence()
865 D |= A->getDependence() & in computeDependence()
872 if (!E->isImplicitAccess()) in computeDependence()
873 D |= E->getBase()->getDependence(); in computeDependence()
874 if (auto *Q = E->getQualifier()) in computeDependence()
875 D |= toExprDependence(Q->getDependence()); in computeDependence()
876 D |= getDependenceInExpr(E->getMemberNameInfo()); in computeDependence()
877 for (const auto &A : E->template_arguments()) in computeDependence()
883 return E->getSubExpr()->getDependence(); in computeDependence()
888 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
890 D |= C->getDependence() & ~ExprDependence::UnexpandedPack; in computeDependence()
897 for (const auto *A : E->getInitExprs()) in computeDependence()
898 D |= A->getDependence(); in computeDependence()
904 for (const auto *A : E->getArgs()) in computeDependence()
905 D |= toExprDependenceAsWritten(A->getType()->getDependence()) & in computeDependence()
916 E->getTemplateArgsAsWritten()->arguments()) { in computeDependence()
925 if(!ValueDependent && E->getSatisfaction().ContainsErrors) in computeDependence()
932 Expr **Elements = E->getElements(); in computeDependence()
933 for (unsigned I = 0, N = E->getNumElements(); I != N; ++I) in computeDependence()
934 D |= turnTypeToValueDependence(Elements[I]->getDependence()); in computeDependence()
940 for (unsigned I = 0, N = E->getNumElements(); I < N; ++I) { in computeDependence()
941 auto KV = E->getKeyValueElement(I); in computeDependence()
942 auto KVDeps = turnTypeToValueDependence(KV.Key->getDependence() | in computeDependence()
943 KV.Value->getDependence()); in computeDependence()
953 if (auto *R = E->getInstanceReceiver()) in computeDependence()
954 D |= R->getDependence(); in computeDependence()
956 D |= toExprDependenceForImpliedType(E->getType()->getDependence()); in computeDependence()
957 for (auto *A : E->arguments()) in computeDependence()
958 D |= A->getDependence(); in computeDependence()