diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 11:16:06 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 11:16:06 +0000 |
| commit | 4e72eb91bdd6fd8ab05ef5c72478aae7689a5868 (patch) | |
| tree | dd9a3402195659649bf7a8c1a1d706f360c10504 /gcc/ada/vms_data.ads | |
| parent | 0df9d43fd26ed0f083bd65e59a097d75dd067a44 (diff) | |
| download | gcc-4e72eb91bdd6fd8ab05ef5c72478aae7689a5868.tar.gz | |
2012-11-06 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor comment change.
2012-11-06 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Extensive revision of documentation of overflow
checking.
* vms_data.ads: Overflow check numbers must be in range 1-3,
not 0-3.
2012-11-06 Tristan Gingold <gingold@adacore.com>
* sem_ch9.adb (Analyze_Protected_Type_Declaration): Emit a
warning if pragma Priority is used in presence of an interrupt
handler.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193234 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/vms_data.ads')
| -rw-r--r-- | gcc/ada/vms_data.ads | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 8c1c1eb73ec..e4b04b78351 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -2117,12 +2117,11 @@ package VMS_Data is -- range 0-3, it sets the overflow checking mode for all expressions, -- including those outside and within assertions. The meaning of nnn is: -- - -- 0 suppress overflow checks (SUPPRESSED) - -- 1 all intermediate overflows checked (CHECKED) + -- 1 all intermediate computations done using base type (STRICT) -- 2 minimize intermediate overflows (MINIMIZED) -- 3 eliminate intermediate overflows (ELIMINATED) -- - -- Otherwise nn can be two digits, both 0-3, and in this case the first + -- Otherwise nn can be two digits, both 1-3, and in this case the first -- digit sets the mode (using the above code) for expressions outside an -- assertion, and the second digit sets the mode for expressions within -- an assertion. |