Introduce gimple_omp_critical

[official-gcc.git] / gcc / ChangeLog.gimple-classes

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_critical

        * coretypes.h (gimple_omp_critical): New typedef.
        (const_gimple_omp_critical): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_critical): Require a
        gimple_omp_critical rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_critical
        within GIMPLE_OMP_CRITICAL case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise.

        * gimple.c (gimple_build_omp_critical): Return a gimple_omp_critical
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_omp_critical
        within GIMPLE_OMP_CRITICAL case of switch statement.

        * gimple.h (gimple_debug): Likewise.
        (gimple_build_omp_critical): Return a gimple_omp_critical rather
        than a plain gimple.
        (gimple_omp_critical_name): Require a const_gimple_omp_critical
        rather than a plain const_gimple.
        (gimple_omp_critical_name_ptr): Require a gimple_omp_critical
        rather than a plain gimple.
        (gimple_omp_critical_set_name): Likewise.

        * omp-low.c (check_omp_nesting_restrictions): Add a checked cast
        to gimple_omp_critical within GIMPLE_OMP_CRITICAL case of switch
        statement, introducing a new local "other_crit" for type-safety.
        (lower_omp_critical): Strengthen local "stmt" to
        gimple_omp_critical.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_omp_critical within GIMPLE_OMP_CRITICAL case of switch
        statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_continue

        * coretypes.h (gimple_omp_continue): New typedef.
        (const_gimple_omp_continue): New typedef.

        * gimple.h (gimple_build_omp_continue): Return a
        gimple_omp_continue rather than a plain gimple.
        (gimple_omp_continue_control_def): Require a
        const_gimple_omp_continue rather than a plain const_gimple.
        (gimple_omp_continue_control_use): Likewise.
        (gimple_omp_continue_control_def_ptr): Require a gimple_omp_continue
        rather than a plain gimple.
        (gimple_omp_continue_set_control_def): Likewise.
        (gimple_omp_continue_control_use_ptr): Likewise.
        (gimple_omp_continue_set_control_use): Likewise.

        * gimple-pretty-print.c (dump_gimple_omp_continue): Require a
        gimple_omp_continue rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_continue
        within GIMPLE_OMP_CONTINUE case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise, adding a new local.

        * gimple.c (gimple_build_omp_continue): Return a
        gimple_omp_continue rather than a plain gimple.

        * omp-low.c (gimple_build_cond_empty): Return a gimple_cond
        rather than a plain gimple.
        (expand_omp_for_generic): Split local "stmt" into "assign_stmt",
        "cont_stmt", "cond_stmt", "call_stmt" of types gimple_assign,
        gimple_omp_continue, gimple_cond, gimple_call respectively.
        (expand_omp_for_static_nochunk): Likewise, splitting into two
        "cond_stmt" decls. "assign_stmt", "cont_stmt"
        (expand_omp_for_static_chunk): Likewise, splitting into
        "cond_stmt", "assign_stmt", "cont_stmt".
        (expand_omp_sections): Strengthen local "cont" from gimple to
        gimple_omp_continue.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_atomic_store

        * coretypes.h (gimple_omp_atomic_store): New typedef.
        (const_gimple_omp_atomic_store): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_atomic_store): Require
        a gimple_omp_atomic_store rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_omp_atomic_store
        within GIMPLE_OMP_ATOMIC_STORE case of switch statement.
        * gimple-walk.c (walk_gimple_op): Likewise.

        * gimple.c (gimple_build_omp_atomic_store): Return a
        gimple_omp_atomic_store rather than a plain gimple.

        * gimple.h (gimple_build_omp_atomic_store): Return a
        gimple_omp_atomic_store rather than a plain gimple.
        (gimple_omp_atomic_store_set_val): Require a gimple_omp_atomic_store
        rather than a plain gimple.
        (gimple_omp_atomic_store_val_ptr): Likewise.
        (gimple_omp_atomic_store_val): Require a
        const_gimple_omp_atomic_store rather than a plain const_gimple.

        * gimplify.c (gimplify_omp_atomic): Strengthen locals "loadstmt" and
        "storestmt" from gimple to gimple_omp_atomic_load loadstmt and
        gimple_omp_atomic_store storestmt respectively.

        * omp-low.c (expand_omp_atomic): Strengthen local "store" from
        gimple to gimple_omp_atomic_store.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_omp_atomic_load

        * coretypes.h (gimple_omp_atomic_load): New typedef.
        (const_gimple_omp_atomic_load): New typedef.

        * gimple-pretty-print.c (dump_gimple_omp_atomic_load): Require a
        gimple_omp_atomic_load rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_omp_atomic_load
        within GIMPLE_OMP_ATOMIC_LOAD case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise, introducing a new local.

        * gimple.c (gimple_build_omp_atomic_load): Return a
        gimple_omp_atomic_load rather than a plain gimple.

        * gimple.h (gimple_build_omp_atomic_load): Return a
        gimple_omp_atomic_load rather than a plain gimple.
        (gimple_omp_atomic_load_set_lhs): Require a
        gimple_omp_atomic_load rather than a plain gimple.
        (gimple_omp_atomic_load_lhs_ptr): Likewise.
        (gimple_omp_atomic_load_set_rhs): Likewise.
        (gimple_omp_atomic_load_rhs_ptr): Likewise.
        (gimple_omp_atomic_load_lhs): Require a
        const_gimple_omp_atomic_load rather than a plain const_gimple.
        (gimple_omp_atomic_load_rhs): Likewise.

        * gimplify-me.c (gimple_regimplify_operands): Add a checked cast
        to gimple_omp_atomic_load within GIMPLE_OMP_ATOMIC_LOAD case of
        switch statement.

        * omp-low.c (expand_omp_atomic): Strengthen type of local "load"
        from gimple to gimple_omp_atomic_load.
        (lower_omp_1): Add a checked cast to gimple_omp_atomic_load within
        GIMPLE_OMP_ATOMIC_LOAD case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Use more concrete types for various gimple statements

        * cgraphunit.c (thunk_adjust): Strengthen local "stmt" from gimple
        to gimple_assign.

        * gimple-ssa-isolate-paths.c
        (insert_trap_and_remove_trailing_statements): Strengthen local
        "new_stmt" from gimple to gimple_call.

        * gimple-ssa-strength-reduction.c (replace_mult_candidate):
        Strengthen local "copy_stmt" from gimple to gimple_assign.
        (create_add_on_incoming_edge): Likewise, for "new_stmt".
        (insert_initializers): Likewise, for "init_stmt".
        (introduce_cast_before_cand): Likewise, for "cast_stmt".
        (replace_one_candidate): Likewise, for "copy_stmt" and
        "cast_stmt".

        * gimplify.c (build_stack_save_restore): Require gimple_calls
        rather than plain gimples.
        (gimplify_bind_expr): Strengthen locals "stack_save" and
        "stack_restore" from gimple to gimple_call.  Strengthen "gs"
        to gimple_try.
        (gimplify_switch_expr): Strengthen local "gimple_switch" from
        gimple to gimple_switch, and "new_default" to gimple_label.
        (gimplify_cond_expr): Strengthen local "gimple_cond" from gimple
        to gimple_cond.
        (gimplify_init_constructor): Strengthen local "init" from gimple
        to gimple_assign.
        (gimplify_cleanup_point_expr): Strengthen local "gtry" from gimple
        to gimple_try.
        (gimple_push_cleanup): Strengthen locals "ffalse" and "ftrue" from
        gimple to gimple_assign.

        * tree-eh.c (do_goto_redirection): Strengthen local to gimple_goto.
        (emit_post_landing_pad): Strengthen local to gimple_label.

        * tree-outof-ssa.c (insert_backedge_copies): Strengthen local
        "stmt" from gimple to gimple_assign.

        * tree-parloops.c (take_address_of): Likewise.

        * tree-predcom.c (replace_ref_with): Likewise, for "new_stmt".
        (initialize_root_vars_lm): Likewise, for "init_stmt".
        (reassociate_to_the_same_stmt): Likewise, for "new_stmt" and "tmp_stmt".

        * tree-profile.c (gimple_gen_edge_profiler): Likewise, for "stmt1",
        "stmt2", "stmt3".
        (gimple_gen_ic_profiler): Likewise.
        (gimple_gen_ic_func_profiler): Strengthen local "stmt1" from
        gimple to gimple_call, and "stmt2" to gimple_assign.

        * tree-scalar-evolution.c (scev_const_prop): Strengthen local
        "ass" from gimple to gimple_assign.

        * tree-sra.c (build_ref_for_offset): Likewise for "stmt".
        (generate_subtree_copies): Likewise; also strengthen "ds" to
        gimple_debug.
        (init_subtree_with_zero): Likewise.
        (sra_modify_expr): Likewise.
        (load_assign_lhs_subreplacements): Likewise.
        (sra_modify_assign): Strengthen "ds" to gimple_debug.
        (sra_ipa_reset_debug_stmts): Likewise for "def_temp".

        * tree-ssa-ccp.c (insert_clobber_before_stack_restore):
        Strengthen local "clobber_stmt" from gimple to gimple_assign.

        * tree-ssa-dce.c (remove_dead_stmt): Strengthen "note" to
        gimple_debug.

        * tree-ssa-dom.c (record_equivalences_from_stmt): Strengthen
        local "new_stmt" from gimple to gimple_assign.
        (optimize_stmt): Likewise.

        * tree-ssa-forwprop.c (simplify_bitwise_binary): Likewise for
        4 declarations of "newop".
        (simplify_rotate): Likewise for "g".

        * tree-ssa-loop-im.c (rewrite_reciprocal): Likewise for 3 locals.
        (rewrite_bittest): Likewise for "stmt" and "stmt2".
        (move_computations_dom_walker::before_dom_children): Likewise for
        "new_stmt".
        (execute_sm): Likewise for "load" and "store".

        * tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts):
        Strengthen local "stmt" from gimple to gimple_call.
        (unloop_loops): Likewise.

        * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Strengthen
        local "ass" from gimple to gimple_assign.
        (remove_unused_ivs): Strengthen "def_temp" to gimple_debug.

        * tree-ssa-loop-manip.c (rewrite_phi_with_iv): Strengthen local "stmt"
        from gimple to gimple_assign.

        * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Strengthen local
        "prefetch" from gimple to gimple_call.

        * tree-ssa-math-opts.c (insert_reciprocals): Strengthen local
        "new_stmt" from gimple to gimple_assign.
        (powi_as_mults_1): Likewise for "mult_stmt".
        (powi_as_mults): Likewise for "div_stmt".
        (build_and_insert_binop): Likewise for "stmt".
        (build_and_insert_cast): Likewise.
        (pass_cse_sincos::execute): Likewise for "stmt" and various decls
        of "new_stmt".
        (convert_mult_to_fma): Likewise for "fma_stmt".

        * tree-ssa-phiopt.c (conditional_replacement): Likewise for "new_stmt".
        (abs_replacement): Likewise.

        * tree-ssa-phiprop.c (phiprop_insert_phi): Likewise for "tmp".

        * tree-ssa-pre.c (create_expression_by_pieces): Likewise for "newstmt".
        (eliminate_insert): Likewise for "tem".

        * tree-ssa-propagate.c (update_gimple_call): Strengthen locals
        "new_stmt" and "stmt" from gimple to gimple_call.
        (update_call_from_tree): Likewise for "new_stmt".

        * tree-ssa-reassoc.c (build_and_add_sum): Likewise for "sum".
        (update_ops): Likewise for "g".
        (maybe_optimize_range_tests): Likewise.
        (rewrite_expr_tree_parallel): Require a gimple_assign rather than
        a plain gimple.
        (reassociate_bb): Add a checked cast to gimple_assign.

        * tree-ssa.c (insert_debug_temp_for_var_def): Strengthen local
        "def_temp" from gimple to gimple_debug.

        * tree-switch-conversion.c (emit_case_bit_tests): Strengthen local
        "shift_stmt" from gimple to gimple_assign.

        * tree-tailcall.c (adjust_return_value_with_ops): Likewise for
        "stmt".
        (update_accumulator_with_ops): Likewise.

        * tree-vect-data-refs.c (bump_vector_ptr): Likewise for
        "incr_stmt".

        * tree-vect-stmts.c (vectorizable_condition): Likewise for
        "new_stmt".

        * tree-vrp.c (build_assert_expr_for): Likewise for "assertion".
        (simplify_truth_ops_using_ranges): Likewise for "newop".
        (simplify_float_conversion_using_ranges): Likewise for "conv".

        * ubsan.c (instrument_mem_ref): Strengthen local "g" from gimple
        to gimple_call.

        * value-prof.c (gimple_divmod_fixed_value): Require a
        gimple_assign rather than a plain gimple; strengthen types of locals.
        (gimple_mod_pow2): Likewise.
        (gimple_mod_subtract): Likewise.
        (gimple_divmod_fixed_value_transform): Strengthen local
        "stmt" from gimple to gimple_assign.
        (gimple_mod_pow2_value_transform): Likewise.
        (gimple_mod_subtract_transform): Likewise.
        (gimple_ic): Strengthen types of locals.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_try

        * coretypes.h (gimple_try): New typedef.
        (const_gimple_try): New typedef.

        * gimple-low.c (gimple_try_catch_may_fallthru): Require a
        gimple_try rather than a plain gimple.
        (gimple_stmt_may_fallthru): Add checked cast to gimple_try.

        * gimple-pretty-print.c (dump_gimple_try): Require a gimple_try
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_try within
        GIMPLE_TRY case of switch statement.

        * tree-eh.c (finally_tree_node::parent): Strengthen field from
        gimple to gimple_try.
        (record_in_finally_tree): Require a gimple_try rather than a plain
        gimple.
        (collect_finally_tree): Likewise.
        (collect_finally_tree_1): Likewise.
        (struct leh_tf_state::try_finally_expr): Strengthen field from
        gimple to gimple_try.
        (struct leh_tf_state::top_p): Likewise.
        (lower_eh_must_not_throw): Require a gimple_try rather than a
        plain gimple.
        (frob_into_branch_around): Likewise.
        (lower_try_finally_dup_block): Strengthen local from gimple to
        gimple_try.
        (honor_protect_cleanup_actions): Split out uses of "x" into new
        locals "eh_mnt" and "try_stmt" with stronger types.
        (lower_try_finally): Require a gimple_try rather than a plain
        gimple.
        (lower_catch): Likewise.
        (lower_eh_filter): Likewise.
        (lower_eh_must_not_throw): Likewise.
        (lower_cleanup): Likewise.
        (lower_eh_constructs_2): Add checked cast to gimple_try within
        GIMPLE_TRY case of switch statement, introducing new local
        "try_stmt", using it for type-safety.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Use subclasses of gimple in various places

        * asan.c (insert_if_then_before_iter): Require a gimple cond
        rathern than a plain gimple.
        (asan_expand_check_ifn): Add a checked cast to gimple_cond.

        * cfgloopmanip.c (create_empty_if_region_on_edge): Likewise.

        * omp-low.c (simd_clone_adjust): Strengthen local from gimple
        to gimple_phi.

        * sese.c (set_ifsese_condition): Strengthen local from gimple to
        gimple_cond.

        * tree-call-cdce.c (gen_one_condition): Strengthen locals from
        gimple to gimple_assign and gimple_cond.

        * tree-ssa-phiopt.c (minmax_replacement): Likewise.
        (cond_store_replacement): Strengthen locals from gimple to
        gimple_phi and gimple_assign.
        (cond_if_else_store_replacement_1): Likewise.

        * tree-ssa-pre.c (do_regular_insertion): Strengthen local from
        gimple to gimple_assign.

        * tree-switch-conversion.c (hoist_edge_and_branch_if_true):
        Strengthen local from gimple to gimple_cond.
        (gen_def_assigns): Return a gimple_assign rather than a plain
        gimple.
        (gen_inbound_check): Strengthen locals from gimple to gimple_cond
        and gimple_assign.

        * tree-vect-loop-manip.c (slpeel_add_loop_guard): Strengthen local
        from gimple to gimple_cond.
        (set_prologue_iterations): Strengthen locals from gimple to
        gimple_phi and gimple_cond.

        * value-prof.c (gimple_ic): Strengthen local from gimple to
        gimple_phi.
        (gimple_stringop_fixed_value): Strengthen locals from gimple to
        gimple_assign, gimple_cond, gimple_call, and gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_dispatch

        * coretypes.h (gimple_eh_dispatch): New typedef.
        (const_gimple_eh_dispatch): New typedef.

        * gimple-pretty-print.c (dump_gimple_eh_dispatch): Require a
        gimple_eh_dispatch rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_eh_dispatch
        within GIMPLE_EH_DISPATCH case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_eh_dispatch): Return a gimple_eh_dispatch
        rather than a plain gimple.

        * gimple.h (gimple_build_eh_dispatch): Return a gimple_eh_dispatch
        rather than a plain gimple.
        (gimple_eh_dispatch_region): Require a const_gimple_eh_dispatch
        rather than a plain const_gimple.
        (gimple_eh_dispatch_set_region): Require a gimple_eh_dispatch
        rather than a plain gimple.

        * tree-cfg.c (make_edges): Add a checked cast to gimple_eh_dispatch
        within GIMPLE_EH_DISPATCH case of switch statement.
        (gimple_verify_flow_info): Likewise.
        (gimple_redirect_edge_and_branch): Likewise.
        (move_stmt_r): Likewise, adding a local.

        * tree-eh.c (emit_eh_dispatch): Convert local from gimple to
        gimple_eh_dispatch.
        (make_eh_dispatch_edges): Require a gimple_eh_dispatch rather than
        a plain gimple.
        (redirect_eh_dispatch_edge): Likewise.
        (lower_eh_dispatch): Likewise.
        (execute_lower_eh_dispatch): Add a checked cast to
        gimple_eh_dispatch.
        (mark_reachable_handlers): Likewise.
        (verify_eh_dispatch_edge): Require a gimple_eh_dispatch rather
        than a plain gimple.

        * tree-eh.h (make_eh_dispatch_edges): Likewise.
        (redirect_eh_dispatch_edge): Likewise.
        (verify_eh_dispatch_edge): Likewise.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_eh_dispatch within GIMPLE_EH_DISPATCH case of switch
        statement, adding a local.
        (copy_edges_for_bb): Add a checked cast to gimple_eh_dispatch.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_resx

        * coretypes.h (gimple_resx): New typedef.
        (const_gimple_resx): New typedef.

        * gimple.h (gimple_build_resx): Return a gimple_resx rather than a
        plain gimple.
        (gimple_resx_region): Require a const_gimple_resx rather than a
        plain const_gimple.
        (gimple_resx_set_region): Require a gimple_resx rather than a
        plain gimple.

        * gimple-pretty-print.c (dump_gimple_resx): Require a gimple_resx
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_resx within
        GIMPLE_RESX case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_resx): Return a gimple_resx rather than
        a plain gimple.

        * tree-cfg.c (move_stmt_r): Add a checked cast to gimple_resx
        within GIMPLE_RESX case of switch statement, adding a new local.

        * tree-eh.c (emit_resx): Convert local "x" from gimple to
        gimple_resx.
        (lower_resx): Require a gimple_resx rather than a plain gimple.
        (pass_lower_resx::execute): Add a checked cast to gimple_resx.
        (mark_reachable_handlers): Likewise.

        * tree-inline.c (remap_gimple_stmt): Add a checked cast to
        gimple_resx within GIMPLE_RESX case of switch statement, adding
        a new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_else

        * coretypes.h (gimple_eh_else): New typedef.
        (const_gimple_eh_else): New typedef.

        * gimple.h (gimple_build_eh_else): Return a gimple_eh_else rather
        than a plain gimple.
        (gimple_eh_else_n_body_ptr): Require a gimple_eh_else rather than
        a plain gimple.
        (gimple_eh_else_n_body): Likewise.
        (gimple_eh_else_e_body_ptr): Likewise.
        (gimple_eh_else_e_body): Likewise.
        (gimple_eh_else_set_n_body): Likewise.
        (gimple_eh_else_set_e_body): Likewise.

        * gimple-low.c (lower_stmt): Add checked cast to gimple_eh_else
        within GIMPLE_EH_ELSE case of switch statement, introducing a new
        local.
        (gimple_stmt_may_fallthru): Likewise.

        * gimple-pretty-print.c (dump_gimple_eh_else): Require a
        gimple_eh_else rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement

        * gimple-walk.c (walk_gimple_stmt): Add checked cast to
        gimple_eh_else within GIMPLE_EH_ELSE case of switch statement,
        introducing a new local.

        * gimple.c (gimple_build_eh_else): Return a gimple_eh_else
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement, introducing new locals.

        * tree-cfg.c (verify_gimple_in_seq_2): Add checked cast to
        gimple_eh_else within GIMPLE_EH_ELSE case of switch statement,
        introducing a new local.

        * tree-eh.c (collect_finally_tree): Likewise.
        (replace_goto_queue_1): Likewise.
        (get_eh_else): Return a gimple_eh_else rather than a plain gimple.
        (honor_protect_cleanup_actions): Convert local "eh_else" from
        gimple to gimple_eh_else.
        (lower_try_finally_nofallthru): Likewise.
        (lower_try_finally_onedest): Introduce locals "eh_else" and
        "label_stmt", using them in favor of "x" for the gimple_eh_else
        and the gimple_label.
        (lower_try_finally_copy): Convert local "eh_else" from gimple to
        gimple_eh_else.
        (lower_try_finally_switch): Likewise.
        (decide_copy_try_finally): Likewise.
        (refactor_eh_r): Add checked cast to gimple_eh_else within
        GIMPLE_EH_ELSE case of switch statement, introducing a new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_must_not_throw

        * coretypes.h (gimple_eh_must_not_throw): New typedef.
        (const_gimple_eh_must_not_throw): New typedef.

        * gimple-pretty-print.c (dump_gimple_eh_must_not_throw): Require
        a gimple_eh_must_not_throw rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_eh_must_not_throw
        within GIMPLE_EH_MUST_NOT_THROW case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Likewise.

        * gimple-streamer-out.c (output_gimple_stmt): Likewise.

        * gimple.c (gimple_build_eh_must_not_throw): Return a
        gimple_eh_must_not_throw rather than a plain gimple.

        * gimple.h (gimple_build_eh_must_not_throw): Return a
        gimple_eh_must_not_throw rather than a plain gimple.
        (gimple_eh_must_not_throw_fndecl): Require a
        gimple_eh_must_not_throw rather than a plain gimple.
        (gimple_eh_must_not_throw_set_fndecl): Likewise.

        * tree-eh.c (lower_eh_must_not_throw): Add checked cast.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_eh_filter

        * coretypes.h (gimple_eh_filter): New typedef.
        (const_gimple_eh_filter): New typedef.

        * gimple.h (gimple_build_eh_filter): Return a gimple_eh_filter
        rather than a plain gimple.

        * gimple-pretty-print.c (dump_gimple_eh_filter): Require a
        gimple_eh_filter rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_eh_filter within
        GIMPLE_EH_FILTER case of switch statement.

        * gimple.c (gimple_build_eh_filter): Return a gimple_eh_filter
        rather than a plain gimple.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_catch

        * coretypes.h (gimple_catch): New typedef.
        (const_gimple_catch): New typedef.

        * gimple-low.c (lower_try_catch): Add checked cast to gimple_catch.
        (gimple_try_catch_may_fallthru): Likewise.

        * gimple-pretty-print.c (dump_gimple_catch): Require a gimple_catch
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * gimple-walk.c (walk_gimple_op): Likewise.
        (walk_gimple_stmt): Likewise.

        * gimple.c (gimple_build_catch): Return a gimple_catch rather than
        a plain gimple.
        (gimple_copy): Add checked casts to gimple_catch within
        GIMPLE_CATCH case of switch statement, introducing new locals.

        * gimple.h (gimple_build_catch): Return a gimple_catch rather than
        a plain gimple.
        (gimple_catch_types_ptr): Require a gimple_catch rather than a
        plain gimple.
        (gimple_catch_handler_ptr): Likewise.
        (gimple_catch_handler): Likewise.
        (gimple_catch_set_types): Likewise.
        (gimple_catch_set_handler): Likewise.

        * omp-low.c (lower_omp_1): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * tree-cfg.c (verify_gimple_in_seq_2): Likewise.
        (do_warn_unused_result): Likewise.

        * tree-eh.c (collect_finally_tree): Likewise.
        (replace_goto_queue_1): Likewise.
        (lower_catch): Convert local from gimple to gimple_catch.
        (refactor_eh_r): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement.

        * tree-inline.c (remap_gimple_stmt): Likewise.
        (estimate_num_insns): Add checked cast to gimple_catch within
        GIMPLE_CATCH case of switch statement, introducing new local.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_transaction

        * coretypes.h (gimple_transaction): New typedef.
        (const_gimple_transaction): New typedef.

        * gimple.h (gimple_build_transaction): Return a gimple_transaction
        rather than a plain gimple.
        (gimple_transaction_body_ptr): Require a gimple_transaction rather
        than a plain gimple.
        (gimple_transaction_body): Likewise.
        (gimple_transaction_label_ptr): Likewise.
        (gimple_transaction_set_body): Likewise.
        (gimple_transaction_set_label): Likewise.
        (gimple_transaction_set_subcode): Likewise.
        (gimple_transaction_label): Require a const_gimple_transaction
        rather than a plain const_gimple.
        (gimple_transaction_subcode): Likewise.

        * gimple-low.c (lower_stmt): Add checked cast to
        gimple_transaction within GIMPLE_TRANSACTION case of switch
        statement.

        * gimple-pretty-print.c (dump_gimple_transaction): Require a
        gimple_transaction rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_transaction within
        GIMPLE_TRANSACTION case of switch statement.
        * gimple-streamer-in.c (input_gimple_stmt): Likewise.
        * gimple-streamer-out.c (output_gimple_stmt): Likewise.
        * gimple-walk.c (walk_gimple_op): Likewise.
        (walk_gimple_stmt): Likewise.

        * gimple.c (gimple_build_transaction): Return a gimple_transaction
        rather than a plain gimple.
        (gimple_copy): Add checked casts to gimple_transaction within
        GIMPLE_TRANSACTION case of switch statement.

        * gimplify.c (gimplify_transaction): Split local "g" into
        "body_stmt" and "trans_stmt", strengthening the type of the latter
        from gimple to gimple_transaction.

        * omp-low.c (lower_omp_1): Add checked cast to gimple_transaction
        within GIMPLE_TRANSACTION case of switch statement.

        * trans-mem.c (diagnose_tm_1): Add checked cast within
        GIMPLE_TRANSACTION case of switch statement, introducing a new
        local "trans_stmt".  Use it in place of "stmt".
        (examine_call_tm): Convert local from gimple to gimple_transaction.
        (tm_region::get_transaction_stmt): New method.
        (tm_region::transaction_stmt): Add clarification of type to the
        comment.
        (tm_region_init_0): Require a gimple_transaction rather than a
        plain gimple.
        (tm_region_init): Convert a check against GIMPLE_TRANSACTION to a
        dyn_cast<gimple_transaction> and new local.
        (transaction_subcode_ior): Add a new local, using the new
        get_transaction_stmt method to perform a checked cast.
        (propagate_tm_flags_out): Likewise.
        (expand_transaction): Add a checked cast using the new
        get_transaction_stmt method.
        (generate_tm_state): Likewise.
        (execute_tm_mark): Likewise.
        (ipa_tm_diagnose_transaction): Likewise.

        * tree-cfg.c (verify_gimple_transaction): Require a
        gimple_transaction rather than a plain gimple.
        (make_edges): Add checked cast within GIMPLE_TRANSACTION case of
        switch statement
        (cleanup_dead_labels): Likewise.
        (verify_gimple_stmt): Likewise.
        (verify_gimple_in_seq_2): Likewise.
        (verify_gimple_in_seq_2): Likewise.
        (gimple_redirect_edge_and_branch): Add checked cast.

        * tree-inline.c (remap_gimple_stmt): Add checked cast within
        GIMPLE_TRANSACTION case of switch statement, introducing a new
        local "old_trans_stmt".  Use it in place of "stmt".  Add new
        local "new_trans_stmt", using it to initialize "copy", and for
        type-safe operations as a transaction.
        (estimate_num_insns): Add checked cast within GIMPLE_TRANSACTION
        case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_asm

        * coretypes.h (gimple_asm): New typedef.
        (const_gimple_asm): New typedef.

        * gimple.h (gimple_build_asm_vec): Return a gimple_asm rather than
        just a gimple.
        (gimple_asm_clobbers_memory_p): Require a const_gimple_asm rather
        than just a const_gimple.
        (gimple_asm_ninputs): Likewise.
        (gimple_asm_noutputs): Likewise.
        (gimple_asm_nclobbers): Likewise.
        (gimple_asm_nlabels): Likewise.
        (gimple_asm_input_op): Likewise.
        (gimple_asm_input_op_ptr): Likewise.
        (gimple_asm_output_op): Likewise.
        (gimple_asm_output_op_ptr): Likewise.
        (gimple_asm_clobber_op): Likewise.
        (gimple_asm_label_op): Likewise.
        (gimple_asm_string): Likewise.
        (gimple_asm_volatile_p): Likewise.
        (gimple_asm_input_p): Likewise.
        (gimple_asm_set_input_op): Require a gimple_asm rather than a plain
        gimple.
        (gimple_asm_set_output_op): Likewise.
        (gimple_asm_set_clobber_op): Likewise.
        (gimple_asm_set_label_op): Likewise.
        (gimple_asm_set_volatile): Likewise.
        (gimple_asm_set_input): Likewise.

        * cfgexpand.c (expand_asm_stmt): Require a gimple_asm rather than
        a plain gimple.
        (expand_gimple_stmt_1): Add checked cast to gimple_asm within
        GIMPLE_ASM case of switch statement.

        * gimple-fold.c (fold_stmt_1): Add new local from checked cast to
        gimple_asm within case GIMPLE_ASM.

        * gimple-pretty-print.c (dump_gimple_asm): Require a gimple_asm
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add checked cast to gimple_asm within
        GIMPLE_ASM case of switch statement.

        * gimple-streamer-in.c (input_gimple_stmt): Rework existing
        checked cast to gimple_asm; add a new one.

        * gimple-streamer-out.c (output_gimple_stmt): Add new local from
        checked cast to gimple_asm within case GIMPLE_ASM.

        * gimple-walk.c (walk_gimple_asm): Require a gimple_asm rather
        than a plain gimple.
        (walk_gimple_op): Add checked cast to gimple_asm within GIMPLE_ASM
        case of switch statement.
        (walk_stmt_load_store_addr_ops): Use dyn_cast<gimple_asm> in place
        of a code check against GIMPLE_ASM to introduce a new gimple_asm
        local.

        * gimple.c (gimple_build_asm_1): Return a gimple_asm rather than
        a plain gimple.
        (gimple_build_asm_vec): Likewise.
        (gimple_has_side_effects): Add a checked cast to gimple_asm.
        (gimple_could_trap_p_1): Likewise.
        (gimple_call_builtin_p): Require a const_gimple_asm rather then
        a const_gimple.

        * gimplify-me.c (gimple_regimplify_operands): Add a checked cast
        and a new local of type gimple_asm within GIMPLE_ASM case.

        * gimplify.c (gimplify_asm_expr): Convert a local from gimple to
        gimple_asm.

        * ipa-pure-const.c (check_stmt): Add checked casts within
        GIMPLE_ASM case.

        * ssa-iterators.h (op_iter_init): Likewise.

        * tree-cfg.c (make_goto_expr_edges): Convert a local from gimple
        to gimple_asm.
        (cleanup_dead_labels): Add a checked cast and a new local of type
        gimple_asm within GIMPLE_ASM case.
        (gimple_redirect_edge_and_branch): Likewise.
        (is_ctrl_altering_stmt): Add a checked cast.
        (need_fake_edge_p): Replace a code check against GIMPLE_ASM with a
        dyn_cast<gimple_asm>.

        * tree-complex.c (expand_complex_comparison): Convert a local from
        gimple to gimple_asm.

        * tree-data-ref.c (get_references_in_stmt): Add a checked cast to
        gimple_asm.

        * tree-eh.c (stmt_could_throw_p): Likewise.

        * tree-inline.c (estimate_num_insns): Likewise.

        * tree-sra.c (scan_function): Add a checked cast and a new local
        of type gimple_asm within GIMPLE_ASM case.
        (sra_modify_function_body): Likewise.
        (ipa_sra_modify_function_body): Likewise.

        * tree-ssa-coalesce.c (create_outofssa_var_map): Likewise.

        * tree-ssa-dce.c (propagate_necessity): Replace a code check
        against GIMPLE_ASM with a dyn_cast<gimple_asm>.

        * tree-ssa-operands.c (maybe_add_call_vops): Require a gimple_asm
        rather than a plain gimple.
        (parse_ssa_operands): Add a checked cast to gimple_asm.

        * tree-ssa-structalias.c (find_func_aliases): Replace a check for
        GIMPLE_ASM with a dyn_cast<gimple_asm>, introducing  a new local
        "asm_stmt", using it in place of "t" for typesafety.

        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Add a checked
        cast to gimple_asm.

        * tree-ssa.c (execute_update_addresses_taken): Add checked casts
        and new locals of type gimple_asm within clauses guarded by code
        check.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_goto

        * coretypes.h (gimple_goto): New typedef.
        (const_gimple_goto): New typedef.

        * gimple.h (gimple_statement_goto): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_GOTO.
        (is_a_helper <gimple_statement_goto>::test): New.
        (gimple_build_goto): Return a gimple_goto rather than a
        plain gimple.

        * gimple-pretty-print.c (dump_gimple_goto): Require a gimple_goto
        rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_goto within
        GIMPLE_GOTO case of switch statement.

        * gimple.c (gimple_build_goto): Return a gimple_goto rather than a
        plain gimple.

        * tree-cfg.c (verify_gimple_goto): Require a gimple_goto rather
        than a plain gimple.
        (verify_gimple_stmt): Add a checked cast to gimple_goto within
        GIMPLE_GOTO case of switch statement.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_return

        * coretypes.h (gimple_return): New typedef.
        (const_gimple_return): New typedef.

        * gimple.h (gimple_statement_return): New subclass of
        gimple_statement_with_memory_ops, adding the invariant that
        stmt->code == GIMPLE_RETURN.
        (is_a_helper <gimple_statement_return>::test): New.
        (gimple_build_return): Return a gimple_return rather
        than a plain gimple.

        * gimple.c (gimple_build_return): Return a gimple_return rather
        than a plain gimple.

        * cgraphunit.c (expand_thunk): Convert local from a gimple to
        a gimple_return.

        * gimple-low.c (struct return_statements_t): Convert field "stmt"
        from a gimple to a gimple_return.
        (lower_gimple_return): Convert local from a gimple to a
        gimple_return.

        * gimple-pretty-print.c (dump_gimple_return): Require a
        gimple_return rather than a plain gimple.
        (pp_gimple_stmt_1): Add a checked cast to gimple_return within
        case GIMPLE_RETURN of switch statement.

        * gimplify.c (gimplify_return_expr): Convert locals from
        gimple to gimple_return.

        * ipa-split.c (split_function): Likewise.

        * tree-cfg.c (verify_gimple_assign): Require a gimple_return
        rather than a plain gimple.
        (verify_gimple_stmt): Add checked cast to gimple_return within
        case GIMPLE_RETURN of switch statement.

        * tree-tailcall.c (adjust_return_value): Convert local from
        gimple to gimple_return.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_call

        * coretypes.h (gimple_call): New typedef.
        (const_gimple_call): New typedef.

        * asan.c (get_mem_refs_of_builtin_call): Require a
        const_gimple_call rather than a const gimple.
        (has_stmt_been_instrumented_p): Add a checked cast to
        gimple_call.
        (instrument_strlen_call): Likewise.
        (instrument_builtin_call): Likewise.
        * builtins.c (validate_gimple_arglist): Require a
        const_gimple_call rather than a const gimple.
        (fold_call_stmt): Require a gimple_call rather than a gimple.
        * builtins.h (validate_gimple_arglist): Require a
        const_gimple_call rather than a const gimple.
        (fold_call_stmt): Require a gimple_call rather than a gimple.
        * cfgexpand.c (expand_call_stmt): Likewise.
        (expand_gimple_stmt_1): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Strengthen
        local "new_stmt" from gimple to gimple_call, adding a checked
        cast.
        * cgraphunit.c (cgraph_node::expand_thunk): Likewise for local
        "call".
        * gimple-fold.c (gimple_fold_builtin_snprintf_chk): Likewise for
        local "stmt".
        (gimple_fold_builtin_snprintf): Likewise.
        (gimple_fold_builtin): Likewise.
        (gimple_fold_call): Likewise.
        (gimple_fold_stmt_to_constant_1): Introduce local "call_stmt" via
        checked cast of "stmt" to gimple_call, using it in various places
        for typesafety.
        * gimple-pretty-print.c (dump_gimple_call_args): Strengthen param
        2 from gimple to gimple_call.
        (dump_gimple_call): Likewise.
        (pp_gimple_stmt_1): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * gimple-streamer-in.c (input_gimple_stmt): Replace is_gimple_call
        with a dyn_cast<gimple_call>, introducing local "call_stmt", and
        using it in place of "stmt" for typesafety.  Add a checked cast
        in statement guarded by check for GIMPLE_CALL.
        * gimple-walk.c (walk_gimple_op): Add a checked cast to
        gimple_call.
        * gimple.c (gimple_call_reset_alias_info): Strengthen param from
        gimple to gimple_call.
        (gimple_build_call_1): Strengthen return type and local from
        gimple to gimple_call.
        (gimple_build_call_vec): Likewise.
        (gimple_build_call): Likewise.
        (gimple_build_call_valist): Likewise.
        (gimple_build_call_internal_1): Likewise.
        (gimple_build_call_internal): Likewise.
        (gimple_build_call_internal_vec): Likewise.
        (gimple_build_call_from_tree): Likewise.
        (gimple_call_return_flags): Strengthen param from
        const_gimple to const_gimple_call.
        (gimple_call_copy_skip_args): Strengthen return type and local from
        gimple to gimple_call.
        * gimple.h (gimple_call_reset_alias_info): Strengthen param from
        gimple to gimple_call.
        (gimple_build_call_vec): Strengthen return type from gimple to
        gimple_call.
        (gimple_build_call): Likewise.
        (gimple_build_call_valist): Likewise.
        (gimple_build_call_internal): Likewise.
        (gimple_build_call_internal_vec): Likewise.
        (gimple_build_call_from_tree): Likewise.
        (gimple_call_return_flags): Strengthen param from const_gimple to
        const_gimple_call.
        (gimple_call_copy_skip_args): Strengthen return type from gimple
        to gimple_call.
        (gimple_call_set_internal_fn): Strengthen param "call_stmt" from
        gimple to gimple_call.
        (gimple_call_return_type): Strengthen param from const_gimple to
        const_gimple_call.
        (gimple_call_chain_ptr): Likewise.
        (gimple_call_set_chain): Strengthen param from gimple to
        gimple_call.
        (gimple_call_set_return_slot_opt): Likewise.
        (gimple_call_set_from_thunk): Likewise.
        (gimple_call_from_thunk_p): Likewise.
        (gimple_call_set_va_arg_pack): Likewise.
        (gimple_call_va_arg_pack_p): Likewise.
        (gimple_call_set_alloca_for_var): Likewise.
        (gimple_call_alloca_for_var_p): Likewise.
        (gimple_expr_type): Introduce local "call_stmt" via a checked cast
        and use it for typesafety.
        * gimplify.c (gimplify_call_expr): Strengthen local "call" from
        gimple to gimple_call.
        (gimplify_modify_expr_to_memcpy): Likewise for local "gs".
        (gimplify_modify_expr_to_memset): Likewise.
        (gimplify_modify_expr): Add a checked cast to gimple_call.
        (gimplify_expr): Strengthen local "call" from gimple to
        gimple_call.
        (gimplify_function_tree): Likewise.
        * internal-fn.c (expand_LOAD_LANES): Strengthen param from gimple
        to gimple_call.
        (expand_STORE_LANES): Likewise.
        (expand_ANNOTATE): Likewise.
        (expand_GOMP_SIMD_LANE): Likewise.
        (expand_GOMP_SIMD_VF): Likewise.
        (expand_GOMP_SIMD_LAST_LANE): Likewise.
        (expand_UBSAN_NULL): Likewise.
        (expand_UBSAN_BOUNDS): Likewise.
        (expand_UBSAN_OBJECT_SIZE): Likewise.
        (expand_ASAN_CHECK): Likewise.
        (ubsan_expand_si_overflow_addsub_check): Likewise.
        (ubsan_expand_si_overflow_neg_check): Likewise.
        (ubsan_expand_si_overflow_mul_check): Likewise.
        (expand_UBSAN_CHECK_ADD): Likewise.
        (expand_UBSAN_CHECK_SUB): Likewise.
        (expand_UBSAN_CHECK_MUL): Likewise.
        (expand_LOOP_VECTORIZED): Likewise.
        (expand_MASK_LOAD): Likewise.
        (expand_MASK_STORE): Likewise.
        (expand_ABNORMAL_DISPATCHER): Likewise.
        (expand_BUILTIN_EXPECT): Likewise.
        (internal_fn_expanders): Likewise for entries in this table.
        (expand_internal_call): Likewise.
        * internal-fn.def: Update comment to reflect strengthening of
        param of expanders.
        * internal-fn.h (expand_internal_call): Strengthen param from
        gimple to gimple_call.
        * ipa-prop.c (ipa_modify_call_arguments): Likewise for local
        "new_stmt".
        * ipa-pure-const.c (check_call): Likewise for param "call".
        (check_stmt): Add a checked cast to gimple_call within GIMPLE_CALL
        case.
        * ipa-split.c (split_function): Strengthen local "call" from
        gimple to gimple_call.
        * omp-low.c (build_omp_barrier): Likewise for local "g".
        (lower_rec_input_clauses): Likewise for local "stmt".
        * trans-mem.c (build_tm_load): Likewise for return type and local
        "gcall".
        (build_tm_store): Likewise.
        (expand_transaction): Likewise for local "call".
        * tree-call-cdce.c (check_pow): Likewise for param.
        (check_builtin_call): Likewise.
        (is_call_dce_candidate): Likewise.
        (gen_conditions_for_pow): Likewise.
        (gen_shrink_wrap_conditions): Likewise.
        (shrink_wrap_one_built_in_call): Likewise.
        (shrink_wrap_conditional_dead_built_in_calls): Strengthen param
        from vec<gimple> to vec<gimple_call>, and local "bi_call" from
        gimple to gimple_call.
        (pass_call_cdce::execute): Strengthen local
        "cond_dead_built_in_calls" from auto_vec<gimple> to
        auto_vec<gimple_call> and local "stmt" from gimple to gimple_call,
        * tree-cfg.c (notice_special_calls): Strengthen param from gimple
        to gimple_call.
        * tree-cfg.h (notice_special_calls): Likewise.
        * tree-complex.c (expand_complex_libcall): Likewise for local
        "stmt".
        * tree-inline.c (remap_gimple_stmt): Add checked cast to
        gimple_call.
        (copy_bb): Likewise.  Strengthen local "new_call" from gimple to
        gimple_call.
        (inline_forbidden_p_stmt): Add checked cast to gimple_call.
        * tree-nested.c (init_tmp_var_with_call): Strengthen param "call"
        from gimple to gimple_call.
        (convert_nl_goto_reference): Likewise for local "call".
        (convert_tramp_reference_op): Likewise.
        (convert_gimple_call): Add checked cast to gimple_call.
        * tree-nrv.c (dest_safe_for_nrv_p): Strengthen param "call" from
        gimple to gimple_call.
        (pass_return_slot::execute): Likewise for local "stmt", using a
        dyn_cast<gimple_call> rather than an is_gimple_call call.
        * tree-object-size.c (alloc_object_size): Strengthen param "call"
        from const_gimple to const_gimple_call.
        (pass_through_call): Likewise.
        (call_object_size): Strengthen param "call" from gimple to
        gimple_call.
        (collect_object_sizes_for): Introduce local "call_stmt" via a
        checked cast, using it for typesafety.
        (check_for_plus_in_loops_1): Likewise.
        (pass_object_sizes::execute): Add a checked cast to gimple_call.
        * tree-profile.c (gimple_gen_interval_profiler): Strengthen local
        "call" from gimple to gimple_call.
        (gimple_gen_pow2_profiler): Likewise.
        (gimple_gen_one_value_profiler): Likewise.
        (gimple_gen_time_profiler): Likewise.
        (gimple_gen_average_profiler): Likewise.
        (gimple_gen_ior_profiler): Likewise.
        * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Likewise for
        param "call".
        (ref_maybe_used_by_call_p): Likewise.
        (ref_maybe_used_by_stmt_p): Add a checked cast to gimple_call.
        (call_may_clobber_ref_p_1): Strengthen param "call" from gimple to
        gimple_call.
        (call_may_clobber_ref_p): Likewise.
        (stmt_may_clobber_ref_p_1): Add a checked cast to gimple_call.
        * tree-ssa-alias.h (call_may_clobber_ref_p): Strengthen param 1
        from gimple to gimple_call.
        (call_may_clobber_ref_p_1): Likewise.
        * tree-ssa-dce.c (eliminate_unnecessary_stmts): Add a checked cast
        to gimple_call.
        * tree-ssa-loop-prefetch.c (emit_mfence_after_loop): Strengthen
        local "call" from gimple to gimple_call.
        * tree-ssa-math-opts.c (build_and_insert_call): Likewise for local
        "call_stmt".
        * tree-ssa-operands.c (maybe_add_call_vops): Likewise for param
        "stmt".
        (parse_ssa_operands): Add a checked cast to gimple_call within
        GIMPLE_CALL case.
        * tree-ssa-pre.c (compute_avail): Add a checked cast to
        gimple_call.
        * tree-ssa-sccvn.c (copy_reference_ops_from_call): Strengthen
        param "call" from gimple to gimple_call.
        (valueize_shared_reference_ops_from_call): Likewise.
        (vn_reference_lookup_3): Add a checked cast to gimple_call.
        (vn_reference_lookup_call): Strengthen param "call" from gimple to
        gimple_call.
        (visit_reference_op_call): Likewise for param "stmt".
        (visit_use): Replace is_gimple_call with a dyn_cast, introducing
        local "call_stmt", using it in place of "stmt" for type-safety.
        * tree-ssa-sccvn.h (vn_reference_lookup_call): Strengthen param 1
        from gimple to gimple_call.
        * tree-ssa-structalias.c (get_call_vi): Likewise.
        (lookup_call_use_vi): Likewise.
        (lookup_call_clobber_vi): Likewise.
        (get_call_use_vi): Likewise.
        (get_call_clobber_vi): Likewise.
        (handle_rhs_call): Likewise.
        (handle_lhs_call): Likewise.
        (handle_const_call): Likewise.
        (handle_pure_call): Likewise.
        (get_fi_for_callee): Likewise.
        (find_func_aliases_for_builtin_call): Likewise for param 2.
        (find_func_aliases_for_call): Likewise.
        (find_func_aliases): Add a checked cast to gimple_call.
        (find_func_clobbers): Replace is_gimple_call with a dyn_cast,
        introducing local "call_stmt", using it in place of "stmt" for
        type-safety.
        (compute_points_to_sets): Strengthen local "stmt" from gimple to
        gimple_call, replacing is_gimple_call with a
        dyn_cast <gimple_call>.
        (ipa_pta_execute): Likewise.
        * tree-ssa-threadedge.c
        (record_temporary_equivalences_from_stmts_at_dest): Add checked
        cast to gimple_call.
        * tree-tailcall.c (find_tail_calls): Strengthen local "call" from
        gimple to gimple_call, adding a checked cast.
        * tree-vect-data-refs.c (vect_setup_realignment): Eliminate
        top-level local "new_stmt" in favor of more tightly-scoped locals
        "new_stmt" of type gimple_assign and gimple_call.
        * tree-vect-patterns.c (vect_recog_pow_pattern): Strenghthen local
        "stmt" from gimple to gimple_call.
        * tree-vect-stmts.c (vectorizable_function): Likewise for param
        "call".
        (vectorizable_call): Rename param 1 from "stmt" to "gs",
        reintroducing "stmt" as a gimple_call once we've established that
        we're working with a GIMPLE_CALL.
        * tree-vectorizer.h (vectorizable_function): Strengthen param 1
        from gimple to gimple_call.
        * value-prof.c (check_ic_target): Likewise.
        (gimple_ic_transform): Likewise for local "stmt", replacing a
        check for GIMPLE_CALL with a dyn_cast.
        (interesting_stringop_to_profile_p): Strengthen param "call"
        from gimple to gimple_call.
        (gimple_stringop_fixed_value): Likewise for param "vcall_stmt".
        (gimple_stringops_transform): Likewise for local "stmt",
        replacing a check for GIMPLE_CALL with a dyn_cast.
        (gimple_stringops_values_to_profile): Rename param 1 from "stmt"
        to "gs", reintroducing "stmt" as a gimple_call once we've
        established that we're working with a GIMPLE_CALL.
        * vtable-verify.c (verify_bb_vtables): Strengthen local
        "call_stmt" from gimple to gimple_call.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Concretize get_loop_exit_condition et al to working on gimple_cond

        * tree-scalar-evolution.h (get_loop_exit_condition): Return a
        gimple_cond.
        * tree-scalar-evolution.c (get_loop_exit_condition): Likewise, also
        concretizing local "res" from gimple to gimple_cond.
        * tree-vect-loop-manip.c (slpeel_make_loop_iterate_ntimes): Convert
        locals from gimple to gimple_cond.
        (slpeel_can_duplicate_loop_p): Likewise.
        * tree-vect-loop.c (vect_get_loop_niters): Return a gimple_cond.
        (vect_analyze_loop_form): Convert local from gimple to gimple_cond.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Update various expressions within tree-scalar-evolution.c to be gimple_phi

        * tree-scalar-evolution.c (follow_ssa_edge): Require a gimple_phi,
        rather than a gimple.
        (follow_ssa_edge_binary): Likewise.
        (follow_ssa_edge_expr): Likewise.
        (follow_ssa_edge_in_rhs): Likewise.
        (backedge_phi_arg_p): Likewise.
        (follow_ssa_edge_in_condition_phi_branch): Likewise.
        (follow_ssa_edge_in_condition_phi): Likewise.
        (follow_ssa_edge_inner_loop_phi): Likewise.
        (analyze_evolution_in_loop): Likewise.
        (analyze_initial_condition): Likewise.
        (interpret_loop_phi): Likewise.
        (interpret_condition_phi): Likewise.
        (follow_ssa_edge): Likewise; also, add checked casts to gimple_phi.

        (analyze_scalar_evolution_1): Add checked casts to gimple_phi
        within "case GIMPLE_PHI".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-ivopts.c: use gimple_phi in a few places

        * tree-ssa-loop-ivopts.c (determine_biv_step): Require a gimple_phi.
        (find_bivs): Convert local "phi" into a gimple_phi.
        (mark_bivs): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-manip.c: use gimple_phi in three places

        * tree-ssa-loop-manip.c (add_exit_phi): Convert local "phi" to be a
        gimple_phi.
        (split_loop_exit_edge): Likewise for "phi" and "new_phi".

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-loop-niter.c: use gimple_phi in a few places

        * tree-ssa-loop-niter.c (chain_of_csts_start): Return a gimple_phi
        rather than a gimple.
        (get_base_for): Likewise; convert local "phi" to be a gimple_phi.
        (loop_niter_by_eval): Convert local "phi" to be a gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-ssa-phiprop.c: use gimple_phi

        * tree-ssa-phiprop.c (phiprop_insert_phi): Strengthen types of
        parameter "phi" and local "new_phi" from gimple to gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-predcom.c: use gimple_phi in various places

        * tree-predcom.c (find_looparound_phi): Return a gimple_phi rather
        than just a gimple.
        (insert_looparound_copy): Require a gimple_phi rather than just a
        gimple.
        (add_looparound_copies): Convert local "phi" to be a gimple_phi.
        (initialize_root_vars): Likewise.
        (initialize_root_vars_lm): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        tree-parloops.c: use gimple_phi in various places

        * tree-parloops.c (struct reduction_info): Strengthen field "new_phi"
        from gimple to gimple_phi.
        (create_phi_for_local_result): Convert local "new_phi" to gimple_phi.
        (loop_has_vector_phi_nodes): Require a gimple_phi rather than a gimple.
        (gather_scalar_reductions): Convert to a gimple_phi_iterator and
        gimple_phi.
        (try_create_reduction_list): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Update ssa_prop_visit_phi_fn callbacks to take a gimple_phi

        * tree-ssa-propagate.h (typedef ssa_prop_visit_phi_fn): Strengthen
        type of parameter from gimple to gimple_phi.

        * tree-complex.c (complex_visit_phi): Update signature of callback
        implementation accordingly.
        * tree-ssa-ccp.c (ccp_visit_phi_node): Likewise.
        * tree-ssa-copy.c (copy_prop_visit_phi_node): Likewise.
        * tree-vrp.c (vrp_visit_phi_node): Likewise.

        * tree-ssa-propagate.c (simulate_stmt): Add a checked cast to
        gimple_phi when invoking the ssa_prop_visit_phi callback.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_phi_iterator

        * gimple-iterator.h (struct gimple_phi_iterator): New subclass of
        gimple_stmt_iterator with identical layout, but adding...
        (gimple_phi_iterator::phi): ...new method, equivalent to
        gsi_stmt (), but casting the underlying gimple to gimple_phi,
        checking that code == GIMPLE_PHI in a checked build.
        (gsi_start_phis): Return a gimple_phi_iterator, rather than just a
        gimple_stmt_iterator.

        * tree-if-conv.c (bb_with_exit_edge_p): Require a gimple_phi rather
        than just a gimple.
        (if_convertible_phi_p): Likewise.
        * tree-phinodes.h (add_phi_node_to_bb): Likewise.
        * tree-ssa-phiprop.c (propagate_with_phi): Likewise.

        * tree-ssa-uninit.c (warn_uninitialized_phi): Require a gimple_phi
        and a vec<gimple_phi> *, rather than just a gimple and
        vec<gimple> *, and a hash_set<gimple_phi> * rather than a
        hash_set<gimple> *.
        (find_uninit_use): Likewise; add checked cast to gimple_phi when
        adding to worklist.
        (pass_late_warn_uninitialized::execute): Strengthen types of
        various locals, "worklist" from vec<gimple> to vec<gimple_phi>,
        "gsi" to a gimple_phi_iterator, "phi" and "cur_phi" to a
        gimple_phi, "added_to_worklist" from hash_set<gimple> to
        hash_set<gimple_phi>.

        * tree-ssa-loop-manip.c (rewrite_phi_with_iv): Require a
        gimple_phi_iterator * rather than a gimple_stmt_iterator *;
        use it to strengthen local from a gimple to a gimple_phi.

        * cfgloop.c (find_subloop_latch_edge_by_ivs): Convert local from a
        gimple_stmt_iterator to a gimple_phi_iterator.  Use the iterator's
        "phi" method rather than gsi_stmt.  Use this checked cast to convert
        the type of related local from a plain gimple to a gimple_phi.
        * gimple-pretty-print.c (dump_phi_nodes): Likewise.
        * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behaviour):
        Likewise.
        * sese.c (sese_add_exit_phis_edge): Likewise.
        * tree-cfg.c (reinstall_phi_args): Likewise.
        (gimple_make_forwarder_block): Likewise.
        (add_phi_args_after_copy_edge): Likewise.
        (gimple_lv_adjust_loop_header_phi): Likewise.
        * tree-cfgcleanup.c (phi_alternatives_equal): Likewise.
        (remove_forwarder_block_with_phi): Likewise.
        (merge_phi_nodes): Likewise.
        * tree-complex.c (update_phi_components): Likewise.
        * tree-if-conv.c (if_convertible_loop_p_1): Likewise.
        * tree-inline.c (update_ssa_across_abnormal_edges): Likewise.
        (copy_phis_for_bb): Likewise.
        * tree-into-ssa.c (rewrite_add_phi_arguments): Likewise.
        * tree-outof-ssa.c (eliminate_build): Likewise.
        (eliminate_useless_phis): Likewise.
        (rewrite_trees): Likewise.
        (insert_backedge_copies): Likewise.
        * tree-phinodes.c (reserve_phi_args_for_new_edge): Likewise.
        (remove_phi_args): Likewise.
        (remove_phi_nodes): Likewise.
        * tree-predcom.c (find_looparound_phi): Likewise.
        (eliminate_temp_copies): Likewise.
        * tree-scalar-evolution.c (loop_closed_phi_def): Likewise.
        (scev_const_prop): Likewise; also, add checked cast to phi.
        * tree-ssa-coalesce.c (coalesce_partitions): Likewise.
        * tree-ssa-dce.c (remove_dead_phis): Likewise.
        (forward_edge_to_pdom): Likewise.
        * tree-ssa-dom.c (record_equivalences_from_phis): Likewise.
        (cprop_into_successor_phis): Likewise.
        (propagate_rhs_into_lhs): Likewise.
        (eliminate_degenerate_phis_1): Likewise.
        * tree-ssa-ifcombine.c (same_phi_args_p): Likewise.
        * tree-ssa-live.c (calculate_live_on_exit): Likewise.
        (verify_live_on_entry): Likewise.
        * tree-ssa-loop-im.c
        (move_computations_dom_walker::before_dom_children): Likewise.
        * tree-ssa-loop-ivopts.c (find_bivs): Likewise.
        (mark_bivs): Likewise.
        (find_interesting_uses_outside): Likewise.
        (determine_set_costs): Likewise.
        * tree-ssa-loop-manip.c (split_loop_exit_edge): Likewise.
        (tree_transform_and_unroll_loop): Likewise.
        (rewrite_all_phi_nodes_with_iv): Likewise.
        (canonicalize_loop_ivs): Likewise.
        * tree-ssa-loop-niter.c (determine_value_range): Likewise.
        * tree-ssa-phiopt.c (hoist_adjacent_loads): Likewise.
        * tree-ssa-phiprop.c (tree_ssa_phiprop): Likewise.
        * tree-ssa-reassoc.c (suitable_cond_bb): Likewise.
        * tree-ssa-tail-merge.c (same_phi_alternatives_1): Likewise.
        (vop_phi): Likewise.
        * tree-ssa-threadedge.c (record_temporary_equivalences_from_phis):
        Likewise.
        * tree-ssa-threadupdate.c (copy_phi_arg_into_existing_phi): Likewise.
        (copy_phi_args): Likewise.
        (phi_args_equal_on_edges): Likewise.
        * tree-ssa.c (ssa_redirect_edge): Likewise.
        (flush_pending_stmts): Likewise.
        * tree-switch-conversion.c (check_final_bb): Likewise.
        (gather_default_values): Likewise.
        (build_constructors): Likewise.
        (fix_phi_nodes): Likewise.
        * tree-tailcall.c (propagate_through_phis): Likewise.
        (add_successor_phi_arg): Likewise.
        * tree-vect-loop-manip.c (slpeel_update_phi_nodes_for_guard1):
        Likewise.
        (slpeel_update_phi_nodes_for_guard2): Likewise.
        (slpeel_tree_peel_loop_to_edge): Likewise.
        (vect_can_advance_ivs_p): Likewise.
        (vect_update_ivs_after_vectorizer): Likewise.
        * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Likewise.
        * tree-vrp.c (find_assert_locations): Likewise.
        * value-prof.c (gimple_ic): Likewise.

        * omp-low.c (expand_parallel_call): Convert local to a gimple_phi.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_phi and use it in various places

        * coretypes.h (gimple_phi): New typedef.
        (const_gimple_phi): New typedef.

        * gdbhooks.py (build_pretty_printer): Add gimple_phi and its
        variants, using the gimple printer.

        * gimple.h (gimple_vec): Eliminate thie typedef in the hope of using
        vecs of more concrete gimple subclasses as appropriate; also the
        comment is about to become misleading.

        * gimple.h (gimple_phi_capacity): Use const_gimple_phi typedef
        rather than spelling out the full type.
        (gimple_phi_num_args): Likewise.
        (gimple_phi_result): Likewise.
        (gimple_phi_result_ptr): Use gimple_phi typedef.
        (gimple_phi_set_result): Likewise.
        (gimple_phi_arg): Likewise.
        (gimple_phi_set_arg): Likewise.
        * tree-phinodes.c (allocate_phi_node): Likewise.
        (resize_phi_node): Likewise.
        (reserve_phi_args_for_new_edge): Likewise.
        (remove_phi_arg_num): Likewise.

        * gimple-pretty-print.c (dump_gimple_phi): Require a gimple_phi
        rather than just a gimple.
        * tree-into-ssa.c (mark_phi_for_rewrite): Likewise.

        * tree-phinodes.c (make_phi_node): Return a gimple_phi rather than
        just a gimple.
        (create_phi_node): Likewise.
        * tree-phinodes.h (create_phi_node): Likewise.

        * trans-mem.c (struct struct tm_log_entry): Replace use of
        now-removed gimple_vec with a plain vec<gimple>.

        * tree-into-ssa.c (phis_to_rewrite): Strengthen from a
        vec<gimple_vec> to a vec< vec<gimple_phi> >.

        * tree-into-ssa.c (insert_phi_nodes_for): Update local to be a
        gimple_phi.
        * tree-into-ssa.c (rewrite_update_phi_arguments): Strengthen local
        "phis" from a gimple_vec to a vec<gimple_phi>, and local "phi" to
        a gimple_phi.
        * tree-into-ssa.c (delete_update_ssa): Strengthen local
        "phis" from a gimple_vec to a vec<gimple_phi>.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_phi in regions where a stmt is known to have code
        GIMPLE_PHI.
        * tree-into-ssa.c (mark_use_interesting): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_debug and use it in a few places

        * coretypes.h (gimple_debug): New typedef.
        (const_gimple_debug): New typedef.

        * gimple.h (struct gimple_statement_debug): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_DEBUG.
        (is_a_helper <gimple_statement_debug>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_debug and its
        variants, using the gimple printer.

        * gimple-pretty-print.c (dump_gimple_debug): Require a gimple_debug
        rather than just a gimple.
        * tree-inline.c (copy_debug_stmt): Likewise.

        * tree-inline.h (struct copy_body_data): Strengthen field
        "debug_stmts" from a vec<gimple> to a vec<gimple_debug>.

        * gimple.c (gimple_build_debug_bind_stat): Return a gimple_debug
        rather than just a gimple.
        (gimple_build_debug_source_bind_stat): Likewise.
        * gimple.h (gimple_build_debug_bind_stat): Likewise.
        (gimple_build_debug_source_bind_stat): Likewise.

        * tree-inline.c (remap_gimple_stmt): Update locals to be a
        gimple_debug.
        (maybe_move_debug_stmts_to_successors): Likewise.
        (copy_debug_stmts): Likewise.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_debug in regions where a stmt is known to have code
        GIMPLE_DEBUG.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_label and use it in a few places

        * coretypes.h (gimple_label): New typedef.
        (const_gimple_label): New typedef.

        * gimple.h (struct gimple_statement_label): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_LABEL.
        (is_a_helper <gimple_statement_label>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_label and its
        variants, reusing the gimple printer.

        * gimple-pretty-print.c (dump_gimple_label): Require a gimple_label
        rather than just a gimple.
        * tree-cfg.c (verify_gimple_label): Likewise.

        * gimple.c (gimple_build_label): Return a gimple_label rather than
        just a gimple.
        * gimple.h (gimple_build_label): Likewise.

        * gimplify.c (gimplify_case_label_expr): Update local to be a
        gimple_label.
        * tree-switch-conversion.c (gen_inbound_check): Likewise.

        * gimple-pretty-print.c (pp_gimple_stmt_1): Add checked cast to
        gimple_label in regions where a stmt is known to have code
        GIMPLE_LABEL.
        * tree-cfg.c (verify_gimple_stmt): Likewise.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_assign and use it in various places

        * coretypes.h (gimple_assign): New typedef.
        (const_gimple_assign): New typedef.

        * gimple.h (struct gimple_statement_assign): New subclass of
        gimple_statement_with_memory_ops, adding the invariant that
        stmt->code == GIMPLE_ASSIGN.
        (is_a_helper <gimple_statement_assign>::test): New.

        * gdbhooks.py (build_pretty_printer): Add gimple_assign and its
        variants, using the gimple printer.

        * gimple-builder.c (build_assign): Return a gimple_assign rather
        than just a gimple from each of the overloaded variants.
        (build_type_cast): Likewise.
        * gimple-builder.h (build_assign): Likewise.
        (build_type_cast): Likewise.
        * gimple.c (gimple_build_assign_stat): Likewise.
        (gimple_build_assign_with_ops): Likewise.
        * gimple.h (gimple_build_assign_stat): Likewise.
        (gimple_build_assign_with_ops): Likewise.

        * asan.c (get_mem_ref_of_assignment): Require a const_gimple_assign
        rather than just a "const gimple" (the latter is not a
        "const_gimple").
        * gimple-pretty-print.c (dump_unary_rhs): Require a gimple_assign
        rather than just a gimple.
        (dump_binary_rhs): Likewise.
        (dump_ternary_rhs): Likewise.
        * tree-cfg.c (verify_gimple_assign_unary): Likewise.
        (verify_gimple_assign_binary): Likewise.
        (verify_gimple_assign_ternary): Likewise.
        (verify_gimple_assign_single): Likewise.
        (verify_gimple_assign): Likewise.
        * tree-ssa-sccvn.c (simplify_unary_expression): Likewise.
        (try_to_simplify): Likewise.
        * tree-tailcall.c (process_assignment): Likewise.
        * tree-vect-generic.c (expand_vector_operation): Likewise.
        * tree-vrp.c (extract_range_from_cond_expr): Likewise.
        (extract_range_from_assignment): Likewise.

        * asan.c (has_stmt_been_instrumented_p): Add checked cast to
        gimple_assign in regions where a stmt is known to have code
        GIMPLE_ASSIGN.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-cfg.c (verify_gimple_stmt): Likewise.
        * tree-ssa-sccvn.c (visit_use): Likewise.
        * tree-tailcall.c (find_tail_calls): Likewise.
        * tree-vrp.c (vrp_visit_assignment_or_call): Likewise.

        * tree-vrp.c (simplify_stmt_for_jump_threading): Replace a check
        against GIMPLE_ASSIGN with a dyn_cast<gimple_assign>, introducing
        a gimple_assign local.

        * tree-vect-generic.c (expand_vector_condition): Convert local to a
        gimple_assign, adding a checked cast when extracting from gsi, since
        this is only called when  underlying stmt has code GIMPLE_ASSIGN.
        (optimize_vector_constructor): Likewise.
        (lower_vec_perm): Likewise.
        (expand_vector_operations_1): Convert local to a gimple_assign,
        introducing a dyn_cast.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_cond and use it in various places

        * coretypes.h (gimple_cond): New typedef.
        (const_gimple_cond): Likewise.

        * gimple.h (struct gimple_statement_cond): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_COND.
        (is_a_helper <gimple_statement_cond>::test): New.
        (gimple_build_cond): Return a gimple_cond, rather than just
        a gimple.
        (gimple_build_cond_from_tree): Likewise.

        * gdbhooks.py (build_pretty_printer): Add gimple_cond and its
        variants, using the gimple printer.

        * cfgexpand.c (expand_gimple_cond): Require a gimple_cond rather
        than just a gimple.
        * gimple.h (gimple_cond_set_condition_from_tree): Likewise.
        (gimple_cond_true_p): Likewise.
        (gimple_cond_false_p): Likewise.
        (gimple_cond_set_condition): Likewise.
        * gimple.c (gimple_cond_set_condition_from_tree): Likewise.
        * gimple-fold.c (fold_gimple_cond): Likewise.
        * gimple-pretty-print.c (dump_gimple_cond): Likewise.
        * tree-ssa-dom.c (canonicalize_comparison): Likewise.
        * tree-ssa-forwprop.c (forward_propagate_into_gimple_cond): Likewise.
        * tree-ssa-ifcombine.c (recognize_single_bit_test): Likewise.
        (recognize_bits_test): Likewise.
        * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
        (thread_around_empty_blocks): Likewise.
        (thread_through_normal_block): Likewise.
        (thread_across_edge): Likewise.
        * tree-ssa-threadedge.h (thread_across_edge): Likewise.
        * tree-vrp.c (range_fits_type_p): Likewise.

        * cfgexpand.c (expand_gimple_basic_block): Add checked cast to
        gimple_cond in regions where a stmt is known to have code GIMPLE_COND.
        * gimple-fold.c (fold_stmt_1): Likewise.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-ssa-dom.c (optimize_stmt): Likewise.
        * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Likewise.
        * tree-ssa-loop-unswitch.c (tree_unswitch_single_loop): Likewise.
        * tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
        Likewise.
        * tree-vrp.c (simplify_stmt_using_ranges): Likewise.

        * cfgloopmanip.c (create_empty_loop_on_edge): Update local to be a
        gimple_cond.
        * tree-vrp.c (identify_jump_threads): Likewise.

        * gimple.c (gimple_build_cond): Return a gimple_cond, rather than
        just a gimple.
        (gimple_build_cond_from_tree): Likewise.

        * tree-ssa-dom.c (class dom_opt_dom_walker): Strengthen type of
        field "m_dummy_cond" from a plain gimple to a gimple_cond.

        * tree-ssa-ifcombine.c (ifcombine_ifandif): Introduce locals
        inner_stmt and outer_stmt so that inner_cond and outer_cond can be
        of type gimple_cond once we know that we have code == GIMPLE_COND.
        * tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Introduce local
        "last" so that stmt can be of type gimple_cond.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_bind and use it for accessors.

        * coretypes.h (gimple_bind): New typedef.
        (const_gimple_bind): New typedef.

        * gdbhooks.py (build_pretty_printer): Add gimple_bind
        and its variants, using the gimple printer.

        * gimple-pretty-print.c (dump_gimple_bind): Update type-signature to
        require a gimple_bind rather than just a gimple.

        * gimple.c (gimple_build_bind): Return a gimple_bind rather than
        just a gimple.
        * gimple.h (gimple_build_bind): Likewise.

        * gimple.h (gimple_seq_first_stmt_as_a_bind): New.

        * gimple.h (gimple_bind_vars): Update type-signature to
        require a gimple_bind rather than just a gimple, removing
        as_a and hence run-time check.
        (gimple_bind_set_vars): Likewise.
        (gimple_bind_append_vars): Likewise.
        (gimple_bind_body_ptr): Likewise.
        (gimple_bind_body): Likewise.
        (gimple_bind_set_body): Likewise.
        (gimple_bind_add_stmt): Likewise.
        (gimple_bind_add_seq): Likewise.
        (gimple_bind_block): Likewise.
        (gimple_bind_set_block): Likewise.
        * gimplify.c (gimple_push_bind_expr): Likewise.
        (gimple_current_bind_expr): Likewise.
        * tree-inline.c (copy_gimple_bind): Likewise.

        * gimplify.h (gimple_current_bind_expr): Return a gimple_bind
        rather than a plain gimple.
        (gimplify_body): Likewise.
        (gimple_bind_expr_stack): Return a vec<gimple_bind> rather than
        a vec<gimple>.

        * gimplify.c (struct gimplify_ctx): Strengthen field
        "bind_expr_stack" from vec<gimple> to vec<gimple_bind>.
        (gimple_bind_expr_stack): Likewise for type of returned value.

        * gimplify.c (gimplify_body): Strengthen various types from gimple
        to gimple_bind, including the return type.

        * gimplify.c (declare_vars): Introduce "gs" as a generic gimple,
        so that local "scope" can be of type gimple_bind once we've reached
        the region where it must be of code GIMPLE_BIND.

        * gimple-low.c (lower_gimple_bind): Add checked cast to
        gimple_bind, since both callers (lower_function_body and
        lower_stmt) have checked the code for us.

        * gimple.c (gimple_copy): Add checked cast to gimple_bind in
        region guarded by check for code GIMPLE_BIND.
        * gimple-low.c (gimple_stmt_may_fallthru): Likewise.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * gimple-walk.c (walk_gimple_stmt): Likewise.
        * omp-low.c (scan_omp_1_stmt): Likewise.
        (lower_omp_1): Likewise.
        (lower_omp_for): Likewise.
        * tree-cfg.c (verify_gimple_in_seq_2): Likewise.
        (do_warn_unused_result): Likewise.
        * tree-inline.c (remap_gimple_stmt): Likewise.
        (estimate_num_insns): Likewise.
        * tree-nested.c (convert_nonlocal_reference_stmt): Likewise.

        * gimplify.c (gimplify_bind_expr): Update local(s) to be a
        gimple_bind rather than just a gimple.
        (gimplify_function_tree): Likewise.
        * omp-low.c (lower_omp_sections): Likewise.
        (lower_omp_single): Likewise.
        (lower_omp_master): Likewise.
        (lower_omp_taskgroup): Likewise.
        (lower_omp_ordered): Likewise.
        (lower_omp_critical): Likewise.
        (lower_omp_taskreg): Likewise.
        (lower_omp_teams): Likewise.
        * omp-low.c (lower_omp_for): Likewise; use
        gimple_seq_first_stmt_as_a_bind to encapsulate the checked cast.
        (lower_omp_target): Likewise.
        * tree-nested.c (finalize_nesting_tree_1): Likewise.

        * gimple.c (empty_stmt_p): Add dyn_cast to a gimple_bind.
        * tree-inline.c (replace_locals_stmt): Add dyn_cast to gimple_bind.

2014-10-24  David Malcolm  <dmalcolm@redhat.com>

        Introduce gimple_switch and use it in various places

        * gimple.h (gimple_statement_switch): New subclass of
        gimple_statement_with_ops, adding the invariant that
        stmt->code == GIMPLE_SWITCH.
        (is_a_helper <gimple_statement_switch>::test (gimple)): New.

        * coretypes.h (gimple_switch): New typedef
        (const_gimple_switch): Likewise.

        * gdbhooks.py (build_pretty_printer): Add gimple_switch
        and its variants, using the gimple printer.

        * gimple.c (gimple_build_switch_nlabels): Return a gimple_switch
        rather than just a gimple.
        (gimple_build_switch): Likewise.
        * gimple.h (gimple_build_switch_nlabels): Likewise.
        (gimple_build_switch): Likewise.

        * gimple.h (gimple_switch_num_labels): Update type-signature to
        require a gimple_switch rather than just a gimple.
        (gimple_switch_set_num_labels): Likewise.
        (gimple_switch_set_index): Likewise.
        (gimple_switch_label): Likewise.
        (gimple_switch_set_label): Likewise.
        (gimple_switch_default_label): Likewise.
        (gimple_switch_set_default_label): Likewise.
        * expr.h (expand_case): Likewise.
        * gimple-pretty-print.c (dump_gimple_call): Likewise.
        * stmt.c (compute_cases_per_edge): Likewise.
        (expand_case): Likewise.
        * tree-cfg.h (group_case_labels_stmt): Likewise.
        * tree-cfg.c (make_gimple_switch_edges): Likewise.
        (find_taken_edge_switch_expr) Likewise.
        (find_case_label_for_value) Likewise.
        (get_cases_for_edge): Likewise.
        (group_case_labels_stmt): Likewise.
        (verify_gimple_switch): Likewise.
        * tree-eh.c (verify_norecord_switch_expr): Likewise.
        * tree-eh.c (lower_eh_constructs_2): Likewise.
        * tree-loop-distribution.c (generate_loops_for_partition): Likewise.
        * tree-ssa-dom.c (record_edge_info): Likewise.
        * tree-ssa-forwprop.c (simplify_gimple_switch_label_vec): Likewise.
        (simplify_gimple_switch): Likewise.
        * tree-switch-conversion.c (emit_case_bit_tests): Likewise.
        (collect_switch_conv_info): Likewise.
        (build_constructors): Likewise.
        (array_value_type): Likewise.
        (build_one_array): Likewise.
        (build_arrays): Likewise.
        (gen_inbound_check): Likewise.
        * tree-vrp.c (find_switch_asserts): Likewise.
        (find_case_label_range): Likewise.
        (find_case_label_ranges): Likewise.
        (vrp_visit_switch_stmt): Likewise.
        (simplify_switch_using_ranges): Likewise.

        * tree-vrp.c (switch_update): Strengthen field "stmt" from being
        merely a gimple to being a gimple_switch.

        * cfgexpand.c (expand_gimple_stmt_1): Add checked cast to
        gimple_switch in regions where the stmt code has been tested as
        GIMPLE_SWITCH.
        * gimple-pretty-print.c (pp_gimple_stmt_1): Likewise.
        * tree-cfg.c (make_edges): Likewise.
        (end_recording_case_labels): Likewise.
        (cleanup_dead_labels): Likewise.
        (cleanup_dead_labels): Likewise.
        (group_case_labels): Likewise.
        (find_taken_edge): Likewise.
        (find_case_label_for_value): Likewise.
        (verify_gimple_stmt): Likewise.
        (gimple_verify_flow_info): Likewise.
        (gimple_redirect_edge_and_branch): Likewise.
        * tree-inline.c (estimate_num_insns): Likewise.
        * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Likewise.
        * tree-ssa-uncprop.c (associate_equivalences_with_edges): Likewise.
        * tree-switch-conversion.c (do_switchconv): Likewise.
        * tree-vrp.c  (find_assert_locations_1): Likewise.
        (vrp_visit_stmt): Likewise.
        (simplify_stmt_using_ranges): Likewise.

        * ipa-inline-analysis.c (set_switch_stmt_execution_predicate):
        Introduce local "lastg" as a generic gimple, so that local "last"
        can be of type gimple_switch once lastg's code has been verified.

        * omp-low.c (diagnose_sb_2): Introduce switch_stmt local to handle
        the GIMPLE_SWITCH case.

        * tree-cfg.c (find_taken_edge_switch_expr): Add gimple_switch
        argument, since the caller (find_taken_edge) has checked that
        last_stmt is a switch.

Copyright (C) 2014 Free Software Foundation, Inc.

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.