+ * Flags for irg_verify().
+ */
+typedef enum _irg_verify_flags_t {
+ VRFY_NORMAL = 0, /**< check SSA property only if dominance information is available */
+ VRFY_ENFORCE_SSA = 1 /**< check SSA property by enforcing the dominance information recalculation */
+} irg_verify_flags_t;
+
+/**
+ * Calls irn_vrfy() for each node in irg.