Searched defs:IsInvariantBreak (Results 1 – 1 of 1) sorted by relevance
92 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall() local139 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction() local