reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1515 if (!State) 1530 State = State->BindExpr(CE, C.getLocationContext(), RetVal); 1530 State = State->BindExpr(CE, C.getLocationContext(), RetVal); 1533 State = State->bindDefaultInitial(RetVal, Init, LCtx); 1533 State = State->bindDefaultInitial(RetVal, Init, LCtx); 1545 svalBuilder.evalEQ(State, Extent, *DefinedSize); 1547 State = State->assume(extentMatchesSize, true); 1547 State = State->assume(extentMatchesSize, true); 1548 assert(State); 1551 return MallocUpdateRefState(C, CE, State, Family);