diff options
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/misc.c | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c2e60dd8591..d9be5f8e1cb 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2012-06-15 Eric Botcazou <ebotcazou@adacore.com> + + PR middle-end/53590 + * gcc-interface/misc.c (gnat_init_options_struct): Set + opts->x_flag_delete_dead_exceptions to 1. + 2012-06-14 Jose Ruiz <ruiz@adacore.com> * gcc-interface/Make-lang.in (ada.install-common, ada.uninstall): diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index 6d77dc804af..baa44c95be7 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -167,6 +167,9 @@ gnat_init_options_struct (struct gcc_options *opts) { /* Uninitialized really means uninitialized in Ada. */ opts->x_flag_zero_initialized_in_bss = 0; + + /* We can delete dead instructions that may throw exceptions in Ada. */ + opts->x_flag_delete_dead_exceptions = 1; } /* Initialize for option processing. */ |
