*/
void set_opt_precise_exc_context(int value);
+/** Enable/Disable Alias analysis.
+ *
+ * If enabled, memory disambiguation by alias analysis is used.
+ */
+void set_opt_alias_analysis(int value);
+
/** Enable/Disable closed world assumption.
*
* If enabled, optimizations expect to know the "whole world", i.e. no
/** Automatically create Sync node during construction. */
I_FLAG(auto_create_sync , 28, OFF)
+/** Enable Alias-analysis. */
+I_FLAG(alias_analysis , 29, ON)
+
/** Closed world assumption. */
I_FLAG(closed_world , 31, OFF)