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