Searched refs:checkArgInitializedness (Results 1 – 1 of 1) sorted by relevance
105 ProgramStateRef checkArgInitializedness(const CallEvent &Call,510 ProgramStateRef CallAndMessageChecker::checkArgInitializedness( in checkArgInitializedness() function in CallAndMessageChecker569 State = checkArgInitializedness(Call, C, State); in checkPreCall()