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