Commit c0b019fd authored by Christoph Mallon's avatar Christoph Mallon
Browse files

Remove the flag 'closed_world', wich has no effect.

parent 4b1727e4
......@@ -109,17 +109,6 @@ FIRM_API void set_opt_global_null_ptr_elimination(int value);
/** Returns global null pointer test elimination setting. */
FIRM_API int get_opt_global_null_ptr_elimination(void);
/** Enable/Disable closed world assumption.
*
* If enabled, optimizations expect to know the "whole world", i.e. no
* external types or callers exist.
* This enables some powerful optimizations.
*/
FIRM_API void set_opt_closed_world(int value);
/** Returns closed world assumption setting. */
FIRM_API int get_opt_closed_world(void);
/**
* Save the current optimization state.
*/
......
......@@ -29,6 +29,3 @@ FLAG(algebraic_simplification , 4, ON)
/** Use Global Null Pointer Test elimination. */
FLAG(global_null_ptr_elimination , 5, ON)
/** Closed world assumption. */
FLAG(closed_world , 12, OFF)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment