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