Searched refs:ExTy (Results 1 – 2 of 2) sorted by relevance
246 QualType ExTy = Ex->getType(); in VisitCast() local325 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
6001 EVT ExTy = N0.getValueType(); in visitTRUNCATE() local6005 unsigned SizeRatio = ExTy.getSizeInBits()/TrTy.getSizeInBits(); in visitTRUNCATE()