reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1618 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym); 1621 ConstraintManager &CMgr = State->getConstraintManager(); 1622 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);