diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-27 11:40:47 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-27 11:40:47 +0000 |
| commit | 30488079803960e7223452764909197c2ade1f2e (patch) | |
| tree | 74abf33f8a567ef3beb533cef570ea297796fc14 /gcc | |
| parent | 86c345bdc7153c811d0df747e63d550d75ff8569 (diff) | |
| download | gcc-30488079803960e7223452764909197c2ade1f2e.tar.gz | |
* gcc-interface/misc.c (gnat_init_options_struct): Parameterize errno
support here instead of...
Do not set flag_delete_dead_exceptions to 1 unconditionally.
(gnat_init_gcc_eh): Set flag_delete_dead_exceptions to 1.
(gnat_init_gcc_fp): ...here.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216731 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/misc.c | 33 |
2 files changed, 25 insertions, 16 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 574ed3b1340..64fa248c58a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,13 @@ 2014-10-27 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/misc.c (gnat_init_options_struct): Parameterize errno + support here instead of... + Do not set flag_delete_dead_exceptions to 1 unconditionally. + (gnat_init_gcc_eh): Set flag_delete_dead_exceptions to 1. + (gnat_init_gcc_fp): ...here. + +2014-10-27 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/trans.c (gnat_to_gnu) <N_Real_Literal>: Minor tweaks. 2014-10-27 Eric Botcazou <ebotcazou@adacore.com> diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index 68da231e106..95b5b27281c 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -180,8 +180,10 @@ 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; + /* We don't care about errno in Ada and it causes __builtin_sqrt to + call the libm function rather than do it inline. */ + opts->x_flag_errno_math = 0; + opts->frontend_set_flag_errno_math = true; } /* Initialize for option processing. */ @@ -385,17 +387,21 @@ gnat_init_gcc_eh (void) right exception regions. */ using_eh_for_cleanups (); - /* Turn on -fexceptions and -fnon-call-exceptions. The first one triggers - the generation of the necessary exception tables. The second one is - useful for two reasons: 1/ we map some asynchronous signals like SEGV to - exceptions, so we need to ensure that the insns which can lead to such - signals are correctly attached to the exception region they pertain to, - 2/ Some calls to pure subprograms are handled as libcall blocks and then - marked as "cannot trap" if the flag is not set (see emit_libcall_block). - We should not let this be since it is possible for such calls to actually - raise in Ada. */ + /* Turn on -fexceptions, -fnon-call-exceptions and -fdelete-dead-exceptions. + The first one triggers the generation of the necessary exception tables. + The second one is useful for two reasons: 1/ we map some asynchronous + signals like SEGV to exceptions, so we need to ensure that the insns + which can lead to such signals are correctly attached to the exception + region they pertain to, 2/ some calls to pure subprograms are handled as + libcall blocks and then marked as "cannot trap" if the flag is not set + (see emit_libcall_block). We should not let this be since it is possible + for such calls to actually raise in Ada. + The third one is an optimization that makes it possible to delete dead + instructions that may throw exceptions, most notably loads and stores, + as permitted in Ada. */ flag_exceptions = 1; flag_non_call_exceptions = 1; + flag_delete_dead_exceptions = 1; init_eh (); } @@ -418,11 +424,6 @@ gnat_init_gcc_fp (void) flag_trapping_math = 1; else if (!global_options_set.x_flag_trapping_math) flag_trapping_math = 0; - - /* We don't care in Ada about errno, and it causes __builtin_sqrt to - to call the libm function rather than do it inline. */ - if (!global_options_set.x_flag_errno_math) - flag_errno_math = 0; } /* Print language-specific items in declaration NODE. */ |