Searched refs:isInvariantBreak (Results 1 – 1 of 1) sorted by relevance
73 static Optional<bool> isInvariantBreak(bool ExpectedValue, SVal ReturnV, in isInvariantBreak() function93 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall()140 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction()