-/* Computes the dominator trees. Sets a flag in irg to "dom_consistent".
- If the control flow of the graph is changed this flag must be set to
- "dom_inconsistent".
- Does not compute dominator information for control dead code. Blocks
- not reachable from Start contain the following information:
- idom = NULL;
- dom_depth = -1;
- pre_num = -1; */
+/** Computes the dominator trees.
+ *
+ * Sets a flag in irg to "dom_consistent".
+ * If the control flow of the graph is changed this flag must be set to
+ * "dom_inconsistent".
+ * Does not compute dominator information for control dead code. Blocks
+ * not reachable from Start contain the following information:
+ * idom = NULL;
+ * dom_depth = -1;
+ * pre_num = -1;
+ * Also constructs outs information. As this information is correct after
+ * the run does not free the outs information.
+ */