+
+static const lc_opt_table_entry_t firm_flags[] = {
+#define I_FLAG(name, val, def) LC_OPT_ENT_BIT(#name, #name, &libFIRM_opt, (1 << val)),
+#define E_FLAG(name, val, def) LC_OPT_ENT_BIT(#name, #name, &libFIRM_opt, (1 << val)),
+#define R_FLAG(name, val)
+#include "irflag_t.def"
+#undef I_FLAG
+#undef E_FLAG
+#undef R_FLAG
+ LC_OPT_LAST
+};
+
+void firm_init_flags(void)
+{
+ lc_opt_entry_t *grp = lc_opt_get_grp(firm_opt_get_root(), "opt");
+ lc_opt_add_table(grp, firm_flags);
+}
+
+firm_verification_t opt_do_node_verification = FIRM_VERIFICATION_ON;
+
+void do_node_verification(firm_verification_t mode)
+{
+ opt_do_node_verification = mode;
+}