Flags support.

[r7252]

diff --git a/ir/ir/irflag_t.h b/ir/ir/irflag_t.h
index c12b85f..0fe5499 100644 (file)
--- a/ir/ir/irflag_t.h
+++ b/ir/ir/irflag_t.h
@@ -86,4 +86,6 @@ get_node_verification_mode(void) {
 #define get_opt_optimize_class_casts()           _get_opt_optimize_class_casts()
 #define get_opt_suppress_downcast_optimization() _get_opt_suppress_downcast_optimization()
 
+extern void firm_init_flags(void);
+
 #endif /* _IRFLAG_T_H_ */