Searched refs:SimplifiedOrigV (Results 1 – 1 of 1) sorted by relevance
271 SVal SimplifiedOrigV = svalBuilder.simplifySVal(state, OrigV); in handleLValueBitCast() local272 SVal V = svalBuilder.evalCast(SimplifiedOrigV, T, ExTy); in handleLValueBitCast()