Searched refs:Cex_CfiReg (Results 1 – 4 of 4) sorted by relevance
317 Cex_CfiReg, enumerator
602 e.tag = Cex_CfiReg; in ML_()676 case Cex_CfiReg: in ML_()
2486 case Cex_CfiReg: in copy_convert_CfiExpr_tree()
2072 case Cex_CfiReg: in evalCfiExpr()