Introduce gimple_eh_must_not_throw
commitf9d52516c192ce8530432a3c46af00f3c3c5e0e9
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 16 Dec 2013 17:37:56 +0000 (16 12:37 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 24 Oct 2014 21:24:09 +0000 (24 17:24 -0400)
treeb8bd21ef7d6cc34562896f023897e9363d206d30
parent564c98933b306f404b28d0672f7a32ad9c17a64d
Introduce gimple_eh_must_not_throw

This corresponds to:
  [PATCH 27/89] Introduce gimple_eh_must_not_throw
  https://gcc.gnu.org/ml/gcc-patches/2014-04/msg01218.html
from the original 89-patch kit

That earlier patch was approved by Jeff:
> OK after fixing up the naming/const stuff as discussed for prior
> patches.
> That applies to 22-30. Make sure to take care of
> the pretty printers per Trevor's comments as well. He indicated those
> were missing in a couple of those patches.
in https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00628.html

gcc/
* 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.
gcc/ChangeLog.gimple-classes
gcc/coretypes.h
gcc/gimple-pretty-print.c
gcc/gimple-streamer-in.c
gcc/gimple-streamer-out.c
gcc/gimple.c
gcc/gimple.h
gcc/tree-eh.c