Searched refs:HasBeenPreserved (Results 1 – 1 of 1) sorted by relevance
119 bool HasBeenPreserved = false; in tryToPreserveWithoutAddingAssume() local128 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()131 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()141 return HasBeenPreserved; in tryToPreserveWithoutAddingAssume()