after write optimization. */
dbg_write_after_read, /**< A Firm subgraph was replaced because of a write
after read optimization. */
+ dbg_rem_poly_call, /**< Remove polymorphic call. */
dbg_max /**< Maximum value. */
+
} dbg_action;
return "dbg_algebraic_simplification"; break;
case dbg_write_after_write: return "dbg_write_after_write"; break;
case dbg_write_after_read: return "dbg_write_after_read"; break;
+ case dbg_rem_poly_call: return "dbg_rem_poly_call"; break;
default:
if (a <= dbg_max)
return "string conversion not implemented";