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