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