[PATCH 72/89] Concretize gimple_switch_index and gimple_switch_index_ptr

[Jeff Law]

On 04/21/14 10:57, David Malcolm wrote:
> gcc/
> 	* gimple.h (gimple_switch_index): Require a const_gimple_switch rather
> 	than a plain const_gimple.
> 	(gimple_switch_index_ptr): Likewise.
>
> 	* gimplify-me.c (gimple_regimplify_operands): Add checked cast to
> 	gimple_switch within "case GIMPLE_SWITCH".
> 	* tree-cfgcleanup.c (cleanup_control_expr_graph): Likewise.
> 	* tree-ssa-ccp.c (ccp_fold): Likewise.
> 	* tree-ssa-dom.c (optimize_stmt): Likewise.
>
> 	* tree-ssa-ccp.c (evaluate_stmt): Add checked cast to
> 	gimple_switch within region guarded by check for GIMPLE_SWITCH.
> 	* tree-ssa-dom.c (record_edge_info): Likewise.
> 	(eliminate_redundant_computations): Likewise.
> 	* tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Likewise.
> 	* tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
>
> 	* tree-ssa-dom.c (initialize_hash_element): Replace check for
> 	code GIMPLE_SWITCH with a dyn_cast_gimple_switch.
> 	(propagate_rhs_into_lhs): Likewise.
> 	* tree-ssa-propagate.c (may_propagate_copy_into_stmt): Likewise.
> 	(propagate_tree_value_into_stmt): Likewise.
OK once prereqs go in and will obviously need updating for const changes 
as well.

Jeff