Searched refs:ExTy (Results 1 – 3 of 3) sorted by relevance
268 QualType ExTy = Ex->getType(); in VisitCast() local347 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()358 V = svalBuilder.evalIntegralCast(state, V, T, ExTy); in VisitCast()
7118 EVT ExTy = N0.getValueType(); in visitTRUNCATE() local7122 unsigned SizeRatio = ExTy.getSizeInBits()/TrTy.getSizeInBits(); in visitTRUNCATE()
9421 EVT ExTy = N0.getValueType(); in visitTRUNCATE() local9425 unsigned SizeRatio = ExTy.getSizeInBits()/TrTy.getSizeInBits(); in visitTRUNCATE()