diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-03 09:26:00 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-03 09:26:00 +0000 |
| commit | ada9e0827a135b796605b7175630e94c07d69ddc (patch) | |
| tree | 44d0794384ea7cc0d8bf1820e3f80fa5cb9211e7 /gcc/ada/s-interr.ads | |
| parent | 550b60cd430a0869547576ee62b7774c9c7e213e (diff) | |
| download | gcc-ada9e0827a135b796605b7175630e94c07d69ddc.tar.gz | |
2011-08-03 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb: guard against error nodes in return statements.
2011-08-03 Arnaud Charlet <charlet@adacore.com>
* errout.adb (Error_Msg_Internal): the main unit has not been read yet,
a warning can only appear on a configuration file, so emit warning
without further checks.
2011-08-03 Arnaud Charlet <charlet@adacore.com>
* s-interr.ads: add overriding keyword.
2011-08-03 Geert Bosch <bosch@adacore.com>
* exp_attr.adb: Fix minor typo.
2011-08-03 Ed Schonberg <schonberg@adacore.com>
* par-ch4.adb: improve error recovery.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177245 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-interr.ads')
| -rw-r--r-- | gcc/ada/s-interr.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/s-interr.ads b/gcc/ada/s-interr.ads index 3b66f067e53..1d936f5a5f0 100644 --- a/gcc/ada/s-interr.ads +++ b/gcc/ada/s-interr.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- -- -- GNARL 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- -- @@ -256,6 +256,7 @@ package System.Interrupts is (Object : access Static_Interrupt_Protection) return Boolean; -- Returns True + overriding procedure Finalize (Object : in out Static_Interrupt_Protection); -- Restore previous handlers as required by C.3.1(12) then call -- Finalize (Protection). |