reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1754 if (!State) 1768 std::tie(notNullState, nullState) = State->assume(location); 1822 const RefState *RsBase = State->get<RegionState>(SymBase); 1838 !didPreviousFreeFail(State, SymBase, PreviousRetStatusSymbol)) { 1878 State = State->remove<FreeReturnValue>(SymBase); 1878 State = State->remove<FreeReturnValue>(SymBase); 1887 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); 1887 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol); 1896 return State->set<RegionState>(SymBase, 1900 return State->set<RegionState>(SymBase,