Searched refs:mayBeSuccess (Results 1 – 1 of 1) sorted by relevance
227 static bool mayBeSuccess(SVal V, CheckerContext &C) { in mayBeSuccess() function272 if (mayBeSuccess(V, C)) in checkReturnAux()