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