reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1021 SVal V = State->getSVal(Ret, CalleeSFC); 1035 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); 1058 if (State->isNull(V).isConstrainedTrue()) {