Searched refs:checkVLAIndexSize (Results 1 – 1 of 1) sorted by relevance
49 ProgramStateRef checkVLAIndexSize(CheckerContext &C, ProgramStateRef State,83 State = checkVLAIndexSize(C, State, SizeE); in checkVLA()150 ProgramStateRef VLASizeChecker::checkVLAIndexSize(CheckerContext &C, in checkVLAIndexSize() function in VLASizeChecker