Searched refs:HasBeenPreserved (Results 1 – 1 of 1) sorted by relevance
117 bool HasBeenPreserved = false; in tryToPreserveWithoutAddingAssume() local126 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()130 HasBeenPreserved = true; in tryToPreserveWithoutAddingAssume()140 return HasBeenPreserved; in tryToPreserveWithoutAddingAssume()