Searched refs:HasBeenPreserved (Results 1 – 1 of 1) sorted by relevance
120 bool HasBeenPreserved = false; in tryToPreserveWithoutAddingAssume() local129 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()132 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()142 return HasBeenPreserved; in tryToPreserveWithoutAddingAssume()