Searched refs:IS_NOEFFECT (Results 1 – 1 of 1) sorted by relevance
12569 IS_NOEFFECT = 1 << 1, enumerator12575 IS_BEST_STATE = IS_NOALIAS | IS_NOEFFECT | IS_LOCALLY_INVARIANT |12595 return isKnown(IS_NOALIAS | IS_NOEFFECT); in isKnownLocallyInvariant()12605 return isAssumed(IS_NOALIAS | IS_NOEFFECT); in isAssumedLocallyInvariant()12735 if (isKnown(IS_NOEFFECT) || !isAssumed(IS_NOEFFECT)) in updateNoEffect()12759 addKnownBits(IS_NOEFFECT); in updateNoEffect()12768 addKnownBits(IS_NOEFFECT); in updateNoEffect()