Searched refs:Cex_Deref (Results 1 – 4 of 4) sorted by relevance
240 Cex_Deref, enumerator
552 e.tag = Cex_Deref; in ML_()625 case Cex_Deref: in ML_()
2055 case Cex_Deref: in evalCfiExpr()
2349 case Cex_Deref: in copy_convert_CfiExpr_tree()