Searched refs:AllowEphemerals (Results 1 – 2 of 2) sorted by relevance
820 bool AllowEphemerals = false);
489 bool AllowEphemerals) { in isValidAssumeForContext() argument507 if (!AllowEphemerals && Inv == CxtI) in isValidAssumeForContext()520 return AllowEphemerals || !isEphemeralValueOf(Inv, CxtI); in isValidAssumeForContext()