Searched refs:ReleasedParameter (Results 1 – 1 of 1) sorted by relevance
118 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument225 C.addTransition(State->set<ReleasedParameter>(true), T); in checkPostCall()270 if (!State->get<ReleasedParameter>()) in checkReturnAux()