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