diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:33:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:33:46 +0200 |
| commit | 520c0201ebc60741a955d451bb6e9cc57c268014 (patch) | |
| tree | 783e6520a642cfa7cdf10a2ad41167a9372dc11b /gcc/ada/debug.adb | |
| parent | 274c2cda3e077975c406ae5549813652c4f76289 (diff) | |
| download | gcc-520c0201ebc60741a955d451bb6e9cc57c268014.zip gcc-520c0201ebc60741a955d451bb6e9cc57c268014.tar.gz gcc-520c0201ebc60741a955d451bb6e9cc57c268014.tar.bz2 | |
[multiple changes]
2016-04-18 Arnaud Charlet <charlet@adacore.com>
* osint-c.ads, osint-c.adb (Delete_C_File, Delete_H_File): New.
* gnat1drv.adb (Gnat1drv): Delete old C files before regenerating them.
* debug.adb: Reserve -gnatd.4 to force generation of C files.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_eval.adb (Eval_Arithmetic_Op): Do not issue error on static
division by zero, instead possibly issue a warning.
* sem_res.adb (Resolve_Arithmetic_Op): Do not issue error on
static division by zero, instead add check flag on original
expression.
* sem_util.adb, sem_util.ads (Compile_Time_Constraint_Error):
Only issue error when both SPARK_Mode is On and Warn is False.
2016-04-18 Yannick Moy <moy@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Force
warning instead of error when SPARK_Mode is On, on index out of
bounds, and set check flag for GNATprove.
From-SVN: r235138
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index b38b82b..52de7a1 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -158,7 +158,7 @@ package body Debug is -- d.1 Enable unnesting of nested procedures -- d.2 Allow statements in declarative part -- d.3 Output debugging information from Exp_Unst - -- d.4 + -- d.4 Do not delete generated C file in case of errors -- d.5 Do not generate imported subprogram definitions in C code -- d.6 -- d.7 @@ -762,6 +762,9 @@ package body Debug is -- d.3 Output debugging information from Exp_Unst, including the name of -- any unreachable subprograms that get deleted. + -- d.4 By default in case of an error during C generation, the .c or .h + -- file is delete. This flag keeps the C file. + -- d.5 By default a subprogram imported generates a subprogram profile. -- This debug flag disables this generation when generating C code, -- assuming a proper #include will be used instead. |