Searched defs:SizeD (Results 1 – 1 of 1) sorted by relevance
112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA() local168 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize() local