- }
-
- if ((is_Load(succ) || is_Store(succ)) &&
- get_nodes_block(succ) == block) {
- /* Ignore Loads and Store in the same block for now,
- because we are not sure if they are dominated.
- This is not a bad restriction: if exception flow is
- present, they are in other blocks either. */
- continue;
- }