diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-10-31 19:05:19 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-10-31 19:05:19 +0100 |
| commit | de397a3d0a7388314eab3f1ddfb0062d0375bb08 (patch) | |
| tree | 7e8babcc62128fb11dce00aba20ff8ee49859956 /gcc/ada/raise.h | |
| parent | d3879a5ac87281a37f1dacb36c4ce3bfa6c329e2 (diff) | |
| download | gcc-de397a3d0a7388314eab3f1ddfb0062d0375bb08.zip gcc-de397a3d0a7388314eab3f1ddfb0062d0375bb08.tar.gz gcc-de397a3d0a7388314eab3f1ddfb0062d0375bb08.tar.bz2 | |
restrict.ads, [...] (Restriction_Active): Now returns False if only a restriction warning is active for the given restriction.
2006-10-31 Arnaud Charlet <charlet@adacore.com>
Robert Dewar <dewar@adacore.com>
* restrict.ads, restrict.adb (Restriction_Active): Now returns False if
only a restriction warning is active for the given restriction. This is
desirable because we do not want to modify code in the case where only
a warning is set.
(Set_Profile_Restrictions): Make sure that a Profile_Warnings never
causes overriding of real restrictions.
Take advantage of new No_Restrictions constant.
* raise.h: (__gnat_set_globals): Change profile.
From-SVN: r118295
Diffstat (limited to 'gcc/ada/raise.h')
| -rw-r--r-- | gcc/ada/raise.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/ada/raise.h b/gcc/ada/raise.h index 5e4d0cb..b62f230 100644 --- a/gcc/ada/raise.h +++ b/gcc/ada/raise.h @@ -6,7 +6,7 @@ * * * C Header File * * * - * Copyright (C) 1992-2005, Free Software Foundation, Inc. * + * Copyright (C) 1992-2006, Free Software Foundation, Inc. * * * * GNAT is free software; you can redistribute it and/or modify it under * * terms of the GNU General Public License as published by the Free Soft- * @@ -64,10 +64,7 @@ extern void __gnat_free (void *); extern void *__gnat_realloc (void *, __SIZE_TYPE__); extern void __gnat_finalize (void); extern void set_gnat_exit_status (int); -extern void __gnat_set_globals (int, int, - char, char, char, char, - char *, char *, - int, int, int, int, int, int); +extern void __gnat_set_globals (void); extern void __gnat_initialize (void *); extern void __gnat_init_float (void); extern void __gnat_install_handler (void); |