Searched refs:Cex_Const (Results 1 – 4 of 4) sorted by relevance
414 Cex_Const, enumerator
855 e.tag = Cex_Const; in ML_()964 case Cex_Const: in ML_()
2489 case Cex_Const: in copy_convert_CfiExpr_tree()
2511 case Cex_Const: in evalCfiExpr()