Searched refs:Cex_CfiReg (Results 1 – 4 of 4) sorted by relevance
243 Cex_CfiReg, enumerator
578 e.tag = Cex_CfiReg; in ML_()642 case Cex_CfiReg: in ML_()
2035 case Cex_CfiReg: in evalCfiExpr()
2363 case Cex_CfiReg: in copy_convert_CfiExpr_tree()