Lines Matching refs:Intraprocedural
401 AA::ValueScope::Intraprocedural, in clampReturnedValueStates()
5915 AA::ValueScope::Intraprocedural, in updateImpl()
8612 if (!AA || !AA->forallUnderlyingObjects(Pred, AA::Intraprocedural)) { in categorizePtrValue()
10870 for (auto CS : {AA::Intraprocedural, AA::Interprocedural}) { in recurseForValue()
10893 if (It.second == AA::Intraprocedural) in giveUpOnIntraprocedural()
10899 addValue(A, NewS, getAssociatedValue(), getCtxI(), AA::Intraprocedural, in giveUpOnIntraprocedural()
10920 for (AA::ValueScope S : {AA::Interprocedural, AA::Intraprocedural}) { in manifest()
10997 AA::Intraprocedural, UsedAssumedInformation)) { in handleCmp()
11169 bool ScopeIsLocal = (II.S & AA::Intraprocedural); in handleLoadInst()
11190 addValue(A, getState(), LI, CtxI, AA::Intraprocedural, getAnchorScope()); in handleLoadInst()
11260 UsedAssumedInformation, AA::Intraprocedural); in handleGenericInst()
11517 for (AA::ValueScope S : {AA::Interprocedural, AA::Intraprocedural}) { in updateImpl()
11570 if (!getAssumedSimplifiedValues(A, Values, AA::ValueScope::Intraprocedural, in manifest()
11662 Values, AA::Intraprocedural, in updateImpl()
11957 Changed |= DoUpdate(IntraAssumedUnderlyingObjects, AA::Intraprocedural); in updateImpl()
11969 auto &AssumedUnderlyingObjects = Scope == AA::Intraprocedural in forallUnderlyingObjects()