Searched refs:AllowEphemerals (Results 1 – 2 of 2) sorted by relevance
619 bool AllowEphemerals = false);
508 bool AllowEphemerals) { in isValidAssumeForContext() argument526 if (!AllowEphemerals && Inv == CxtI) in isValidAssumeForContext()539 return AllowEphemerals || !isEphemeralValueOf(Inv, CxtI); in isValidAssumeForContext()