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