VERIFY_NORMAL = 0, /**< check SSA property only if dominance information is available */
VERIFY_ENFORCE_SSA = 1 /**< check SSA property by enforcing the dominance information recalculation */
} irg_verify_flags_t;
VERIFY_NORMAL = 0, /**< check SSA property only if dominance information is available */
VERIFY_ENFORCE_SSA = 1 /**< check SSA property by enforcing the dominance information recalculation */
} irg_verify_flags_t;