From 1a1b0b9b6fe17b5c74e507284ee07f066dd02ad1 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 5 Sep 2005 07:51:25 +0000 Subject: [PATCH] * s-stoele.ads, s-stopoo.ads, s-stratt.ads, s-strops.ads, s-unstyp.ads, s-valboo.ads, s-valcha.ads, s-valdec.ads, s-valenu.ads, s-valint.ads, s-vallld.ads, s-vallli.ads, s-valllu.ads, s-valrea.ads, s-valuns.ads, s-valuti.ads, s-valwch.ads, s-veboop.ads, s-vector.ads, s-vercon.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-wchstw.ads, s-wchwts.ads, s-widboo.ads, s-widcha.ads, s-widenu.ads, s-widlli.ads, s-widllu.ads, s-widwch.ads, s-wwdcha.ads, s-wwdenu.ads, s-wwdwch.ads, system.ads, table.ads, types.ads, system-vms_64.ads, s-crtl-vms64.ads, s-addope.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, s-vxwork-x86.ads, system-linux-ppc.ads, i-vxwork-x86.ads, a-numaux-darwin.ads, a-crbtgo.ads, a-crbtgk.ads, a-crbltr.ads, a-coprnu.ads, a-convec.ads, a-contai.ads, a-coinve.ads, a-cohata.ads, a-cohama.ads, a-cihama.ads, a-cidlli.ads, a-cdlili.ads, a-numaux-libc-x86.ads, a-numaux-vxworks.ads, system-linux-ia64.ads, system-freebsd-x86.ads, system-unixware.ads, system-lynxos-ppc.ads, system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads, s-vxwork-alpha.ads, system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads, system-irix-o32.ads, system-irix-n32.ads, s-parame-hpux.ads, system-hpux.ads, system-vxworks-m68k.ads, s-vxwork-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads, s-vxwork-mips.ads, system-os2.ads, system-interix.ads, s-vxwork-ppc.ads, system-solaris-sparc.ads, s-vxwork-sparcv9.ads, system-solaris-sparcv9.ads, s-parame-vms.ads, system-vms.ads, s-osinte-mingw.ads, system-mingw.ads, s-parame-vms-restrict.ads, system-vms-zcx.ads, s-parame-ae653.ads, system-vxworks-ppc.ads, s-parame-vxworks.ads, system-vxworks-alpha.ads, interfac-vms.ads, a-numaux-x86.ads, a-astaco.ads, a-chahan.ads, a-charac.ads, a-chlat1.ads, a-chlat9.ads, a-colire.adb, a-colire.ads, a-comlin.ads, a-cwila1.ads, a-cwila9.ads, ada.ads, a-decima.ads, a-exextr.adb, a-filico.ads, a-finali.ads, a-interr.ads, a-ioexce.ads, a-dynpri.ads, a-ngcefu.ads, a-ngcefu.adb, a-ngcoty.adb, a-ngcoty.ads, a-ngelfu.ads, a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-numaux.ads, a-numeri.ads, a-reatim.adb, a-stmaco.ads, a-storio.ads, a-strbou.ads, a-stream.ads, a-strfix.ads, a-string.ads, a-strmap.ads, a-strsea.ads, a-strsup.ads, a-strunb.ads, a-stunau.ads, a-stwibo.ads, a-stwifi.ads, a-stwima.ads, a-stwise.ads, a-stwisu.ads, a-stwiun.ads, a-swmwco.ads, a-textio.ads, csets.ads, debug.ads, dec.ads, g-curexc.ads, get_targ.ads, g-except.ads, system-linux-hppa.ads, a-chacon.ads, a-widcha.ads, a-zchara.ads, system-hpux-ia64.ads, a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-rbtgso.ads, a-chzla1.ads, a-chzla9.ads, a-stzbou.ads, a-stzfix.ads, a-stzmap.ads, a-stzsea.ads, a-stzsup.ads, a-stzunb.ads, a-swunau.ads, a-szunau.ads, gnat.ads, g-regpat.ads, g-speche.ads, g-spitbo.ads, g-table.ads, g-tasloc.ads, g-trasym.ads, i-c.ads, i-cpoint.ads, i-cpp.ads, i-cstrin.ads, i-fortra.ads, interfac.ads, i-os2err.ads, i-os2lib.ads, i-os2syn.ads, i-os2thr.ads, i-vxwork.ads, output.ads, s-arit64.ads, s-atacco.ads, s-boarop.ads, s-casuti.ads, s-crtl.ads, s-exctab.ads, s-exnint.ads, s-exnllf.ads, s-exnlli.ads, s-expint.ads, s-explli.ads, s-expllu.ads, s-expmod.ads, s-expuns.ads, s-fatflt.ads, s-fatgen.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads, s-finimp.ads, s-finroo.ads, s-fore.ads, s-geveop.ads, s-htable.ads, s-imgbiu.ads, s-imgboo.ads, s-imgcha.ads, s-imgdec.ads, s-imgenu.ads, s-imgint.ads, s-imgllb.ads, s-imglld.ads, s-imglli.ads, s-imgllu.ads, s-imgllw.ads, s-imgrea.ads, s-imguns.ads, s-imgwch.ads, s-imgwiu.ads, s-io.ads, s-maccod.ads, s-mantis.ads, s-memcop.ads, s-pack03.ads, s-pack05.ads, s-pack06.ads, s-pack07.ads, s-pack09.ads, s-pack10.ads, s-pack11.ads, s-pack12.ads, s-pack13.ads, s-pack14.ads, s-pack15.ads, s-pack17.ads, s-pack18.ads, s-pack19.ads, s-pack20.ads, s-pack21.ads, s-pack22.ads, s-pack23.ads, s-pack24.ads, s-pack25.ads, s-pack26.ads, s-pack27.ads, s-pack28.ads, s-pack29.ads, s-pack30.ads, s-pack31.ads, s-pack33.ads, s-pack34.ads, s-pack35.ads, s-pack36.ads, s-pack37.ads, s-pack38.ads, s-pack39.ads, s-pack40.ads, s-pack41.ads, s-pack42.ads, s-pack43.ads, s-pack44.ads, s-pack45.ads, s-pack46.ads, s-pack47.ads, s-pack48.ads, s-pack49.ads, s-pack50.ads, s-pack51.ads, s-pack52.ads, s-pack53.ads, s-pack54.ads, s-pack55.ads, s-pack56.ads, s-pack57.ads, s-pack58.ads, s-pack59.ads, s-pack60.ads, s-pack61.ads, s-pack62.ads, s-pack63.ads, s-parame.ads, s-pooglo.ads, s-pooloc.ads, s-poosiz.ads, s-powtab.ads, s-purexc.ads, s-sopco3.ads, s-sopco4.ads, s-sopco5.ads: Minor reformatting: reindent pragma Pure/Preelaborate and always use the no parameter form for consistency. * gnat-style.texi: Document rules about Preelaborate/Pure pragmas. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103855 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/a-astaco.ads | 4 +-- gcc/ada/a-cdlili.ads | 2 +- gcc/ada/a-chacon.ads | 2 +- gcc/ada/a-chahan.ads | 6 ++-- gcc/ada/a-charac.ads | 2 +- gcc/ada/a-chlat1.ads | 2 +- gcc/ada/a-chlat9.ads | 4 +-- gcc/ada/a-chzla1.ads | 2 +- gcc/ada/a-chzla9.ads | 2 +- gcc/ada/a-cidlli.ads | 3 +- gcc/ada/a-cihama.ads | 2 +- gcc/ada/a-ciorma.ads | 3 +- gcc/ada/a-ciormu.ads | 2 +- gcc/ada/a-cohama.ads | 2 +- gcc/ada/a-cohata.ads | 2 +- gcc/ada/a-coinve.ads | 2 +- gcc/ada/a-colire.adb | 2 +- gcc/ada/a-colire.ads | 2 +- gcc/ada/a-comlin.ads | 4 +-- gcc/ada/a-contai.ads | 2 +- gcc/ada/a-convec.ads | 2 +- gcc/ada/a-coorma.ads | 2 +- gcc/ada/a-coormu.ads | 2 +- gcc/ada/a-coprnu.ads | 2 +- gcc/ada/a-crbltr.ads | 2 +- gcc/ada/a-crbtgk.ads | 2 +- gcc/ada/a-crbtgo.ads | 2 +- gcc/ada/a-cwila1.ads | 2 +- gcc/ada/a-cwila9.ads | 2 +- gcc/ada/a-decima.ads | 4 +-- gcc/ada/a-dynpri.ads | 4 +-- gcc/ada/a-exextr.adb | 2 +- gcc/ada/a-filico.ads | 5 +-- gcc/ada/a-finali.ads | 4 +-- gcc/ada/a-interr.ads | 2 +- gcc/ada/a-ioexce.ads | 2 +- gcc/ada/a-ngcefu.adb | 6 ++-- gcc/ada/a-ngcefu.ads | 2 +- gcc/ada/a-ngcoty.adb | 4 +-- gcc/ada/a-ngcoty.ads | 5 ++- gcc/ada/a-ngelfu.ads | 2 +- gcc/ada/a-nudira.adb | 2 +- gcc/ada/a-nudira.ads | 29 ++++++++--------- gcc/ada/a-nuflra.adb | 4 +-- gcc/ada/a-numaux-darwin.ads | 2 +- gcc/ada/a-numaux-libc-x86.ads | 2 +- gcc/ada/a-numaux-vxworks.ads | 2 +- gcc/ada/a-numaux-x86.ads | 2 +- gcc/ada/a-numaux.ads | 2 +- gcc/ada/a-numeri.ads | 2 +- gcc/ada/a-rbtgso.ads | 2 +- gcc/ada/a-reatim.adb | 2 +- gcc/ada/a-stmaco.ads | 6 ++-- gcc/ada/a-storio.ads | 2 +- gcc/ada/a-strbou.ads | 2 +- gcc/ada/a-stream.ads | 2 +- gcc/ada/a-strfix.ads | 2 +- gcc/ada/a-string.ads | 2 +- gcc/ada/a-strmap.ads | 6 ++-- gcc/ada/a-strsea.ads | 2 +- gcc/ada/a-strsup.ads | 2 +- gcc/ada/a-strunb.ads | 2 +- gcc/ada/a-stunau.ads | 2 +- gcc/ada/a-stwibo.ads | 2 +- gcc/ada/a-stwifi.ads | 2 +- gcc/ada/a-stwima.ads | 2 +- gcc/ada/a-stwise.ads | 2 +- gcc/ada/a-stwisu.ads | 2 +- gcc/ada/a-stwiun.ads | 3 +- gcc/ada/a-stzbou.ads | 2 +- gcc/ada/a-stzfix.ads | 2 +- gcc/ada/a-stzmap.ads | 2 +- gcc/ada/a-stzsea.ads | 2 +- gcc/ada/a-stzsup.ads | 2 +- gcc/ada/a-stzunb.ads | 3 +- gcc/ada/a-swmwco.ads | 2 +- gcc/ada/a-swunau.ads | 2 +- gcc/ada/a-szunau.ads | 2 +- gcc/ada/a-textio.ads | 2 +- gcc/ada/a-widcha.ads | 2 +- gcc/ada/a-zchara.ads | 2 +- gcc/ada/ada.ads | 2 +- gcc/ada/csets.ads | 4 +-- gcc/ada/debug.ads | 8 ++--- gcc/ada/dec.ads | 2 +- gcc/ada/g-curexc.ads | 4 +-- gcc/ada/g-except.ads | 4 +-- gcc/ada/g-regpat.ads | 36 ++++++++++----------- gcc/ada/g-speche.ads | 2 +- gcc/ada/g-spitbo.ads | 6 ++-- gcc/ada/g-table.ads | 4 +-- gcc/ada/g-tasloc.ads | 4 +-- gcc/ada/g-trasym.ads | 2 +- gcc/ada/get_targ.ads | 4 +-- gcc/ada/gnat-style.texi | 18 +++++++++-- gcc/ada/gnat.ads | 2 +- gcc/ada/i-c.ads | 2 +- gcc/ada/i-cpoint.ads | 4 +-- gcc/ada/i-cpp.ads | 5 +-- gcc/ada/i-cstrin.ads | 4 +-- gcc/ada/i-fortra.ads | 2 +- gcc/ada/i-os2err.ads | 4 +-- gcc/ada/i-os2lib.ads | 6 ++-- gcc/ada/i-os2syn.ads | 4 +-- gcc/ada/i-os2thr.ads | 2 +- gcc/ada/i-vxwork-x86.ads | 2 +- gcc/ada/i-vxwork.ads | 2 +- gcc/ada/interfac-vms.ads | 65 ++++++++++++++------------------------ gcc/ada/interfac.ads | 11 ++++--- gcc/ada/output.ads | 4 +-- gcc/ada/s-addope.ads | 4 +-- gcc/ada/s-arit64.ads | 4 +-- gcc/ada/s-atacco.ads | 13 ++++---- gcc/ada/s-boarop.ads | 4 ++- gcc/ada/s-casuti.ads | 2 +- gcc/ada/s-crtl-vms64.ads | 5 +-- gcc/ada/s-crtl.ads | 3 +- gcc/ada/s-exctab.ads | 4 +-- gcc/ada/s-exnint.ads | 2 +- gcc/ada/s-exnllf.ads | 2 +- gcc/ada/s-exnlli.ads | 2 +- gcc/ada/s-expint.ads | 2 +- gcc/ada/s-explli.ads | 2 +- gcc/ada/s-expllu.ads | 2 +- gcc/ada/s-expmod.ads | 2 +- gcc/ada/s-expuns.ads | 2 +- gcc/ada/s-fatflt.ads | 4 +-- gcc/ada/s-fatgen.ads | 4 +-- gcc/ada/s-fatlfl.ads | 4 +-- gcc/ada/s-fatllf.ads | 4 +-- gcc/ada/s-fatsfl.ads | 4 +-- gcc/ada/s-finimp.ads | 4 +-- gcc/ada/s-finroo.ads | 4 +-- gcc/ada/s-fore.ads | 2 +- gcc/ada/s-geveop.ads | 4 ++- gcc/ada/s-htable.ads | 2 +- gcc/ada/s-imgbiu.ads | 2 +- gcc/ada/s-imgboo.ads | 2 +- gcc/ada/s-imgcha.ads | 2 +- gcc/ada/s-imgdec.ads | 2 +- gcc/ada/s-imgenu.ads | 2 +- gcc/ada/s-imgint.ads | 2 +- gcc/ada/s-imgllb.ads | 2 +- gcc/ada/s-imglld.ads | 2 +- gcc/ada/s-imglli.ads | 2 +- gcc/ada/s-imgllu.ads | 2 +- gcc/ada/s-imgllw.ads | 2 +- gcc/ada/s-imgrea.ads | 2 +- gcc/ada/s-imguns.ads | 2 +- gcc/ada/s-imgwch.ads | 2 +- gcc/ada/s-imgwiu.ads | 2 +- gcc/ada/s-io.ads | 4 +-- gcc/ada/s-maccod.ads | 4 +-- gcc/ada/s-mantis.ads | 2 +- gcc/ada/s-memcop.ads | 4 +-- gcc/ada/s-osinte-mingw.ads | 2 +- gcc/ada/s-pack03.ads | 2 +- gcc/ada/s-pack05.ads | 2 +- gcc/ada/s-pack06.ads | 2 +- gcc/ada/s-pack07.ads | 2 +- gcc/ada/s-pack09.ads | 2 +- gcc/ada/s-pack10.ads | 2 +- gcc/ada/s-pack11.ads | 2 +- gcc/ada/s-pack12.ads | 2 +- gcc/ada/s-pack13.ads | 2 +- gcc/ada/s-pack14.ads | 2 +- gcc/ada/s-pack15.ads | 2 +- gcc/ada/s-pack17.ads | 2 +- gcc/ada/s-pack18.ads | 2 +- gcc/ada/s-pack19.ads | 2 +- gcc/ada/s-pack20.ads | 2 +- gcc/ada/s-pack21.ads | 2 +- gcc/ada/s-pack22.ads | 2 +- gcc/ada/s-pack23.ads | 2 +- gcc/ada/s-pack24.ads | 2 +- gcc/ada/s-pack25.ads | 2 +- gcc/ada/s-pack26.ads | 2 +- gcc/ada/s-pack27.ads | 2 +- gcc/ada/s-pack28.ads | 2 +- gcc/ada/s-pack29.ads | 2 +- gcc/ada/s-pack30.ads | 2 +- gcc/ada/s-pack31.ads | 2 +- gcc/ada/s-pack33.ads | 2 +- gcc/ada/s-pack34.ads | 2 +- gcc/ada/s-pack35.ads | 2 +- gcc/ada/s-pack36.ads | 2 +- gcc/ada/s-pack37.ads | 2 +- gcc/ada/s-pack38.ads | 2 +- gcc/ada/s-pack39.ads | 2 +- gcc/ada/s-pack40.ads | 2 +- gcc/ada/s-pack41.ads | 2 +- gcc/ada/s-pack42.ads | 2 +- gcc/ada/s-pack43.ads | 2 +- gcc/ada/s-pack44.ads | 2 +- gcc/ada/s-pack45.ads | 2 +- gcc/ada/s-pack46.ads | 2 +- gcc/ada/s-pack47.ads | 2 +- gcc/ada/s-pack48.ads | 2 +- gcc/ada/s-pack49.ads | 2 +- gcc/ada/s-pack50.ads | 2 +- gcc/ada/s-pack51.ads | 2 +- gcc/ada/s-pack52.ads | 2 +- gcc/ada/s-pack53.ads | 2 +- gcc/ada/s-pack54.ads | 2 +- gcc/ada/s-pack55.ads | 2 +- gcc/ada/s-pack56.ads | 2 +- gcc/ada/s-pack57.ads | 2 +- gcc/ada/s-pack58.ads | 2 +- gcc/ada/s-pack59.ads | 2 +- gcc/ada/s-pack60.ads | 2 +- gcc/ada/s-pack61.ads | 2 +- gcc/ada/s-pack62.ads | 2 +- gcc/ada/s-pack63.ads | 2 +- gcc/ada/s-parame-ae653.ads | 2 +- gcc/ada/s-parame-hpux.ads | 2 +- gcc/ada/s-parame-vms-restrict.ads | 2 +- gcc/ada/s-parame-vms.ads | 2 +- gcc/ada/s-parame-vxworks.ads | 2 +- gcc/ada/s-parame.ads | 2 +- gcc/ada/s-pooglo.ads | 7 ++-- gcc/ada/s-pooloc.ads | 7 ++-- gcc/ada/s-poosiz.ads | 7 ++-- gcc/ada/s-powtab.ads | 4 +-- gcc/ada/s-purexc.ads | 4 +-- gcc/ada/s-sopco3.ads | 2 +- gcc/ada/s-sopco4.ads | 2 +- gcc/ada/s-sopco5.ads | 2 +- gcc/ada/s-stoele.ads | 20 ++++++------ gcc/ada/s-stopoo.ads | 4 +-- gcc/ada/s-stratt.ads | 2 +- gcc/ada/s-strops.ads | 2 +- gcc/ada/s-unstyp.ads | 2 +- gcc/ada/s-valboo.ads | 4 +-- gcc/ada/s-valcha.ads | 4 +-- gcc/ada/s-valdec.ads | 4 +-- gcc/ada/s-valenu.ads | 4 +-- gcc/ada/s-valint.ads | 2 +- gcc/ada/s-vallld.ads | 4 +-- gcc/ada/s-vallli.ads | 2 +- gcc/ada/s-valllu.ads | 2 +- gcc/ada/s-valrea.ads | 2 +- gcc/ada/s-valuns.ads | 4 +-- gcc/ada/s-valuti.ads | 4 +-- gcc/ada/s-valwch.ads | 2 +- gcc/ada/s-veboop.ads | 2 +- gcc/ada/s-vector.ads | 2 +- gcc/ada/s-vercon.ads | 3 +- gcc/ada/s-vxwork-alpha.ads | 2 +- gcc/ada/s-vxwork-m68k.ads | 2 +- gcc/ada/s-vxwork-mips.ads | 2 +- gcc/ada/s-vxwork-ppc.ads | 2 +- gcc/ada/s-vxwork-sparcv9.ads | 2 +- gcc/ada/s-vxwork-x86.ads | 2 +- gcc/ada/s-wchcnv.ads | 2 +- gcc/ada/s-wchcon.ads | 2 +- gcc/ada/s-wchjis.ads | 2 +- gcc/ada/s-wchstw.ads | 2 +- gcc/ada/s-wchwts.ads | 2 +- gcc/ada/s-widboo.ads | 2 +- gcc/ada/s-widcha.ads | 2 +- gcc/ada/s-widenu.ads | 2 +- gcc/ada/s-widlli.ads | 4 +-- gcc/ada/s-widllu.ads | 4 +-- gcc/ada/s-widwch.ads | 2 +- gcc/ada/s-wwdcha.ads | 2 +- gcc/ada/s-wwdenu.ads | 2 +- gcc/ada/s-wwdwch.ads | 2 +- gcc/ada/system-aix.ads | 8 ++--- gcc/ada/system-darwin-ppc.ads | 8 ++--- gcc/ada/system-freebsd-x86.ads | 8 ++--- gcc/ada/system-hpux-ia64.ads | 8 ++--- gcc/ada/system-hpux.ads | 8 ++--- gcc/ada/system-interix.ads | 8 ++--- gcc/ada/system-irix-n32.ads | 8 ++--- gcc/ada/system-irix-o32.ads | 8 ++--- gcc/ada/system-linux-hppa.ads | 8 ++--- gcc/ada/system-linux-ia64.ads | 8 ++--- gcc/ada/system-linux-ppc.ads | 8 ++--- gcc/ada/system-linux-x86.ads | 8 ++--- gcc/ada/system-linux-x86_64.ads | 8 ++--- gcc/ada/system-lynxos-ppc.ads | 8 ++--- gcc/ada/system-lynxos-x86.ads | 8 ++--- gcc/ada/system-mingw.ads | 8 ++--- gcc/ada/system-os2.ads | 8 ++--- gcc/ada/system-solaris-sparc.ads | 8 ++--- gcc/ada/system-solaris-sparcv9.ads | 8 ++--- gcc/ada/system-solaris-x86.ads | 8 ++--- gcc/ada/system-tru64.ads | 8 ++--- gcc/ada/system-unixware.ads | 8 ++--- gcc/ada/system-vms-zcx.ads | 8 ++--- gcc/ada/system-vms.ads | 8 ++--- gcc/ada/system-vms_64.ads | 8 ++--- gcc/ada/system-vxworks-alpha.ads | 8 ++--- gcc/ada/system-vxworks-m68k.ads | 8 ++--- gcc/ada/system-vxworks-mips.ads | 8 ++--- gcc/ada/system-vxworks-ppc.ads | 8 ++--- gcc/ada/system-vxworks-sparcv9.ads | 8 ++--- gcc/ada/system-vxworks-x86.ads | 8 ++--- gcc/ada/system.ads | 10 +++--- gcc/ada/table.ads | 4 +-- gcc/ada/types.ads | 12 +++---- 301 files changed, 568 insertions(+), 573 deletions(-) diff --git a/gcc/ada/a-astaco.ads b/gcc/ada/a-astaco.ads index 6066083..dad55e0 100644 --- a/gcc/ada/a-astaco.ads +++ b/gcc/ada/a-astaco.ads @@ -27,8 +27,8 @@ with Ada.Task_Identification; package Ada.Asynchronous_Task_Control is -pragma Preelaborate_05 (Asynchronous_Task_Control); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate_05; + -- In accordance with Ada 2005 AI-362 pragma Unimplemented_Unit; diff --git a/gcc/ada/a-cdlili.ads b/gcc/ada/a-cdlili.ads index 3e215a1..70c0f80 100644 --- a/gcc/ada/a-cdlili.ads +++ b/gcc/ada/a-cdlili.ads @@ -43,7 +43,7 @@ generic return Boolean is <>; package Ada.Containers.Doubly_Linked_Lists is - pragma Preelaborate (Doubly_Linked_Lists); + pragma Preelaborate; type List is tagged private; diff --git a/gcc/ada/a-chacon.ads b/gcc/ada/a-chacon.ads index 242a34e..7c36c81 100755 --- a/gcc/ada/a-chacon.ads +++ b/gcc/ada/a-chacon.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Characters.Conversions is -pragma Pure (Conversions); + pragma Pure; function Is_Character (Item : Wide_Character) return Boolean; function Is_String (Item : Wide_String) return Boolean; diff --git a/gcc/ada/a-chahan.ads b/gcc/ada/a-chahan.ads index 0002712..7bc2ded 100644 --- a/gcc/ada/a-chahan.ads +++ b/gcc/ada/a-chahan.ads @@ -36,9 +36,9 @@ ------------------------------------------------------------------------------ package Ada.Characters.Handling is -pragma Preelaborate (Handling); -pragma Pure_05 (Handling); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 ---------------------------------------- -- Character Classification Functions -- diff --git a/gcc/ada/a-charac.ads b/gcc/ada/a-charac.ads index 43b709b..8788958 100644 --- a/gcc/ada/a-charac.ads +++ b/gcc/ada/a-charac.ads @@ -14,6 +14,6 @@ ------------------------------------------------------------------------------ package Ada.Characters is -pragma Pure (Characters); + pragma Pure; end Ada.Characters; diff --git a/gcc/ada/a-chlat1.ads b/gcc/ada/a-chlat1.ads index a008b22..2d8a8bc 100644 --- a/gcc/ada/a-chlat1.ads +++ b/gcc/ada/a-chlat1.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Characters.Latin_1 is -pragma Pure (Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chlat9.ads b/gcc/ada/a-chlat9.ads index 827251f..30f351a 100644 --- a/gcc/ada/a-chlat9.ads +++ b/gcc/ada/a-chlat9.ads @@ -36,11 +36,11 @@ -- -- ------------------------------------------------------------------------------ --- This package provides definitions for Latin-9 (ISO-8859-9) analogous to +-- This package provides definitions for Latin-9 (ISO-8859-15) analogous to -- those defined in the standard package Ada.Characters.Latin_1 for Latin-1. package Ada.Characters.Latin_9 is -pragma Pure (Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chzla1.ads b/gcc/ada/a-chzla1.ads index 3163949..13496b6 100644 --- a/gcc/ada/a-chzla1.ads +++ b/gcc/ada/a-chzla1.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Wide_Latin_1 is -pragma Pure (Wide_Wide_Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chzla9.ads b/gcc/ada/a-chzla9.ads index 596246d..6745924 100644 --- a/gcc/ada/a-chzla9.ads +++ b/gcc/ada/a-chzla9.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Wide_Latin_9 is -pragma Pure (Wide_Wide_Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-cidlli.ads b/gcc/ada/a-cidlli.ads index 79e805a..eb8657f 100644 --- a/gcc/ada/a-cidlli.ads +++ b/gcc/ada/a-cidlli.ads @@ -38,14 +38,13 @@ with Ada.Finalization; with Ada.Streams; generic - type Element_Type (<>) is private; with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Doubly_Linked_Lists is - pragma Preelaborate (Indefinite_Doubly_Linked_Lists); + pragma Preelaborate; type List is tagged private; diff --git a/gcc/ada/a-cihama.ads b/gcc/ada/a-cihama.ads index 8156dbd..93bdd81 100644 --- a/gcc/ada/a-cihama.ads +++ b/gcc/ada/a-cihama.ads @@ -47,7 +47,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Hashed_Maps is - pragma Preelaborate (Indefinite_Hashed_Maps); + pragma Preelaborate; type Map is tagged private; type Cursor is private; diff --git a/gcc/ada/a-ciorma.ads b/gcc/ada/a-ciorma.ads index 8f617d1..4815ebd 100644 --- a/gcc/ada/a-ciorma.ads +++ b/gcc/ada/a-ciorma.ads @@ -39,7 +39,6 @@ with Ada.Finalization; with Ada.Streams; generic - type Key_Type (<>) is private; type Element_Type (<>) is private; @@ -49,7 +48,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Ordered_Maps is -pragma Preelaborate (Indefinite_Ordered_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-ciormu.ads b/gcc/ada/a-ciormu.ads index 5120d78..d2bf68d 100644 --- a/gcc/ada/a-ciormu.ads +++ b/gcc/ada/a-ciormu.ads @@ -45,7 +45,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Ordered_Multisets is -pragma Preelaborate (Indefinite_Ordered_Multisets); + pragma Preelaborate; type Set is tagged private; diff --git a/gcc/ada/a-cohama.ads b/gcc/ada/a-cohama.ads index 2ecb364..0c74943 100644 --- a/gcc/ada/a-cohama.ads +++ b/gcc/ada/a-cohama.ads @@ -49,7 +49,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Hashed_Maps is -pragma Preelaborate (Hashed_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-cohata.ads b/gcc/ada/a-cohata.ads index c39d000..d453da2 100644 --- a/gcc/ada/a-cohata.ads +++ b/gcc/ada/a-cohata.ads @@ -34,7 +34,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Hash_Tables is -pragma Preelaborate; + pragma Preelaborate; generic type Node_Type (<>) is limited private; diff --git a/gcc/ada/a-coinve.ads b/gcc/ada/a-coinve.ads index e2a4de9..6ccfda5 100644 --- a/gcc/ada/a-coinve.ads +++ b/gcc/ada/a-coinve.ads @@ -44,7 +44,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Vectors is -pragma Preelaborate (Indefinite_Vectors); + pragma Preelaborate; subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. diff --git a/gcc/ada/a-colire.adb b/gcc/ada/a-colire.adb index 50d99a1..de273b5 100644 --- a/gcc/ada/a-colire.adb +++ b/gcc/ada/a-colire.adb @@ -38,7 +38,7 @@ package body Ada.Command_Line.Remove is ----------------------- procedure Initialize; - -- Initialize the Remove_Count and Remove_Args variables. + -- Initialize the Remove_Count and Remove_Args variables ---------------- -- Initialize -- diff --git a/gcc/ada/a-colire.ads b/gcc/ada/a-colire.ads index 35f6a49..8c5a518 100644 --- a/gcc/ada/a-colire.ads +++ b/gcc/ada/a-colire.ads @@ -41,7 +41,7 @@ -- argument, Argument_Count will be 2, and Argument (2) will return C. package Ada.Command_Line.Remove is -pragma Preelaborate (Remove); + pragma Preelaborate; procedure Remove_Argument (Number : in Positive); -- Removes the argument identified by Number, which must be in the diff --git a/gcc/ada/a-comlin.ads b/gcc/ada/a-comlin.ads index f1d6093..1ddc3e1 100644 --- a/gcc/ada/a-comlin.ads +++ b/gcc/ada/a-comlin.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Command_Line is -pragma Preelaborate (Command_Line); + pragma Preelaborate; function Argument_Count return Natural; -- If the external execution environment supports passing arguments to a diff --git a/gcc/ada/a-contai.ads b/gcc/ada/a-contai.ads index 5e746c3..41d99b1 100644 --- a/gcc/ada/a-contai.ads +++ b/gcc/ada/a-contai.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Containers is -pragma Pure (Containers); + pragma Pure; type Hash_Type is mod 2**32; type Count_Type is range 0 .. 2**31 - 1; diff --git a/gcc/ada/a-convec.ads b/gcc/ada/a-convec.ads index 9c4e76a..9b5c9bb 100644 --- a/gcc/ada/a-convec.ads +++ b/gcc/ada/a-convec.ads @@ -42,7 +42,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Vectors is -pragma Preelaborate (Vectors); + pragma Preelaborate; subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. diff --git a/gcc/ada/a-coorma.ads b/gcc/ada/a-coorma.ads index 346fc15..0efa16f 100644 --- a/gcc/ada/a-coorma.ads +++ b/gcc/ada/a-coorma.ads @@ -47,7 +47,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Ordered_Maps is -pragma Preelaborate (Ordered_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-coormu.ads b/gcc/ada/a-coormu.ads index 2e11470..cb42f07 100644 --- a/gcc/ada/a-coormu.ads +++ b/gcc/ada/a-coormu.ads @@ -44,7 +44,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Ordered_Multisets is -pragma Preelaborate (Ordered_Multisets); + pragma Preelaborate; type Set is tagged private; diff --git a/gcc/ada/a-coprnu.ads b/gcc/ada/a-coprnu.ads index a7ae867..20e49d8 100644 --- a/gcc/ada/a-coprnu.ads +++ b/gcc/ada/a-coprnu.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Prime_Numbers is -pragma Pure (Prime_Numbers); + pragma Pure; type Primes_Type is array (Positive range <>) of Hash_Type; diff --git a/gcc/ada/a-crbltr.ads b/gcc/ada/a-crbltr.ads index f8f5589..9df1362 100644 --- a/gcc/ada/a-crbltr.ads +++ b/gcc/ada/a-crbltr.ads @@ -34,7 +34,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Red_Black_Trees is -pragma Pure (Red_Black_Trees); + pragma Pure; type Color_Type is (Red, Black); diff --git a/gcc/ada/a-crbtgk.ads b/gcc/ada/a-crbtgk.ads index d20d700..e1a3824 100644 --- a/gcc/ada/a-crbtgk.ads +++ b/gcc/ada/a-crbtgk.ads @@ -32,7 +32,7 @@ generic R : Node_Access) return Boolean; package Ada.Containers.Red_Black_Trees.Generic_Keys is -pragma Pure (Generic_Keys); + pragma Pure; generic with function New_Node return Node_Access; diff --git a/gcc/ada/a-crbtgo.ads b/gcc/ada/a-crbtgo.ads index fe372cc..8b3ab50 100644 --- a/gcc/ada/a-crbtgo.ads +++ b/gcc/ada/a-crbtgo.ads @@ -50,7 +50,7 @@ generic with procedure Set_Color (Node : Node_Access; Color : Color_Type) is <>; package Ada.Containers.Red_Black_Trees.Generic_Operations is -pragma Pure; + pragma Pure; function Min (Node : Node_Access) return Node_Access; diff --git a/gcc/ada/a-cwila1.ads b/gcc/ada/a-cwila1.ads index 4c82330..0237237 100644 --- a/gcc/ada/a-cwila1.ads +++ b/gcc/ada/a-cwila1.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Latin_1 is -pragma Pure (Wide_Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-cwila9.ads b/gcc/ada/a-cwila9.ads index 00debef..94fcad9 100644 --- a/gcc/ada/a-cwila9.ads +++ b/gcc/ada/a-cwila9.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Latin_9 is -pragma Pure (Wide_Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-decima.ads b/gcc/ada/a-decima.ads index 1c80cb9..960c9c0 100644 --- a/gcc/ada/a-decima.ads +++ b/gcc/ada/a-decima.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Decimal is -pragma Pure (Decimal); + pragma Pure; -- The compiler makes a number of assumptions based on the following five -- constants (e.g. there is an assumption that decimal values can always diff --git a/gcc/ada/a-dynpri.ads b/gcc/ada/a-dynpri.ads index f9724da..e179f46 100644 --- a/gcc/ada/a-dynpri.ads +++ b/gcc/ada/a-dynpri.ads @@ -17,8 +17,8 @@ with System; with Ada.Task_Identification; package Ada.Dynamic_Priorities is -pragma Preelaborate_05 (Dynamic_Priorities); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate_05; + -- In accordance with Ada 2005 AI-362 procedure Set_Priority (Priority : System.Any_Priority; diff --git a/gcc/ada/a-exextr.adb b/gcc/ada/a-exextr.adb index 15659f2..caeb23c 100644 --- a/gcc/ada/a-exextr.adb +++ b/gcc/ada/a-exextr.adb @@ -85,7 +85,7 @@ package body Exception_Traces is procedure Unhandled_Exception; pragma Export (C, Unhandled_Exception, "__gnat_unhandled_exception"); - -- Hook for GDB to support "break exception unhandled". + -- Hook for GDB to support "break exception unhandled" -- For "break exception", GDB uses __gnat_raise_nodefer_with_msg, which -- is not in this section because it fullfills other purposes than a mere diff --git a/gcc/ada/a-filico.ads b/gcc/ada/a-filico.ads index 9c0884b..624ba5f 100644 --- a/gcc/ada/a-filico.ads +++ b/gcc/ada/a-filico.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997, 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,8 +32,9 @@ ------------------------------------------------------------------------------ with System.Finalization_Root; + package Ada.Finalization.List_Controller is -pragma Elaborate_Body (List_Controller); + pragma Elaborate_Body; package SFR renames System.Finalization_Root; diff --git a/gcc/ada/a-finali.ads b/gcc/ada/a-finali.ads index ee7feea..c2ae421 100644 --- a/gcc/ada/a-finali.ads +++ b/gcc/ada/a-finali.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -38,7 +38,7 @@ with System.Finalization_Root; package Ada.Finalization is -pragma Preelaborate (Finalization); + pragma Preelaborate; type Controlled is abstract tagged private; diff --git a/gcc/ada/a-interr.ads b/gcc/ada/a-interr.ads index 188300a..941af58 100644 --- a/gcc/ada/a-interr.ads +++ b/gcc/ada/a-interr.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ with System.Interrupts; --- used for Ada_Interrupt_ID. +-- used for Ada_Interrupt_ID package Ada.Interrupts is diff --git a/gcc/ada/a-ioexce.ads b/gcc/ada/a-ioexce.ads index 80546df..d4c6ee5 100644 --- a/gcc/ada/a-ioexce.ads +++ b/gcc/ada/a-ioexce.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.IO_Exceptions is -pragma Pure (IO_Exceptions); + pragma Pure; Status_Error : exception; Mode_Error : exception; diff --git a/gcc/ada/a-ngcefu.adb b/gcc/ada/a-ngcefu.adb index 5e2c147..4421646 100644 --- a/gcc/ada/a-ngcefu.adb +++ b/gcc/ada/a-ngcefu.adb @@ -305,7 +305,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is Result : Complex; begin - -- For very small argument, sin (x) = x. + -- For very small argument, sin (x) = x if abs Re (X) < Square_Root_Epsilon and then abs Im (X) < Square_Root_Epsilon @@ -642,7 +642,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is end if; end if; - if Im (X) < 0.0 then -- halve angle, Sqrt of magnitude + if Im (X) < 0.0 then -- halve angle, Sqrt of magnitude R_Y := -R_Y; end if; return Compose_From_Cartesian (R_X, R_Y); @@ -650,7 +650,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is exception when Constraint_Error => - -- Rescale and try again. + -- Rescale and try again R := Modulus (Compose_From_Cartesian (Re (X / 4.0), Im (X / 4.0))); R_X := 2.0 * Sqrt (0.5 * R + 0.5 * Re (X / 4.0)); diff --git a/gcc/ada/a-ngcefu.ads b/gcc/ada/a-ngcefu.ads index e5ed0c7..a60f668 100644 --- a/gcc/ada/a-ngcefu.ads +++ b/gcc/ada/a-ngcefu.ads @@ -19,7 +19,7 @@ generic use Complex_Types; package Ada.Numerics.Generic_Complex_Elementary_Functions is - pragma Pure (Ada.Numerics.Generic_Complex_Elementary_Functions); + pragma Pure; function Sqrt (X : Complex) return Complex; diff --git a/gcc/ada/a-ngcoty.adb b/gcc/ada/a-ngcoty.adb index 2a9cc4b..aa8c995 100644 --- a/gcc/ada/a-ngcoty.adb +++ b/gcc/ada/a-ngcoty.adb @@ -51,7 +51,7 @@ package body Ada.Numerics.Generic_Complex_Types is X := Left.Re * Right.Re - Left.Im * Right.Im; Y := Left.Re * Right.Im + Left.Im * Right.Re; - -- If either component overflows, try to scale. + -- If either component overflows, try to scale if abs (X) > R'Last then X := R'(4.0) * (R'(Left.Re / 2.0) * R'(Right.Re / 2.0) @@ -626,7 +626,7 @@ package body Ada.Numerics.Generic_Complex_Types is elsif Im2 = 0.0 then return abs (X.Re); - -- in all other cases, the naive computation will do. + -- In all other cases, the naive computation will do else return R (Sqrt (Double (Re2 + Im2))); diff --git a/gcc/ada/a-ngcoty.ads b/gcc/ada/a-ngcoty.ads index 15c099b..fd6c907 100644 --- a/gcc/ada/a-ngcoty.ads +++ b/gcc/ada/a-ngcoty.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -39,8 +39,7 @@ generic type Real is digits <>; package Ada.Numerics.Generic_Complex_Types is - -pragma Pure (Generic_Complex_Types); + pragma Pure; type Complex is record Re, Im : Real'Base; diff --git a/gcc/ada/a-ngelfu.ads b/gcc/ada/a-ngelfu.ads index 520b615..c115411 100644 --- a/gcc/ada/a-ngelfu.ads +++ b/gcc/ada/a-ngelfu.ads @@ -17,7 +17,7 @@ generic type Float_Type is digits <>; package Ada.Numerics.Generic_Elementary_Functions is -pragma Pure (Generic_Elementary_Functions); + pragma Pure; function Sqrt (X : Float_Type'Base) return Float_Type'Base; function Log (X : Float_Type'Base) return Float_Type'Base; diff --git a/gcc/ada/a-nudira.adb b/gcc/ada/a-nudira.adb index d0c0a7b..9cdd8a1 100644 --- a/gcc/ada/a-nudira.adb +++ b/gcc/ada/a-nudira.adb @@ -261,7 +261,7 @@ package body Ada.Numerics.Discrete_Random is Outs.FP := Flt (Outs.P); Outs.Scl := (RstL - RstF + 1.0) / (Flt (Outs.P) * Flt (Outs.Q)); - -- Now do *some* sanity checks. + -- Now do *some* sanity checks if Outs.Q < 31 or else Outs.X1 not in 2 .. Outs.P - 1 diff --git a/gcc/ada/a-nudira.ads b/gcc/ada/a-nudira.ads index eeb5125..275e898 100644 --- a/gcc/ada/a-nudira.ads +++ b/gcc/ada/a-nudira.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -35,14 +35,13 @@ -- -- ------------------------------------------------------------------------------ --- Note: the implementation used in this package was contributed by --- Robert Eachus. It is based on the work of L. Blum, M. Blum, and --- M. Shub, SIAM Journal of Computing, Vol 15. No 2, May 1986. The --- particular choices for P and Q chosen here guarantee a period of --- 562,085,314,430,582 (about 2**49), and the generated sequence has --- excellent randomness properties. For further details, see the --- paper "Fast Generation of Trustworthy Random Numbers", by Robert --- Eachus, which describes both the algorithm and the efficient +-- Note: the implementation used in this package was contributed by Robert +-- Eachus. It is based on the work of L. Blum, M. Blum, and M. Shub, SIAM +-- Journal of Computing, Vol 15. No 2, May 1986. The particular choices for P +-- and Q chosen here guarantee a period of 562,085,314,430,582 (about 2**49), +-- and the generated sequence has excellent randomness properties. For further +-- details, see the paper "Fast Generation of Trustworthy Random Numbers", by +-- Robert Eachus, which describes both the algorithm and the efficient -- implementation approach used here. with Interfaces; @@ -52,16 +51,16 @@ generic package Ada.Numerics.Discrete_Random is - -- The algorithm used here is reliable from a required statistical point - -- of view only up to 48 bits. We try to behave reasonably in the case - -- of larger types, but we can't guarantee the required properties. - -- So generate a warning for these (slightly) dubious cases. + -- The algorithm used here is reliable from a required statistical point of + -- view only up to 48 bits. We try to behave reasonably in the case of + -- larger types, but we can't guarantee the required properties. So + -- generate a warning for these (slightly) dubious cases. pragma Compile_Time_Warning (Result_Subtype'Size > 48, "statistical properties not guaranteed for size '> 48"); - -- Basic facilities. + -- Basic facilities type Generator is limited private; @@ -70,7 +69,7 @@ package Ada.Numerics.Discrete_Random is procedure Reset (Gen : Generator); procedure Reset (Gen : Generator; Initiator : Integer); - -- Advanced facilities. + -- Advanced facilities type State is private; diff --git a/gcc/ada/a-nuflra.adb b/gcc/ada/a-nuflra.adb index 2bba46a..5f43c97 100644 --- a/gcc/ada/a-nuflra.adb +++ b/gcc/ada/a-nuflra.adb @@ -164,7 +164,7 @@ package body Ada.Numerics.Float_Random is X1 := 2 + Int (Initiator) mod (K1 - 3); X2 := 2 + Int (Initiator) mod (K2 - 3); - -- Eliminate effects of small Initiators. + -- Eliminate effects of small initiators for J in 1 .. 5 loop X1 := Square_Mod_N (X1, K1); @@ -299,7 +299,7 @@ package body Ada.Numerics.Float_Random is Outs.X := Euclid (Outs.P, Outs.Q); Outs.Scl := 1.0 / (Flt (Outs.P) * Flt (Outs.Q)); - -- Now do *some* sanity checks. + -- Now do *some* sanity checks if Outs.Q < 31 or else Outs.P < 31 or else Outs.X1 not in 2 .. Outs.P - 1 diff --git a/gcc/ada/a-numaux-darwin.ads b/gcc/ada/a-numaux-darwin.ads index 59d6506..67faa0f 100644 --- a/gcc/ada/a-numaux-darwin.ads +++ b/gcc/ada/a-numaux-darwin.ads @@ -41,7 +41,7 @@ -- routines that take 80-bit arguments). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numaux-libc-x86.ads b/gcc/ada/a-numaux-libc-x86.ads index a41ca47..8e94fa0 100644 --- a/gcc/ada/a-numaux-libc-x86.ads +++ b/gcc/ada/a-numaux-libc-x86.ads @@ -44,7 +44,7 @@ -- double (see file a-numaux.ads). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numaux-vxworks.ads b/gcc/ada/a-numaux-vxworks.ads index e11a9b2..db71c04 100644 --- a/gcc/ada/a-numaux-vxworks.ads +++ b/gcc/ada/a-numaux-vxworks.ads @@ -44,7 +44,7 @@ -- long double (see file 4onumaux.ads). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; -- This version omits the pragma linker_options ("-lm") since there is -- no libm.a library for VxWorks. diff --git a/gcc/ada/a-numaux-x86.ads b/gcc/ada/a-numaux-x86.ads index 58ec259..97cf691 100644 --- a/gcc/ada/a-numaux-x86.ads +++ b/gcc/ada/a-numaux-x86.ads @@ -42,7 +42,7 @@ -- routines directly. package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; type Double is new Long_Long_Float; diff --git a/gcc/ada/a-numaux.ads b/gcc/ada/a-numaux.ads index 250759b..fb09ad1 100644 --- a/gcc/ada/a-numaux.ads +++ b/gcc/ada/a-numaux.ads @@ -46,7 +46,7 @@ -- routines that take 80-bit arguments). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numeri.ads b/gcc/ada/a-numeri.ads index dccab50..a0513d0 100644 --- a/gcc/ada/a-numeri.ads +++ b/gcc/ada/a-numeri.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Numerics is -pragma Pure (Numerics); + pragma Pure; Argument_Error : exception; diff --git a/gcc/ada/a-rbtgso.ads b/gcc/ada/a-rbtgso.ads index 9941e53..381ac5b 100644 --- a/gcc/ada/a-rbtgso.ads +++ b/gcc/ada/a-rbtgso.ads @@ -37,7 +37,7 @@ generic with procedure Free (X : in out Node_Access); package Ada.Containers.Red_Black_Trees.Generic_Set_Operations is -pragma Pure (Generic_Set_Operations); + pragma Pure; procedure Union (Target : in out Tree_Type; Source : Tree_Type); diff --git a/gcc/ada/a-reatim.adb b/gcc/ada/a-reatim.adb index 9145edf..b15a6e1 100644 --- a/gcc/ada/a-reatim.adb +++ b/gcc/ada/a-reatim.adb @@ -198,7 +198,7 @@ package body Ada.Real_Time is T_Val := abs (T); end if; - -- Extract the integer part of T, truncating towards zero. + -- Extract the integer part of T, truncating towards zero if T_Val < 0.5 then SC := 0; diff --git a/gcc/ada/a-stmaco.ads b/gcc/ada/a-stmaco.ads index 0b6c004..660f557 100644 --- a/gcc/ada/a-stmaco.ads +++ b/gcc/ada/a-stmaco.ads @@ -38,9 +38,9 @@ with Ada.Characters.Latin_1; package Ada.Strings.Maps.Constants is -pragma Preelaborate (Constants); -pragma Pure_05 (Constants); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 Control_Set : constant Character_Set; Graphic_Set : constant Character_Set; diff --git a/gcc/ada/a-storio.ads b/gcc/ada/a-storio.ads index f32c97d..23e57c5 100644 --- a/gcc/ada/a-storio.ads +++ b/gcc/ada/a-storio.ads @@ -20,7 +20,7 @@ generic type Element_Type is private; package Ada.Storage_IO is -pragma Preelaborate (Storage_IO); + pragma Preelaborate; Buffer_Size : constant System.Storage_Elements.Storage_Count := System.Storage_Elements.Storage_Count diff --git a/gcc/ada/a-strbou.ads b/gcc/ada/a-strbou.ads index 1cc4cae..74bb8f6 100644 --- a/gcc/ada/a-strbou.ads +++ b/gcc/ada/a-strbou.ads @@ -39,7 +39,7 @@ with Ada.Strings.Maps; with Ada.Strings.Superbounded; package Ada.Strings.Bounded is -pragma Preelaborate (Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stream.ads b/gcc/ada/a-stream.ads index 6b38723..0b68692 100644 --- a/gcc/ada/a-stream.ads +++ b/gcc/ada/a-stream.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Streams is -pragma Pure (Streams); + pragma Pure; type Root_Stream_Type is abstract tagged limited private; diff --git a/gcc/ada/a-strfix.ads b/gcc/ada/a-strfix.ads index b85b407..0408792 100644 --- a/gcc/ada/a-strfix.ads +++ b/gcc/ada/a-strfix.ads @@ -16,7 +16,7 @@ with Ada.Strings.Maps; package Ada.Strings.Fixed is -pragma Preelaborate (Fixed); + pragma Preelaborate; -------------------------------------------------------------- -- Copy Procedure for Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-string.ads b/gcc/ada/a-string.ads index bc1e472..a599c2b 100644 --- a/gcc/ada/a-string.ads +++ b/gcc/ada/a-string.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Strings is -pragma Pure (Strings); + pragma Pure; Space : constant Character := ' '; Wide_Space : constant Wide_Character := ' '; diff --git a/gcc/ada/a-strmap.ads b/gcc/ada/a-strmap.ads index f15fac5..3331a2f 100644 --- a/gcc/ada/a-strmap.ads +++ b/gcc/ada/a-strmap.ads @@ -38,9 +38,9 @@ with Ada.Characters.Latin_1; package Ada.Strings.Maps is -pragma Preelaborate (Maps); -pragma Pure_05 (Maps); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 -------------------------------- -- Character Set Declarations -- diff --git a/gcc/ada/a-strsea.ads b/gcc/ada/a-strsea.ads index 9fa7394..f9d81c7 100644 --- a/gcc/ada/a-strsea.ads +++ b/gcc/ada/a-strsea.ads @@ -41,7 +41,7 @@ with Ada.Strings.Maps; private package Ada.Strings.Search is -pragma Preelaborate (Search); + pragma Preelaborate; function Index (Source : String; diff --git a/gcc/ada/a-strsup.ads b/gcc/ada/a-strsup.ads index 42efe6d..cf27f4a 100644 --- a/gcc/ada/a-strsup.ads +++ b/gcc/ada/a-strsup.ads @@ -41,7 +41,7 @@ with Ada.Strings.Maps; package Ada.Strings.Superbounded is -pragma Preelaborate (Superbounded); + pragma Preelaborate; type Super_String (Max_Length : Positive) is record Current_Length : Natural := 0; diff --git a/gcc/ada/a-strunb.ads b/gcc/ada/a-strunb.ads index a797454..0869995 100644 --- a/gcc/ada/a-strunb.ads +++ b/gcc/ada/a-strunb.ads @@ -39,7 +39,7 @@ with Ada.Strings.Maps; with Ada.Finalization; package Ada.Strings.Unbounded is -pragma Preelaborate (Unbounded); + pragma Preelaborate; type Unbounded_String is private; diff --git a/gcc/ada/a-stunau.ads b/gcc/ada/a-stunau.ads index 94396c9..c29e6db 100644 --- a/gcc/ada/a-stunau.ads +++ b/gcc/ada/a-stunau.ads @@ -37,7 +37,7 @@ -- utilities (such as GNAT.SPITBOL.Patterns). package Ada.Strings.Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_String (U : Unbounded_String; diff --git a/gcc/ada/a-stwibo.ads b/gcc/ada/a-stwibo.ads index 456bb84..4c05665 100644 --- a/gcc/ada/a-stwibo.ads +++ b/gcc/ada/a-stwibo.ads @@ -39,7 +39,7 @@ with Ada.Strings.Wide_Maps; with Ada.Strings.Wide_Superbounded; package Ada.Strings.Wide_Bounded is -pragma Preelaborate (Wide_Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stwifi.ads b/gcc/ada/a-stwifi.ads index 75740de..be2e038 100644 --- a/gcc/ada/a-stwifi.ads +++ b/gcc/ada/a-stwifi.ads @@ -16,7 +16,7 @@ with Ada.Strings.Wide_Maps; package Ada.Strings.Wide_Fixed is -pragma Preelaborate (Wide_Fixed); + pragma Preelaborate; ------------------------------------------------------------------- -- Copy Procedure for Wide_Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-stwima.ads b/gcc/ada/a-stwima.ads index 48602a2..001f5da 100644 --- a/gcc/ada/a-stwima.ads +++ b/gcc/ada/a-stwima.ads @@ -38,7 +38,7 @@ with Ada.Finalization; package Ada.Strings.Wide_Maps is - pragma Preelaborate (Wide_Maps); + pragma Preelaborate; ------------------------------------- -- Wide Character Set Declarations -- diff --git a/gcc/ada/a-stwise.ads b/gcc/ada/a-stwise.ads index 6e004da..35241fc2 100644 --- a/gcc/ada/a-stwise.ads +++ b/gcc/ada/a-stwise.ads @@ -41,7 +41,7 @@ with Ada.Strings.Wide_Maps; private package Ada.Strings.Wide_Search is -pragma Preelaborate (Wide_Search); + pragma Preelaborate; function Index (Source : Wide_String; diff --git a/gcc/ada/a-stwisu.ads b/gcc/ada/a-stwisu.ads index c83be9c..721e2a8 100644 --- a/gcc/ada/a-stwisu.ads +++ b/gcc/ada/a-stwisu.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Maps; package Ada.Strings.Wide_Superbounded is -pragma Preelaborate (Wide_Superbounded); + pragma Preelaborate; Wide_NUL : constant Wide_Character := Wide_Character'Val (0); diff --git a/gcc/ada/a-stwiun.ads b/gcc/ada/a-stwiun.ads index 341f743..e2cb364 100644 --- a/gcc/ada/a-stwiun.ads +++ b/gcc/ada/a-stwiun.ads @@ -39,7 +39,8 @@ with Ada.Strings.Wide_Maps; with Ada.Finalization; package Ada.Strings.Wide_Unbounded is -pragma Preelaborate (Wide_Unbounded); + pragma Preelaborate; + type Unbounded_Wide_String is private; Null_Unbounded_Wide_String : constant Unbounded_Wide_String; diff --git a/gcc/ada/a-stzbou.ads b/gcc/ada/a-stzbou.ads index ccfd89d..e4ad260 100644 --- a/gcc/ada/a-stzbou.ads +++ b/gcc/ada/a-stzbou.ads @@ -39,7 +39,7 @@ with Ada.Strings.Wide_Wide_Maps; with Ada.Strings.Wide_Wide_Superbounded; package Ada.Strings.Wide_Wide_Bounded is -pragma Preelaborate (Wide_Wide_Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stzfix.ads b/gcc/ada/a-stzfix.ads index 3b5066a..1670b38 100644 --- a/gcc/ada/a-stzfix.ads +++ b/gcc/ada/a-stzfix.ads @@ -16,7 +16,7 @@ with Ada.Strings.Wide_Wide_Maps; package Ada.Strings.Wide_Wide_Fixed is -pragma Preelaborate (Wide_Wide_Fixed); + pragma Preelaborate; ------------------------------------------------------------------------ -- Copy Procedure for Wide_Wide_Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-stzmap.ads b/gcc/ada/a-stzmap.ads index c29a587..f71e3dd 100644 --- a/gcc/ada/a-stzmap.ads +++ b/gcc/ada/a-stzmap.ads @@ -38,7 +38,7 @@ with Ada.Finalization; package Ada.Strings.Wide_Wide_Maps is - pragma Preelaborate (Wide_Wide_Maps); + pragma Preelaborate; ------------------------------------------ -- Wide_Wide_Character Set Declarations -- diff --git a/gcc/ada/a-stzsea.ads b/gcc/ada/a-stzsea.ads index 526e4eb..eef5515 100644 --- a/gcc/ada/a-stzsea.ads +++ b/gcc/ada/a-stzsea.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Wide_Maps; private package Ada.Strings.Wide_Wide_Search is -pragma Preelaborate (Wide_Wide_Search); + pragma Preelaborate; function Index (Source : Wide_Wide_String; diff --git a/gcc/ada/a-stzsup.ads b/gcc/ada/a-stzsup.ads index e5b6989..33b9ecb 100644 --- a/gcc/ada/a-stzsup.ads +++ b/gcc/ada/a-stzsup.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Wide_Maps; package Ada.Strings.Wide_Wide_Superbounded is -pragma Preelaborate (Wide_Wide_Superbounded); + pragma Preelaborate; Wide_Wide_NUL : constant Wide_Wide_Character := Wide_Wide_Character'Val (0); diff --git a/gcc/ada/a-stzunb.ads b/gcc/ada/a-stzunb.ads index 5cf40cf..b069e93 100644 --- a/gcc/ada/a-stzunb.ads +++ b/gcc/ada/a-stzunb.ads @@ -39,7 +39,8 @@ with Ada.Strings.Wide_Wide_Maps; with Ada.Finalization; package Ada.Strings.Wide_Wide_Unbounded is -pragma Preelaborate (Wide_Wide_Unbounded); + pragma Preelaborate; + type Unbounded_Wide_Wide_String is private; Null_Unbounded_Wide_Wide_String : constant Unbounded_Wide_Wide_String; diff --git a/gcc/ada/a-swmwco.ads b/gcc/ada/a-swmwco.ads index 5193a0e..269b3f8 100644 --- a/gcc/ada/a-swmwco.ads +++ b/gcc/ada/a-swmwco.ads @@ -38,7 +38,7 @@ with Ada.Characters.Wide_Latin_1; package Ada.Strings.Wide_Maps.Wide_Constants is -pragma Preelaborate (Wide_Constants); + pragma Preelaborate; Control_Set : constant Wide_Maps.Wide_Character_Set; Graphic_Set : constant Wide_Maps.Wide_Character_Set; diff --git a/gcc/ada/a-swunau.ads b/gcc/ada/a-swunau.ads index 5a65271..ae2bed6b 100644 --- a/gcc/ada/a-swunau.ads +++ b/gcc/ada/a-swunau.ads @@ -37,7 +37,7 @@ -- utilities. package Ada.Strings.Wide_Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_Wide_String (U : Unbounded_Wide_String; diff --git a/gcc/ada/a-szunau.ads b/gcc/ada/a-szunau.ads index 8fd28d6..fc5373d 100644 --- a/gcc/ada/a-szunau.ads +++ b/gcc/ada/a-szunau.ads @@ -37,7 +37,7 @@ -- other layered utilities. package Ada.Strings.Wide_Wide_Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_Wide_Wide_String (U : Unbounded_Wide_Wide_String; diff --git a/gcc/ada/a-textio.ads b/gcc/ada/a-textio.ads index fd76bcf..dbb9a1a 100644 --- a/gcc/ada/a-textio.ads +++ b/gcc/ada/a-textio.ads @@ -47,7 +47,7 @@ with System; with System.File_Control_Block; package Ada.Text_IO is -pragma Elaborate_Body (Text_IO); + pragma Elaborate_Body; type File_Type is limited private; type File_Mode is (In_File, Out_File, Append_File); diff --git a/gcc/ada/a-widcha.ads b/gcc/ada/a-widcha.ads index d912e3d..371c1c1 100755 --- a/gcc/ada/a-widcha.ads +++ b/gcc/ada/a-widcha.ads @@ -17,5 +17,5 @@ -- available in Ada 95 mode, since it deals only with wide characters. package Ada.Wide_Characters is -pragma Pure (Wide_Characters); + pragma Pure; end Ada.Wide_Characters; diff --git a/gcc/ada/a-zchara.ads b/gcc/ada/a-zchara.ads index 916a9c0..0802bfc 100755 --- a/gcc/ada/a-zchara.ads +++ b/gcc/ada/a-zchara.ads @@ -14,5 +14,5 @@ ------------------------------------------------------------------------------ package Ada.Wide_Wide_Characters is -pragma Pure (Wide_Wide_Characters); + pragma Pure; end Ada.Wide_Wide_Characters; diff --git a/gcc/ada/ada.ads b/gcc/ada/ada.ads index fbebad4..2e9f35c 100644 --- a/gcc/ada/ada.ads +++ b/gcc/ada/ada.ads @@ -14,6 +14,6 @@ ------------------------------------------------------------------------------ package Ada is -pragma Pure (Ada); + pragma Pure; end Ada; diff --git a/gcc/ada/csets.ads b/gcc/ada/csets.ads index b8965b3..5b612b3 100644 --- a/gcc/ada/csets.ads +++ b/gcc/ada/csets.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package Csets is -pragma Elaborate_Body (Csets); + pragma Elaborate_Body; -- This package contains character tables for the various character -- sets that are supported for source representation. Character and diff --git a/gcc/ada/debug.ads b/gcc/ada/debug.ads index b140d4a..48d71de 100644 --- a/gcc/ada/debug.ads +++ b/gcc/ada/debug.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -31,13 +31,13 @@ -- -- ------------------------------------------------------------------------------ -package Debug is -pragma Preelaborate (Debug); - -- This package contains global flags used to control the inclusion -- of debugging code in various phases of the compiler. Some of these -- flags are also used by the binder and gnatmake. +package Debug is + pragma Preelaborate; + ------------------------- -- Dynamic Debug Flags -- ------------------------- diff --git a/gcc/ada/dec.ads b/gcc/ada/dec.ads index ab69c23..0d96585 100644 --- a/gcc/ada/dec.ads +++ b/gcc/ada/dec.ads @@ -36,5 +36,5 @@ -- the bind. It is also a convenient parent for all DEC IO child packages. package DEC is -pragma Pure (DEC); + pragma Pure; end DEC; diff --git a/gcc/ada/g-curexc.ads b/gcc/ada/g-curexc.ads index 8bdb0f8..7fff4f3 100644 --- a/gcc/ada/g-curexc.ads +++ b/gcc/ada/g-curexc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1996-2004 Ada Core Technologies, Inc. -- +-- Copyright (C) 1996-2005 Ada Core Technologies, 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- -- @@ -44,7 +44,7 @@ -- from an exception handler. package GNAT.Current_Exception is -pragma Pure (Current_Exception); + pragma Pure; ----------------- -- Subprograms -- diff --git a/gcc/ada/g-except.ads b/gcc/ada/g-except.ads index 81e4976..6ad0673 100644 --- a/gcc/ada/g-except.ads +++ b/gcc/ada/g-except.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 2000-2005 Ada Core Technologies, 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- -- @@ -43,7 +43,7 @@ -- package allows for raising the standard predefined exceptions at least. package GNAT.Exceptions is -pragma Pure (Exceptions); + pragma Pure; type Exception_Type is limited null record; -- Type used to specify which exception to raise. diff --git a/gcc/ada/g-regpat.ads b/gcc/ada/g-regpat.ads index 6d4257e..132d32f 100644 --- a/gcc/ada/g-regpat.ads +++ b/gcc/ada/g-regpat.ads @@ -7,7 +7,7 @@ -- S p e c -- -- -- -- Copyright (C) 1986 by University of Toronto. -- --- Copyright (C) 1996-2005 Ada Core Technologies, Inc. -- +-- Copyright (C) 1996-2005, AdaCore -- -- -- -- 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- -- @@ -68,7 +68,7 @@ -- extensions that provide full (type 0) computational capabilities. package GNAT.Regpat is -pragma Preelaborate (Regpat); + pragma Preelaborate; -- The grammar is the following: @@ -219,7 +219,7 @@ pragma Preelaborate (Regpat); -- Several versions of the Match subprogram are provided, with different -- parameters and return results. - -- See the description under each of these subprograms. + -- See the description under each of these subprograms -- Here is a short example showing how to get the substring matched by -- the first parenthesis pair. @@ -576,7 +576,7 @@ pragma Preelaborate (Regpat); Data : String; Data_First : Integer := -1; Data_Last : Positive := Positive'Last) return Boolean; - -- Return True if Data matches using the given pattern matcher. + -- Return True if Data matches using the given pattern matcher pragma Inline (Match); -- All except the last one below @@ -590,7 +590,7 @@ pragma Preelaborate (Regpat); -- Match Data using the given pattern matcher and store result in Matches. -- The expression matches if Matches (0) /= No_Match. -- - -- At most Matches'Length parenthesis are returned. + -- At most Matches'Length parenthesis are returned ----------- -- Debug -- @@ -615,26 +615,24 @@ private Program_First : constant := 1; - -- The "internal use only" fields in regexp are present to pass - -- info from compile to execute that permits the execute phase - -- to run lots faster on simple cases. They are: + -- The "internal use only" fields in regexp are present to pass info from + -- compile to execute that permits the execute phase to run lots faster on + -- simple cases. They are: -- First character that must begin a match or ASCII.Nul -- Anchored true iff match must start at beginning of line -- Must_Have pointer to string that match must include or null -- Must_Have_Length length of Must_Have string - -- First and Anchored permit very fast decisions on suitable - -- starting points for a match, cutting down the work a lot. - -- Must_Have permits fast rejection of lines that cannot possibly - -- match. - - -- The Must_Have tests are costly enough that Optimize - -- supplies a Must_Have only if the r.e. contains something potentially - -- expensive (at present, the only such thing detected is * or + - -- at the start of the r.e., which can involve a lot of backup). - -- The length is supplied because the test in Execute needs it - -- and Optimize is computing it anyway. + -- First and Anchored permit very fast decisions on suitable starting + -- points for a match, cutting down the work a lot. Must_Have permits fast + -- rejection of lines that cannot possibly match. + + -- The Must_Have tests are costly enough that Optimize supplies a Must_Have + -- only if the r.e. contains something potentially expensive (at present, + -- the only such thing detected is * or at the start of the r.e., which can + -- involve a lot of backup). The length is supplied because the test in + -- Execute needs it and Optimize is computing it anyway. -- The initialization is meant to fail-safe in case the user of this -- package tries to use an uninitialized matcher. This takes advantage diff --git a/gcc/ada/g-speche.ads b/gcc/ada/g-speche.ads index ada3aa9..f3482d4 100644 --- a/gcc/ada/g-speche.ads +++ b/gcc/ada/g-speche.ads @@ -36,7 +36,7 @@ -- This package provides a utility routine for checking for bad spellings package GNAT.Spelling_Checker is -pragma Pure (Spelling_Checker); + pragma Pure; function Is_Bad_Spelling_Of (Found : String; diff --git a/gcc/ada/g-spitbo.ads b/gcc/ada/g-spitbo.ads index 33b75d6..823ac03 100644 --- a/gcc/ada/g-spitbo.ads +++ b/gcc/ada/g-spitbo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1997-2005 Ada Core Technologies, Inc. -- +-- Copyright (C) 1997-2005, AdaCore -- -- -- -- 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- -- @@ -44,7 +44,7 @@ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Interfaces; use Interfaces; package GNAT.Spitbol is -pragma Preelaborate (Spitbol); + pragma Preelaborate; -- The Spitbol package relies heavily on the Unbounded_String package, -- using the synonym VString for variable length string. The following @@ -231,7 +231,7 @@ pragma Preelaborate (Spitbol); -- Any non-limited type can be used as the value type in the table Null_Value : Value_Type; - -- Value used to represent a value that is not present in the table. + -- Value used to represent a value that is not present in the table with function Img (A : Value_Type) return String; -- Used to provide image of value in Dump procedure diff --git a/gcc/ada/g-table.ads b/gcc/ada/g-table.ads index 63f9d69..819ff28 100644 --- a/gcc/ada/g-table.ads +++ b/gcc/ada/g-table.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1998-2005 AdaCore -- +-- Copyright (C) 1998-2005, AdaCore -- -- -- -- 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- -- @@ -56,7 +56,7 @@ generic Table_Increment : Natural; package GNAT.Table is -pragma Elaborate_Body (Table); + pragma Elaborate_Body; -- Table_Component_Type and Table_Index_Type specify the type of the -- array, Table_Low_Bound is the lower bound. Index_type must be an diff --git a/gcc/ada/g-tasloc.ads b/gcc/ada/g-tasloc.ads index 7704ebf..29fb36e 100644 --- a/gcc/ada/g-tasloc.ads +++ b/gcc/ada/g-tasloc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1998-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 1998-2005 Ada Core Technologies, 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- -- @@ -42,7 +42,7 @@ -- they have no effect (they do NOT cause the tasking runtime to be loaded). package GNAT.Task_Lock is -pragma Elaborate_Body (Task_Lock); + pragma Elaborate_Body; procedure Lock; pragma Inline (Lock); diff --git a/gcc/ada/g-trasym.ads b/gcc/ada/g-trasym.ads index 8b81985..8409732 100644 --- a/gcc/ada/g-trasym.ads +++ b/gcc/ada/g-trasym.ads @@ -62,7 +62,7 @@ with Ada.Exceptions; use Ada.Exceptions; package GNAT.Traceback.Symbolic is -pragma Elaborate_Body (Traceback.Symbolic); + pragma Elaborate_Body; ------------------------ -- Symbolic_Traceback -- diff --git a/gcc/ada/get_targ.ads b/gcc/ada/get_targ.ads index f4414f2..11eec1d 100644 --- a/gcc/ada/get_targ.ads +++ b/gcc/ada/get_targ.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -40,7 +40,7 @@ with Types; use Types; package Get_Targ is -pragma Preelaborate (Get_Targ); + pragma Preelaborate; function Get_Bits_Per_Unit return Pos; pragma Import (C, Get_Bits_Per_Unit, "get_target_bits_per_unit"); diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi index 8a86109..6d7da44 100644 --- a/gcc/ada/gnat-style.texi +++ b/gcc/ada/gnat-style.texi @@ -7,7 +7,7 @@ @c o @c G N A T C O D I N G S T Y L E o @c o -@c Copyright (C) 1992-2004 Ada Core Technologies, Inc. o +@c Copyright (C) 1992-2005 Ada Core Technologies, Inc. o @c o @c GNAT is free software; you can redistribute it and/or modify it under o @c terms of the GNU General Public License as published by the Free Soft- o @@ -52,7 +52,7 @@ @page @vskip 0pt plus 1filll -Copyright @copyright{} 1995-2003, Free Software Foundation +Copyright @copyright{} 1995-2005, Free Software Foundation Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 @@ -814,6 +814,20 @@ unique, to prevent name clashes when the packages are @code{use}d. @item After the file header comment, the context clause and unit specification should be the first thing in a @syntax{program_unit}. + +@item +Preelaborate, Pure and Elaborate_Body pragmas should be added right after the +package name, indented an extra level and using the parameterless form: + +@smallexample @c adanocomment +@group + package Preelaborate_Package is + pragma Preelaborate; + ... + end Preelaborate_Package; +@end group +@end smallexample + @end itemize @c ------------------------------------------------------------------------- diff --git a/gcc/ada/gnat.ads b/gcc/ada/gnat.ads index 4d357a6..faf1bff 100644 --- a/gcc/ada/gnat.ads +++ b/gcc/ada/gnat.ads @@ -34,6 +34,6 @@ -- This is the parent package for a library of useful units provided with GNAT package GNAT is -pragma Pure (GNAT); + pragma Pure; end GNAT; diff --git a/gcc/ada/i-c.ads b/gcc/ada/i-c.ads index f264850..e958052 100644 --- a/gcc/ada/i-c.ads +++ b/gcc/ada/i-c.ads @@ -16,7 +16,7 @@ with System.Parameters; package Interfaces.C is -pragma Pure (C); + pragma Pure; -- Declaration's based on C's diff --git a/gcc/ada/i-cpoint.ads b/gcc/ada/i-cpoint.ads index ac6dd14..e473f57 100644 --- a/gcc/ada/i-cpoint.ads +++ b/gcc/ada/i-cpoint.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -42,7 +42,7 @@ generic Default_Terminator : Element; package Interfaces.C.Pointers is -pragma Preelaborate (Pointers); + pragma Preelaborate; type Pointer is access all Element; diff --git a/gcc/ada/i-cpp.ads b/gcc/ada/i-cpp.ads index 74629b4..e534f65 100644 --- a/gcc/ada/i-cpp.ads +++ b/gcc/ada/i-cpp.ads @@ -34,9 +34,10 @@ -- Missing package comment ??? with Ada.Tags; + package Interfaces.CPP is -pragma Elaborate_Body; --- We have a dummy body to deal with bootstrap path issues + pragma Elaborate_Body; + -- We have a dummy body to deal with bootstrap path issues subtype Vtable_Ptr is Ada.Tags.Tag; diff --git a/gcc/ada/i-cstrin.ads b/gcc/ada/i-cstrin.ads index 089291d..d959bb5 100644 --- a/gcc/ada/i-cstrin.ads +++ b/gcc/ada/i-cstrin.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Interfaces.C.Strings is -pragma Preelaborate (Strings); + pragma Preelaborate; type char_array_access is access all char_array; diff --git a/gcc/ada/i-fortra.ads b/gcc/ada/i-fortra.ads index 817b5c7..78f4f71 100644 --- a/gcc/ada/i-fortra.ads +++ b/gcc/ada/i-fortra.ads @@ -17,7 +17,7 @@ with Ada.Numerics.Generic_Complex_Types; pragma Elaborate_All (Ada.Numerics.Generic_Complex_Types); package Interfaces.Fortran is -pragma Pure (Fortran); + pragma Pure; type Fortran_Integer is new Integer; type Real is new Float; diff --git a/gcc/ada/i-os2err.ads b/gcc/ada/i-os2err.ads index 975bc49..21cbf84 100644 --- a/gcc/ada/i-os2err.ads +++ b/gcc/ada/i-os2err.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993,1994,1995 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -34,7 +34,7 @@ -- Definition of values for OS/2 error returns package Interfaces.OS2Lib.Errors is -pragma Preelaborate (Errors); + pragma Preelaborate; NO_ERROR : constant := 0; ERROR_INVALID_FUNCTION : constant := 1; diff --git a/gcc/ada/i-os2lib.ads b/gcc/ada/i-os2lib.ads index 3b927d3..45fa1ae 100644 --- a/gcc/ada/i-os2lib.ads +++ b/gcc/ada/i-os2lib.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -49,7 +49,7 @@ with Interfaces.C.Strings; with System; package Interfaces.OS2Lib is -pragma Preelaborate (OS2Lib); + pragma Preelaborate; package IC renames Interfaces.C; package ICS renames Interfaces.C.Strings; @@ -76,7 +76,7 @@ pragma Preelaborate (OS2Lib); type ULONG is new IC.unsigned_long; type PULONG is access all ULONG; - -- Coprocessor stack register element. + -- Coprocessor stack register element type FPREG is record losig : ULONG; -- Low 32-bits of the mantissa diff --git a/gcc/ada/i-os2syn.ads b/gcc/ada/i-os2syn.ads index d86b6e7..844e2f0 100644 --- a/gcc/ada/i-os2syn.ads +++ b/gcc/ada/i-os2syn.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-1998 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -34,7 +34,7 @@ with Interfaces.OS2Lib.Threads; package Interfaces.OS2Lib.Synchronization is -pragma Preelaborate (Synchronization); + pragma Preelaborate; package IC renames Interfaces.C; package IOT renames Interfaces.OS2Lib.Threads; diff --git a/gcc/ada/i-os2thr.ads b/gcc/ada/i-os2thr.ads index 8f4d04a..1fd9049 100644 --- a/gcc/ada/i-os2thr.ads +++ b/gcc/ada/i-os2thr.ads @@ -34,7 +34,7 @@ with Interfaces.C; package Interfaces.OS2Lib.Threads is -pragma Preelaborate (Threads); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/i-vxwork-x86.ads b/gcc/ada/i-vxwork-x86.ads index 3220595..360c6fc 100644 --- a/gcc/ada/i-vxwork-x86.ads +++ b/gcc/ada/i-vxwork-x86.ads @@ -50,7 +50,7 @@ with System.VxWorks; package Interfaces.VxWorks is - pragma Preelaborate (VxWorks); + pragma Preelaborate; ------------------------------------------------------------------------ -- Here is a complete example that shows how to handle the Interrupt 0x33 diff --git a/gcc/ada/i-vxwork.ads b/gcc/ada/i-vxwork.ads index 9cc247a..4818a80 100644 --- a/gcc/ada/i-vxwork.ads +++ b/gcc/ada/i-vxwork.ads @@ -48,7 +48,7 @@ with System.VxWorks; package Interfaces.VxWorks is - pragma Preelaborate (VxWorks); + pragma Preelaborate; ------------------------------------------------------------------------ -- Here is a complete example that shows how to handle the Interrupt 0x14 diff --git a/gcc/ada/interfac-vms.ads b/gcc/ada/interfac-vms.ads index 4376fd9..1705e1e 100644 --- a/gcc/ada/interfac-vms.ads +++ b/gcc/ada/interfac-vms.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2002-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 2002-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -43,7 +43,7 @@ -- floating-point formats are available. package Interfaces is -pragma Pure (Interfaces); + pragma Pure; type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1; for Integer_8'Size use 8; @@ -71,103 +71,83 @@ pragma Pure (Interfaces); function Shift_Left (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Right (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Right_Arithmetic (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Rotate_Left (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Rotate_Right (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Left (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right_Arithmetic (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Rotate_Left (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Rotate_Right (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Left (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Right (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Right_Arithmetic (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Rotate_Left (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Rotate_Right (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Left (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Shift_Right (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Shift_Right_Arithmetic (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Rotate_Left (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Rotate_Right (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; pragma Import (Intrinsic, Shift_Left); pragma Import (Intrinsic, Shift_Right); @@ -178,6 +158,7 @@ pragma Pure (Interfaces); -- Floating point types. We use the digits value to define the IEEE -- forms, otherwise a configuration pragma specifying VAX float can -- default the digits to an illegal value for IEEE. + -- Note: it is harmless, and explicitly permitted, to include additional -- types in interfaces, so it is not wrong to have IEEE_Extended_Float -- defined even if the extended format is not available. diff --git a/gcc/ada/interfac.ads b/gcc/ada/interfac.ads index d06dab0..15cfd9c 100644 --- a/gcc/ada/interfac.ads +++ b/gcc/ada/interfac.ads @@ -6,11 +6,11 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2002-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2002-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- --- apply solely to the implementation dependent additions to thie file. -- +-- apply solely to the implementation dependent sections of this file. -- -- -- -- 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- -- @@ -38,10 +38,10 @@ -- Assumes integer sizes of 8, 16, 32 and 64 are available, and that the -- floating-point formats are IEEE compatible. --- Note: There is a specialized version of this package for OpenVMS. +-- Note: There is a specialized version of this package for OpenVMS package Interfaces is -pragma Pure (Interfaces); + pragma Pure; type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1; for Integer_8'Size use 8; @@ -89,7 +89,7 @@ pragma Pure (Interfaces); function Shift_Left (Value : Unsigned_16; - Amount : Natural) return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right (Value : Unsigned_16; @@ -157,6 +157,7 @@ pragma Pure (Interfaces); -- that the types Short_Float and Long_Float in Standard refer to the -- 32-bit short and 64-bit long IEEE forms. Furthermore, if there is -- an extended float, we assume that it is available as Long_Long_Float. + -- Note: it is harmless, and explicitly permitted, to include additional -- types in interfaces, so it is not wrong to have IEEE_Extended_Float -- defined even if the extended format is not available. diff --git a/gcc/ada/output.ads b/gcc/ada/output.ads index fe881b8..d69bcb3 100644 --- a/gcc/ada/output.ads +++ b/gcc/ada/output.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2001 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -38,7 +38,7 @@ with Types; use Types; package Output is -pragma Elaborate_Body (Output); + pragma Elaborate_Body; type Output_Proc is access procedure (S : String); -- This type is used for the Set_Special_Output procedure. If this diff --git a/gcc/ada/s-addope.ads b/gcc/ada/s-addope.ads index c4c8ea3..89b089b 100644 --- a/gcc/ada/s-addope.ads +++ b/gcc/ada/s-addope.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -47,7 +47,7 @@ -- operations may not be available if type Address is a signed integer. package System.Address_Operations is -pragma Pure (Address_Operations); + pragma Pure; -- The semantics of the arithmetic operations are those that apply to -- a modular type with the same length as Address, i.e. they provide diff --git a/gcc/ada/s-arit64.ads b/gcc/ada/s-arit64.ads index 2020519..9364277 100644 --- a/gcc/ada/s-arit64.ads +++ b/gcc/ada/s-arit64.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -38,7 +38,7 @@ with Interfaces; package System.Arith_64 is -pragma Pure (Arith_64); + pragma Pure; subtype Int64 is Interfaces.Integer_64; diff --git a/gcc/ada/s-atacco.ads b/gcc/ada/s-atacco.ads index 7d8eafc..6e2b434 100644 --- a/gcc/ada/s-atacco.ads +++ b/gcc/ada/s-atacco.ads @@ -39,13 +39,12 @@ generic type Object (<>) is limited private; package System.Address_To_Access_Conversions is -pragma Preelaborate (Address_To_Access_Conversions); - -pragma Elaborate_Body; --- This pragma Elaborate_Body is there to ensure the requirement of what is --- at the moment a dummy null body. The reason this null body is there is --- that we used to have a real body, and it causes bootstrap problems with --- old compilers if we try to remove the corresponding file. + pragma Preelaborate; + pragma Elaborate_Body; + -- This pragma Elaborate_Body is there to ensure the requirement of what is + -- at the moment a dummy null body. The reason this null body is there is + -- that we used to have a real body, and it causes bootstrap problems with + -- old compilers if we try to remove the corresponding file. pragma Compile_Time_Warning (Object'Unconstrained_Array, diff --git a/gcc/ada/s-boarop.ads b/gcc/ada/s-boarop.ads index ecca1ff..4ffd7bff 100644 --- a/gcc/ada/s-boarop.ads +++ b/gcc/ada/s-boarop.ads @@ -35,8 +35,10 @@ with System.Generic_Vector_Operations; with System.Vectors.Boolean_Operations; + package System.Boolean_Array_Operations is -pragma Pure (Boolean_Array_Operations); + pragma Pure; + type Boolean_Array is array (Integer range <>) of Boolean; package Boolean_Operations renames System.Vectors.Boolean_Operations; diff --git a/gcc/ada/s-casuti.ads b/gcc/ada/s-casuti.ads index 64e4f34..6b444d3 100644 --- a/gcc/ada/s-casuti.ads +++ b/gcc/ada/s-casuti.ads @@ -40,7 +40,7 @@ -- via GNAT.Case_Util, which imports all the entities from this package. package System.Case_Util is -pragma Pure (Case_Util); + pragma Pure; -- Note: all the following functions handle the full Latin-1 set diff --git a/gcc/ada/s-crtl-vms64.ads b/gcc/ada/s-crtl-vms64.ads index 608d9bb..f939ea0 100644 --- a/gcc/ada/s-crtl-vms64.ads +++ b/gcc/ada/s-crtl-vms64.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004,2005 Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2005 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- -- @@ -35,8 +35,9 @@ -- on 64 bit VMS. Note that routines that allocate memory remain 32bit. with System.Parameters; + package System.CRTL is -pragma Preelaborate (CRTL); + pragma Preelaborate; subtype chars is System.Address; -- Pointer to null-terminated array of characters diff --git a/gcc/ada/s-crtl.ads b/gcc/ada/s-crtl.ads index d4d8989..19d74c8 100644 --- a/gcc/ada/s-crtl.ads +++ b/gcc/ada/s-crtl.ads @@ -35,8 +35,9 @@ -- on non-VMS systems. with System.Parameters; + package System.CRTL is -pragma Preelaborate (CRTL); + pragma Preelaborate; subtype chars is System.Address; -- Pointer to null-terminated array of characters diff --git a/gcc/ada/s-exctab.ads b/gcc/ada/s-exctab.ads index 087d9e2..a1bcde8 100644 --- a/gcc/ada/s-exctab.ads +++ b/gcc/ada/s-exctab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1996-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1996-2005 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- -- @@ -38,7 +38,7 @@ with System.Standard_Library; package System.Exception_Table is -pragma Elaborate_Body; + pragma Elaborate_Body; package SSL renames System.Standard_Library; diff --git a/gcc/ada/s-exnint.ads b/gcc/ada/s-exnint.ads index 4f0c47d..4e25f65 100644 --- a/gcc/ada/s-exnint.ads +++ b/gcc/ada/s-exnint.ads @@ -34,7 +34,7 @@ -- Integer exponentiation (checks off) package System.Exn_Int is -pragma Pure (Exn_Int); + pragma Pure; function Exn_Integer (Left : Integer; Right : Natural) return Integer; diff --git a/gcc/ada/s-exnllf.ads b/gcc/ada/s-exnllf.ads index d274918..65dc967 100644 --- a/gcc/ada/s-exnllf.ads +++ b/gcc/ada/s-exnllf.ads @@ -34,7 +34,7 @@ -- Long_Long_Float exponentiation (checks off) package System.Exn_LLF is -pragma Pure (Exn_LLF); + pragma Pure; function Exn_Long_Long_Float (Left : Long_Long_Float; diff --git a/gcc/ada/s-exnlli.ads b/gcc/ada/s-exnlli.ads index 2f774c9..87b9757 100644 --- a/gcc/ada/s-exnlli.ads +++ b/gcc/ada/s-exnlli.ads @@ -34,7 +34,7 @@ -- Long_Long_Integer exponentiation (checks off) package System.Exn_LLI is -pragma Pure (Exn_LLI); + pragma Pure; function Exn_Long_Long_Integer (Left : Long_Long_Integer; diff --git a/gcc/ada/s-expint.ads b/gcc/ada/s-expint.ads index 5057192..5741e99 100644 --- a/gcc/ada/s-expint.ads +++ b/gcc/ada/s-expint.ads @@ -34,7 +34,7 @@ -- Integer exponentiation (checks on) package System.Exp_Int is -pragma Pure (Exp_Int); + pragma Pure; function Exp_Integer (Left : Integer; diff --git a/gcc/ada/s-explli.ads b/gcc/ada/s-explli.ads index e54cdf7..d74e51a 100644 --- a/gcc/ada/s-explli.ads +++ b/gcc/ada/s-explli.ads @@ -34,7 +34,7 @@ -- Long_Long_Integer exponentiation package System.Exp_LLI is -pragma Pure (Exp_LLI); + pragma Pure; function Exp_Long_Long_Integer (Left : Long_Long_Integer; diff --git a/gcc/ada/s-expllu.ads b/gcc/ada/s-expllu.ads index 62ec65e..7a84082 100644 --- a/gcc/ada/s-expllu.ads +++ b/gcc/ada/s-expllu.ads @@ -39,7 +39,7 @@ with System.Unsigned_Types; package System.Exp_LLU is -pragma Pure (Exp_LLU); + pragma Pure; function Exp_Long_Long_Unsigned (Left : System.Unsigned_Types.Long_Long_Unsigned; diff --git a/gcc/ada/s-expmod.ads b/gcc/ada/s-expmod.ads index 443633b..dfe9b59 100644 --- a/gcc/ada/s-expmod.ads +++ b/gcc/ada/s-expmod.ads @@ -36,7 +36,7 @@ -- accounting for the modulus value which is passed as the second argument. package System.Exp_Mod is -pragma Pure (Exp_Mod); + pragma Pure; function Exp_Modular (Left : Integer; diff --git a/gcc/ada/s-expuns.ads b/gcc/ada/s-expuns.ads index 9da648e..288258e 100644 --- a/gcc/ada/s-expuns.ads +++ b/gcc/ada/s-expuns.ads @@ -39,7 +39,7 @@ with System.Unsigned_Types; package System.Exp_Uns is -pragma Pure (Exp_Uns); + pragma Pure; function Exp_Unsigned (Left : System.Unsigned_Types.Unsigned; diff --git a/gcc/ada/s-fatflt.ads b/gcc/ada/s-fatflt.ads index 95c1656..92ad449 100644 --- a/gcc/ada/s-fatflt.ads +++ b/gcc/ada/s-fatflt.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_Flt is -pragma Pure (Fat_Flt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatgen.ads b/gcc/ada/s-fatgen.ads index f3e94de..c1bc820 100644 --- a/gcc/ada/s-fatgen.ads +++ b/gcc/ada/s-fatgen.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -41,7 +41,7 @@ generic type T is digits <>; package System.Fat_Gen is -pragma Pure (Fat_Gen); + pragma Pure; subtype UI is Integer; -- The runtime representation of universal integer for the purposes of diff --git a/gcc/ada/s-fatlfl.ads b/gcc/ada/s-fatlfl.ads index 84a64b5..bff9409 100644 --- a/gcc/ada/s-fatlfl.ads +++ b/gcc/ada/s-fatlfl.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_LFlt is -pragma Pure (Fat_LFlt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatllf.ads b/gcc/ada/s-fatllf.ads index 59e567b..bb8abf4 100644 --- a/gcc/ada/s-fatllf.ads +++ b/gcc/ada/s-fatllf.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_LLF is -pragma Pure (Fat_LLF); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatsfl.ads b/gcc/ada/s-fatsfl.ads index 7912f8b..1d1f350 100644 --- a/gcc/ada/s-fatsfl.ads +++ b/gcc/ada/s-fatsfl.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_SFlt is -pragma Pure (Fat_SFlt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-finimp.ads b/gcc/ada/s-finimp.ads index 747a71c..83d1709 100644 --- a/gcc/ada/s-finimp.ads +++ b/gcc/ada/s-finimp.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ with System.Finalization_Root; package System.Finalization_Implementation is -pragma Elaborate_Body (Finalization_Implementation); + pragma Elaborate_Body; package SFR renames System.Finalization_Root; diff --git a/gcc/ada/s-finroo.ads b/gcc/ada/s-finroo.ads index 03e47f1..ed1be45 100644 --- a/gcc/ada/s-finroo.ads +++ b/gcc/ada/s-finroo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with Ada.Streams; with Unchecked_Conversion; package System.Finalization_Root is -pragma Preelaborate (Finalization_Root); + pragma Preelaborate; type Root_Controlled; diff --git a/gcc/ada/s-fore.ads b/gcc/ada/s-fore.ads index 919c528..302b824 100644 --- a/gcc/ada/s-fore.ads +++ b/gcc/ada/s-fore.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for the 'Fore attribute package System.Fore is -pragma Pure (Fore); + pragma Pure; function Fore (Lo, Hi : Long_Long_Float) return Natural; -- Compute Fore attribute value for a fixed-point type. The parameters diff --git a/gcc/ada/s-geveop.ads b/gcc/ada/s-geveop.ads index 8ff6e17..f52b3a7 100644 --- a/gcc/ada/s-geveop.ads +++ b/gcc/ada/s-geveop.ads @@ -43,12 +43,14 @@ with System.Vectors; with System.Storage_Elements; + generic type Element is (<>); type Index is (<>); type Element_Array is array (Index range <>) of Element; + package System.Generic_Vector_Operations is -pragma Pure (Generic_Vector_Operations); + pragma Pure; generic with function Element_Op (X, Y : Element) return Element; diff --git a/gcc/ada/s-htable.ads b/gcc/ada/s-htable.ads index abb9b96..762690b 100644 --- a/gcc/ada/s-htable.ads +++ b/gcc/ada/s-htable.ads @@ -40,7 +40,7 @@ -- complete control over allocation. package System.HTable is -pragma Preelaborate (HTable); + pragma Preelaborate; ------------------- -- Simple_HTable -- diff --git a/gcc/ada/s-imgbiu.ads b/gcc/ada/s-imgbiu.ads index 718d345..d1fbeb8 100644 --- a/gcc/ada/s-imgbiu.ads +++ b/gcc/ada/s-imgbiu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_BIU is -pragma Pure (Img_BIU); + pragma Pure; procedure Set_Image_Based_Integer (V : Integer; diff --git a/gcc/ada/s-imgboo.ads b/gcc/ada/s-imgboo.ads index ca03570..3723f58 100644 --- a/gcc/ada/s-imgboo.ads +++ b/gcc/ada/s-imgboo.ads @@ -34,7 +34,7 @@ -- Boolean'Image package System.Img_Bool is -pragma Pure (Img_Bool); + pragma Pure; function Image_Boolean (V : Boolean) return String; -- Computes Boolean'Image (V) and returns the result. diff --git a/gcc/ada/s-imgcha.ads b/gcc/ada/s-imgcha.ads index c7dddcc..a756dcb 100644 --- a/gcc/ada/s-imgcha.ads +++ b/gcc/ada/s-imgcha.ads @@ -34,7 +34,7 @@ -- Character'Image package System.Img_Char is -pragma Pure (Img_Char); + pragma Pure; function Image_Character (V : Character) return String; -- Computes Character'Image (V) and returns the result diff --git a/gcc/ada/s-imgdec.ads b/gcc/ada/s-imgdec.ads index 731d647..d1e2768 100644 --- a/gcc/ada/s-imgdec.ads +++ b/gcc/ada/s-imgdec.ads @@ -35,7 +35,7 @@ -- type does not exceed Integer'Size (also used for Text_IO.Decimal_IO output) package System.Img_Dec is -pragma Preelaborate (Img_Dec); + pragma Preelaborate; function Image_Decimal (V : Integer; diff --git a/gcc/ada/s-imgenu.ads b/gcc/ada/s-imgenu.ads index 3e5cca3..8539422 100644 --- a/gcc/ada/s-imgenu.ads +++ b/gcc/ada/s-imgenu.ads @@ -37,7 +37,7 @@ -- Special routines exist for the enumeration routines in these packages. package System.Img_Enum is -pragma Pure (Img_Enum); + pragma Pure; function Image_Enumeration_8 (Pos : Natural; diff --git a/gcc/ada/s-imgint.ads b/gcc/ada/s-imgint.ads index d15b545..a9e3521 100644 --- a/gcc/ada/s-imgint.ads +++ b/gcc/ada/s-imgint.ads @@ -36,7 +36,7 @@ -- operations required in Text_IO.Integer_IO for such types. package System.Img_Int is -pragma Pure (Img_Int); + pragma Pure; function Image_Integer (V : Integer) return String; -- Computes Integer'Image (V) and returns the result diff --git a/gcc/ada/s-imgllb.ads b/gcc/ada/s-imgllb.ads index 2438120..93e6bda 100644 --- a/gcc/ada/s-imgllb.ads +++ b/gcc/ada/s-imgllb.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLB is -pragma Preelaborate (Img_LLB); + pragma Preelaborate; procedure Set_Image_Based_Long_Long_Integer (V : Long_Long_Integer; diff --git a/gcc/ada/s-imglld.ads b/gcc/ada/s-imglld.ads index baa79a2..0ef70f4 100644 --- a/gcc/ada/s-imglld.ads +++ b/gcc/ada/s-imglld.ads @@ -35,7 +35,7 @@ -- type does exceeds Integer'Size (also used for Text_IO.Decimal_IO output) package System.Img_LLD is -pragma Preelaborate (Img_LLD); + pragma Preelaborate; function Image_Long_Long_Decimal (V : Long_Long_Integer; diff --git a/gcc/ada/s-imglli.ads b/gcc/ada/s-imglli.ads index d9ba74a..8137f3d 100644 --- a/gcc/ada/s-imglli.ads +++ b/gcc/ada/s-imglli.ads @@ -36,7 +36,7 @@ -- operations required in Text_IO.Integer_IO for such types. package System.Img_LLI is -pragma Preelaborate (Img_LLI); + pragma Preelaborate; function Image_Long_Long_Integer (V : Long_Long_Integer) return String; -- Computes Long_Long_Integer'Image (V) and returns the result. diff --git a/gcc/ada/s-imgllu.ads b/gcc/ada/s-imgllu.ads index 20484de..318152c 100644 --- a/gcc/ada/s-imgllu.ads +++ b/gcc/ada/s-imgllu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLU is -pragma Pure (Img_LLU); + pragma Pure; function Image_Long_Long_Unsigned (V : System.Unsigned_Types.Long_Long_Unsigned) diff --git a/gcc/ada/s-imgllw.ads b/gcc/ada/s-imgllw.ads index ce7f2d1..04d85c6 100644 --- a/gcc/ada/s-imgllw.ads +++ b/gcc/ada/s-imgllw.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLW is -pragma Pure (Img_LLW); + pragma Pure; procedure Set_Image_Width_Long_Long_Integer (V : Long_Long_Integer; diff --git a/gcc/ada/s-imgrea.ads b/gcc/ada/s-imgrea.ads index bbe709f..0f298bf 100644 --- a/gcc/ada/s-imgrea.ads +++ b/gcc/ada/s-imgrea.ads @@ -34,7 +34,7 @@ -- Image for fixed and float types (also used for Float_IO/Fixed_IO output) package System.Img_Real is -pragma Preelaborate (Img_Real); + pragma Preelaborate; function Image_Ordinary_Fixed_Point (V : Long_Long_Float; diff --git a/gcc/ada/s-imguns.ads b/gcc/ada/s-imguns.ads index 7b8696f..6ce8898 100644 --- a/gcc/ada/s-imguns.ads +++ b/gcc/ada/s-imguns.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_Uns is -pragma Pure (Img_Uns); + pragma Pure; function Image_Unsigned (V : System.Unsigned_Types.Unsigned) diff --git a/gcc/ada/s-imgwch.ads b/gcc/ada/s-imgwch.ads index 3dbff97..dbcfb07 100644 --- a/gcc/ada/s-imgwch.ads +++ b/gcc/ada/s-imgwch.ads @@ -34,7 +34,7 @@ -- Wide_[Wide_]Character'Image package System.Img_WChar is -pragma Pure (Img_WChar); + pragma Pure; function Image_Wide_Character (V : Wide_Character) return String; -- Computes Wide_Character'Image (V) and returns the computed result diff --git a/gcc/ada/s-imgwiu.ads b/gcc/ada/s-imgwiu.ads index 50a0318..8b53da8 100644 --- a/gcc/ada/s-imgwiu.ads +++ b/gcc/ada/s-imgwiu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_WIU is -pragma Pure (Img_WIU); + pragma Pure; procedure Set_Image_Width_Integer (V : Integer; diff --git a/gcc/ada/s-io.ads b/gcc/ada/s-io.ads index 5f91677..6171510 100644 --- a/gcc/ada/s-io.ads +++ b/gcc/ada/s-io.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1998 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ -- for character, integer, string and a new line function package System.IO is -pragma Preelaborate (IO); + pragma Preelaborate; procedure Put (X : Integer); diff --git a/gcc/ada/s-maccod.ads b/gcc/ada/s-maccod.ads index 93620bb..490e9d6 100644 --- a/gcc/ada/s-maccod.ads +++ b/gcc/ada/s-maccod.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- for full details. package System.Machine_Code is -pragma Pure (Machine_Code); + pragma Pure; type Asm_Input_Operand is private; type Asm_Output_Operand is private; diff --git a/gcc/ada/s-mantis.ads b/gcc/ada/s-mantis.ads index 4f031a4..7637981 100644 --- a/gcc/ada/s-mantis.ads +++ b/gcc/ada/s-mantis.ads @@ -35,7 +35,7 @@ -- fixed-point type with non-static bounds. package System.Mantissa is -pragma Pure (Mantissa); + pragma Pure; function Mantissa_Value (First, Last : Integer) return Natural; -- Compute Mantissa value from the given arguments, which are the First diff --git a/gcc/ada/s-memcop.ads b/gcc/ada/s-memcop.ads index 1765705..477cc38 100644 --- a/gcc/ada/s-memcop.ads +++ b/gcc/ada/s-memcop.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -46,7 +46,7 @@ with System.CRTL; -- The above with is contrary to the intent ??? package System.Memory_Copy is -pragma Preelaborate; + pragma Preelaborate; procedure memcpy (S1 : Address; S2 : Address; N : System.CRTL.size_t) renames System.CRTL.memcpy; diff --git a/gcc/ada/s-osinte-mingw.ads b/gcc/ada/s-osinte-mingw.ads index 16641ba..e2bd668 100644 --- a/gcc/ada/s-osinte-mingw.ads +++ b/gcc/ada/s-osinte-mingw.ads @@ -45,7 +45,7 @@ with Interfaces.C.Strings; with Unchecked_Conversion; package System.OS_Interface is -pragma Preelaborate; + pragma Preelaborate; pragma Linker_Options ("-mthreads"); diff --git a/gcc/ada/s-pack03.ads b/gcc/ada/s-pack03.ads index c0f0585..3b03c6e 100644 --- a/gcc/ada/s-pack03.ads +++ b/gcc/ada/s-pack03.ads @@ -34,7 +34,7 @@ -- Handing of packed arrays with Component_Size = 3 package System.Pack_03 is -pragma Preelaborate (Pack_03); + pragma Preelaborate; Bits : constant := 3; diff --git a/gcc/ada/s-pack05.ads b/gcc/ada/s-pack05.ads index dd4e8e9..2f4fc26 100644 --- a/gcc/ada/s-pack05.ads +++ b/gcc/ada/s-pack05.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 5 package System.Pack_05 is -pragma Preelaborate (Pack_05); + pragma Preelaborate; Bits : constant := 5; diff --git a/gcc/ada/s-pack06.ads b/gcc/ada/s-pack06.ads index 82eccd6..dcd53ab 100644 --- a/gcc/ada/s-pack06.ads +++ b/gcc/ada/s-pack06.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 6 package System.Pack_06 is -pragma Preelaborate (Pack_06); + pragma Preelaborate; Bits : constant := 6; diff --git a/gcc/ada/s-pack07.ads b/gcc/ada/s-pack07.ads index 9ec14b1..d994b68 100644 --- a/gcc/ada/s-pack07.ads +++ b/gcc/ada/s-pack07.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 7 package System.Pack_07 is -pragma Preelaborate (Pack_07); + pragma Preelaborate; Bits : constant := 7; diff --git a/gcc/ada/s-pack09.ads b/gcc/ada/s-pack09.ads index 01d1ac2..7b4e51b 100644 --- a/gcc/ada/s-pack09.ads +++ b/gcc/ada/s-pack09.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 9 package System.Pack_09 is -pragma Preelaborate (Pack_09); + pragma Preelaborate; Bits : constant := 9; diff --git a/gcc/ada/s-pack10.ads b/gcc/ada/s-pack10.ads index 6fede90..f079f7f 100644 --- a/gcc/ada/s-pack10.ads +++ b/gcc/ada/s-pack10.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 10 package System.Pack_10 is -pragma Preelaborate (Pack_10); + pragma Preelaborate; Bits : constant := 10; diff --git a/gcc/ada/s-pack11.ads b/gcc/ada/s-pack11.ads index f862ae3..b8017cf 100644 --- a/gcc/ada/s-pack11.ads +++ b/gcc/ada/s-pack11.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 11 package System.Pack_11 is -pragma Preelaborate (Pack_11); + pragma Preelaborate; Bits : constant := 11; diff --git a/gcc/ada/s-pack12.ads b/gcc/ada/s-pack12.ads index 000457c..002bc51 100644 --- a/gcc/ada/s-pack12.ads +++ b/gcc/ada/s-pack12.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 12 package System.Pack_12 is -pragma Preelaborate (Pack_12); + pragma Preelaborate; Bits : constant := 12; diff --git a/gcc/ada/s-pack13.ads b/gcc/ada/s-pack13.ads index b07bf53..8022a90 100644 --- a/gcc/ada/s-pack13.ads +++ b/gcc/ada/s-pack13.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 13 package System.Pack_13 is -pragma Preelaborate (Pack_13); + pragma Preelaborate; Bits : constant := 13; diff --git a/gcc/ada/s-pack14.ads b/gcc/ada/s-pack14.ads index 7e8e551..e3744b2 100644 --- a/gcc/ada/s-pack14.ads +++ b/gcc/ada/s-pack14.ads @@ -34,7 +34,7 @@ -- Handing of packed arrays with Component_Size = 14 package System.Pack_14 is -pragma Preelaborate (Pack_14); + pragma Preelaborate; Bits : constant := 14; diff --git a/gcc/ada/s-pack15.ads b/gcc/ada/s-pack15.ads index eb53800..c166f8a 100644 --- a/gcc/ada/s-pack15.ads +++ b/gcc/ada/s-pack15.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 15 package System.Pack_15 is -pragma Preelaborate (Pack_15); + pragma Preelaborate; Bits : constant := 15; diff --git a/gcc/ada/s-pack17.ads b/gcc/ada/s-pack17.ads index aaf962f..fde3bd1 100644 --- a/gcc/ada/s-pack17.ads +++ b/gcc/ada/s-pack17.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 17 package System.Pack_17 is -pragma Preelaborate (Pack_17); + pragma Preelaborate; Bits : constant := 17; diff --git a/gcc/ada/s-pack18.ads b/gcc/ada/s-pack18.ads index a78e957..c689d50 100644 --- a/gcc/ada/s-pack18.ads +++ b/gcc/ada/s-pack18.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 18 package System.Pack_18 is -pragma Preelaborate (Pack_18); + pragma Preelaborate; Bits : constant := 18; diff --git a/gcc/ada/s-pack19.ads b/gcc/ada/s-pack19.ads index a8db679..4f3e12d 100644 --- a/gcc/ada/s-pack19.ads +++ b/gcc/ada/s-pack19.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 19 package System.Pack_19 is -pragma Preelaborate (Pack_19); + pragma Preelaborate; Bits : constant := 19; diff --git a/gcc/ada/s-pack20.ads b/gcc/ada/s-pack20.ads index 76c89cd..39a9dc5 100644 --- a/gcc/ada/s-pack20.ads +++ b/gcc/ada/s-pack20.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 20 package System.Pack_20 is -pragma Preelaborate (Pack_20); + pragma Preelaborate; Bits : constant := 20; diff --git a/gcc/ada/s-pack21.ads b/gcc/ada/s-pack21.ads index 08c7dae..7de18f9 100644 --- a/gcc/ada/s-pack21.ads +++ b/gcc/ada/s-pack21.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 21 package System.Pack_21 is -pragma Preelaborate (Pack_21); + pragma Preelaborate; Bits : constant := 21; diff --git a/gcc/ada/s-pack22.ads b/gcc/ada/s-pack22.ads index e7df2af..3968d23 100644 --- a/gcc/ada/s-pack22.ads +++ b/gcc/ada/s-pack22.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 22 package System.Pack_22 is -pragma Preelaborate (Pack_22); + pragma Preelaborate; Bits : constant := 22; diff --git a/gcc/ada/s-pack23.ads b/gcc/ada/s-pack23.ads index 8190870..f19a9e9 100644 --- a/gcc/ada/s-pack23.ads +++ b/gcc/ada/s-pack23.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 23 package System.Pack_23 is -pragma Preelaborate (Pack_23); + pragma Preelaborate; Bits : constant := 23; diff --git a/gcc/ada/s-pack24.ads b/gcc/ada/s-pack24.ads index 4fafa29..8c1834e 100644 --- a/gcc/ada/s-pack24.ads +++ b/gcc/ada/s-pack24.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 24 package System.Pack_24 is -pragma Preelaborate (Pack_24); + pragma Preelaborate; Bits : constant := 24; diff --git a/gcc/ada/s-pack25.ads b/gcc/ada/s-pack25.ads index e0447c0..7882d17 100644 --- a/gcc/ada/s-pack25.ads +++ b/gcc/ada/s-pack25.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 25 package System.Pack_25 is -pragma Preelaborate (Pack_25); + pragma Preelaborate; Bits : constant := 25; diff --git a/gcc/ada/s-pack26.ads b/gcc/ada/s-pack26.ads index cbf4e2f..793b038 100644 --- a/gcc/ada/s-pack26.ads +++ b/gcc/ada/s-pack26.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 26 package System.Pack_26 is -pragma Preelaborate (Pack_26); + pragma Preelaborate; Bits : constant := 26; diff --git a/gcc/ada/s-pack27.ads b/gcc/ada/s-pack27.ads index 877cbd6..edbda50 100644 --- a/gcc/ada/s-pack27.ads +++ b/gcc/ada/s-pack27.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 27 package System.Pack_27 is -pragma Preelaborate (Pack_27); + pragma Preelaborate; Bits : constant := 27; diff --git a/gcc/ada/s-pack28.ads b/gcc/ada/s-pack28.ads index e6cd60a..5a30307 100644 --- a/gcc/ada/s-pack28.ads +++ b/gcc/ada/s-pack28.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 28 package System.Pack_28 is -pragma Preelaborate (Pack_28); + pragma Preelaborate; Bits : constant := 28; diff --git a/gcc/ada/s-pack29.ads b/gcc/ada/s-pack29.ads index 2cbe37c..6c1ad90 100644 --- a/gcc/ada/s-pack29.ads +++ b/gcc/ada/s-pack29.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 29 package System.Pack_29 is -pragma Preelaborate (Pack_29); + pragma Preelaborate; Bits : constant := 29; diff --git a/gcc/ada/s-pack30.ads b/gcc/ada/s-pack30.ads index 3fb8ebc..c85fe7c 100644 --- a/gcc/ada/s-pack30.ads +++ b/gcc/ada/s-pack30.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 30 package System.Pack_30 is -pragma Preelaborate (Pack_30); + pragma Preelaborate; Bits : constant := 30; diff --git a/gcc/ada/s-pack31.ads b/gcc/ada/s-pack31.ads index 8fe65c8..d23157b 100644 --- a/gcc/ada/s-pack31.ads +++ b/gcc/ada/s-pack31.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 31 package System.Pack_31 is -pragma Preelaborate (Pack_31); + pragma Preelaborate; Bits : constant := 31; diff --git a/gcc/ada/s-pack33.ads b/gcc/ada/s-pack33.ads index 59ebec8..8b8d5c1 100644 --- a/gcc/ada/s-pack33.ads +++ b/gcc/ada/s-pack33.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 33 package System.Pack_33 is -pragma Preelaborate (Pack_33); + pragma Preelaborate; Bits : constant := 33; diff --git a/gcc/ada/s-pack34.ads b/gcc/ada/s-pack34.ads index 7f9cdd1..db7ffbb 100644 --- a/gcc/ada/s-pack34.ads +++ b/gcc/ada/s-pack34.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 34 package System.Pack_34 is -pragma Preelaborate (Pack_34); + pragma Preelaborate; Bits : constant := 34; diff --git a/gcc/ada/s-pack35.ads b/gcc/ada/s-pack35.ads index 3096e1a..1f07dde 100644 --- a/gcc/ada/s-pack35.ads +++ b/gcc/ada/s-pack35.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 35 package System.Pack_35 is -pragma Preelaborate (Pack_35); + pragma Preelaborate; Bits : constant := 35; diff --git a/gcc/ada/s-pack36.ads b/gcc/ada/s-pack36.ads index bc0a724..509e65b 100644 --- a/gcc/ada/s-pack36.ads +++ b/gcc/ada/s-pack36.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 36 package System.Pack_36 is -pragma Preelaborate (Pack_36); + pragma Preelaborate; Bits : constant := 36; diff --git a/gcc/ada/s-pack37.ads b/gcc/ada/s-pack37.ads index aaf1f9a..df2156d 100644 --- a/gcc/ada/s-pack37.ads +++ b/gcc/ada/s-pack37.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 37 package System.Pack_37 is -pragma Preelaborate (Pack_37); + pragma Preelaborate; Bits : constant := 37; diff --git a/gcc/ada/s-pack38.ads b/gcc/ada/s-pack38.ads index 56eec43..a9d9a49 100644 --- a/gcc/ada/s-pack38.ads +++ b/gcc/ada/s-pack38.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 38 package System.Pack_38 is -pragma Preelaborate (Pack_38); + pragma Preelaborate; Bits : constant := 38; diff --git a/gcc/ada/s-pack39.ads b/gcc/ada/s-pack39.ads index 3544fce..4a2ff51 100644 --- a/gcc/ada/s-pack39.ads +++ b/gcc/ada/s-pack39.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 39 package System.Pack_39 is -pragma Preelaborate (Pack_39); + pragma Preelaborate; Bits : constant := 39; diff --git a/gcc/ada/s-pack40.ads b/gcc/ada/s-pack40.ads index 4116c43..ee7981c 100644 --- a/gcc/ada/s-pack40.ads +++ b/gcc/ada/s-pack40.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 40 package System.Pack_40 is -pragma Preelaborate (Pack_40); + pragma Preelaborate; Bits : constant := 40; diff --git a/gcc/ada/s-pack41.ads b/gcc/ada/s-pack41.ads index d772fac..9a956f3 100644 --- a/gcc/ada/s-pack41.ads +++ b/gcc/ada/s-pack41.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 41 package System.Pack_41 is -pragma Preelaborate (Pack_41); + pragma Preelaborate; Bits : constant := 41; diff --git a/gcc/ada/s-pack42.ads b/gcc/ada/s-pack42.ads index e384d82..82ce710 100644 --- a/gcc/ada/s-pack42.ads +++ b/gcc/ada/s-pack42.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 42 package System.Pack_42 is -pragma Preelaborate (Pack_42); + pragma Preelaborate; Bits : constant := 42; diff --git a/gcc/ada/s-pack43.ads b/gcc/ada/s-pack43.ads index 86e3c83..74d4fad 100644 --- a/gcc/ada/s-pack43.ads +++ b/gcc/ada/s-pack43.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 43 package System.Pack_43 is -pragma Preelaborate (Pack_43); + pragma Preelaborate; Bits : constant := 43; diff --git a/gcc/ada/s-pack44.ads b/gcc/ada/s-pack44.ads index 07359b6..fa6863f 100644 --- a/gcc/ada/s-pack44.ads +++ b/gcc/ada/s-pack44.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 44 package System.Pack_44 is -pragma Preelaborate (Pack_44); + pragma Preelaborate; Bits : constant := 44; diff --git a/gcc/ada/s-pack45.ads b/gcc/ada/s-pack45.ads index 333c225..78ebaa1 100644 --- a/gcc/ada/s-pack45.ads +++ b/gcc/ada/s-pack45.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 45 package System.Pack_45 is -pragma Preelaborate (Pack_45); + pragma Preelaborate; Bits : constant := 45; diff --git a/gcc/ada/s-pack46.ads b/gcc/ada/s-pack46.ads index 2f28537..0925670 100644 --- a/gcc/ada/s-pack46.ads +++ b/gcc/ada/s-pack46.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 46 package System.Pack_46 is -pragma Preelaborate (Pack_46); + pragma Preelaborate; Bits : constant := 46; diff --git a/gcc/ada/s-pack47.ads b/gcc/ada/s-pack47.ads index 85b78bd..4ca1ba3 100644 --- a/gcc/ada/s-pack47.ads +++ b/gcc/ada/s-pack47.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 47 package System.Pack_47 is -pragma Preelaborate (Pack_47); + pragma Preelaborate; Bits : constant := 47; diff --git a/gcc/ada/s-pack48.ads b/gcc/ada/s-pack48.ads index 078c8b4..0004f92 100644 --- a/gcc/ada/s-pack48.ads +++ b/gcc/ada/s-pack48.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 48 package System.Pack_48 is -pragma Preelaborate (Pack_48); + pragma Preelaborate; Bits : constant := 48; diff --git a/gcc/ada/s-pack49.ads b/gcc/ada/s-pack49.ads index 72a46b0..f60042b 100644 --- a/gcc/ada/s-pack49.ads +++ b/gcc/ada/s-pack49.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 49 package System.Pack_49 is -pragma Preelaborate (Pack_49); + pragma Preelaborate; Bits : constant := 49; diff --git a/gcc/ada/s-pack50.ads b/gcc/ada/s-pack50.ads index cca7133..0ac3532 100644 --- a/gcc/ada/s-pack50.ads +++ b/gcc/ada/s-pack50.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 50 package System.Pack_50 is -pragma Preelaborate (Pack_50); + pragma Preelaborate; Bits : constant := 50; diff --git a/gcc/ada/s-pack51.ads b/gcc/ada/s-pack51.ads index 5092b24..b5a479e 100644 --- a/gcc/ada/s-pack51.ads +++ b/gcc/ada/s-pack51.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 51 package System.Pack_51 is -pragma Preelaborate (Pack_51); + pragma Preelaborate; Bits : constant := 51; diff --git a/gcc/ada/s-pack52.ads b/gcc/ada/s-pack52.ads index 39662fe..0bb2dfc 100644 --- a/gcc/ada/s-pack52.ads +++ b/gcc/ada/s-pack52.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 52 package System.Pack_52 is -pragma Preelaborate (Pack_52); + pragma Preelaborate; Bits : constant := 52; diff --git a/gcc/ada/s-pack53.ads b/gcc/ada/s-pack53.ads index 73dd942..eaf4fcc 100644 --- a/gcc/ada/s-pack53.ads +++ b/gcc/ada/s-pack53.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 53 package System.Pack_53 is -pragma Preelaborate (Pack_53); + pragma Preelaborate; Bits : constant := 53; diff --git a/gcc/ada/s-pack54.ads b/gcc/ada/s-pack54.ads index db53f07..efecf49 100644 --- a/gcc/ada/s-pack54.ads +++ b/gcc/ada/s-pack54.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 54 package System.Pack_54 is -pragma Preelaborate (Pack_54); + pragma Preelaborate; Bits : constant := 54; diff --git a/gcc/ada/s-pack55.ads b/gcc/ada/s-pack55.ads index 76708b6..61c8709 100644 --- a/gcc/ada/s-pack55.ads +++ b/gcc/ada/s-pack55.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 55 package System.Pack_55 is -pragma Preelaborate (Pack_55); + pragma Preelaborate; Bits : constant := 55; diff --git a/gcc/ada/s-pack56.ads b/gcc/ada/s-pack56.ads index 7dd865d..d0d3c79 100644 --- a/gcc/ada/s-pack56.ads +++ b/gcc/ada/s-pack56.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 56 package System.Pack_56 is -pragma Preelaborate (Pack_56); + pragma Preelaborate; Bits : constant := 56; diff --git a/gcc/ada/s-pack57.ads b/gcc/ada/s-pack57.ads index 761963a..2781b4a 100644 --- a/gcc/ada/s-pack57.ads +++ b/gcc/ada/s-pack57.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 57 package System.Pack_57 is -pragma Preelaborate (Pack_57); + pragma Preelaborate; Bits : constant := 57; diff --git a/gcc/ada/s-pack58.ads b/gcc/ada/s-pack58.ads index 5657956..a884345 100644 --- a/gcc/ada/s-pack58.ads +++ b/gcc/ada/s-pack58.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 58 package System.Pack_58 is -pragma Preelaborate (Pack_58); + pragma Preelaborate; Bits : constant := 58; diff --git a/gcc/ada/s-pack59.ads b/gcc/ada/s-pack59.ads index dd14292..492b9ce 100644 --- a/gcc/ada/s-pack59.ads +++ b/gcc/ada/s-pack59.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 59 package System.Pack_59 is -pragma Preelaborate (Pack_59); + pragma Preelaborate; Bits : constant := 59; diff --git a/gcc/ada/s-pack60.ads b/gcc/ada/s-pack60.ads index b87480c..fd6f7d0 100644 --- a/gcc/ada/s-pack60.ads +++ b/gcc/ada/s-pack60.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 60 package System.Pack_60 is -pragma Preelaborate (Pack_60); + pragma Preelaborate; Bits : constant := 60; diff --git a/gcc/ada/s-pack61.ads b/gcc/ada/s-pack61.ads index 554ad92..e745c5e 100644 --- a/gcc/ada/s-pack61.ads +++ b/gcc/ada/s-pack61.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 61 package System.Pack_61 is -pragma Preelaborate (Pack_61); + pragma Preelaborate; Bits : constant := 61; diff --git a/gcc/ada/s-pack62.ads b/gcc/ada/s-pack62.ads index c66b4f8..a7642b5 100644 --- a/gcc/ada/s-pack62.ads +++ b/gcc/ada/s-pack62.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 62 package System.Pack_62 is -pragma Preelaborate (Pack_62); + pragma Preelaborate; Bits : constant := 62; diff --git a/gcc/ada/s-pack63.ads b/gcc/ada/s-pack63.ads index 154c0d7..08f84f5 100644 --- a/gcc/ada/s-pack63.ads +++ b/gcc/ada/s-pack63.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 63 package System.Pack_63 is -pragma Preelaborate (Pack_63); + pragma Preelaborate; Bits : constant := 63; diff --git a/gcc/ada/s-parame-ae653.ads b/gcc/ada/s-parame-ae653.ads index b00d1c3..2502c5e 100644 --- a/gcc/ada/s-parame-ae653.ads +++ b/gcc/ada/s-parame-ae653.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-hpux.ads b/gcc/ada/s-parame-hpux.ads index 973acb5..f4a806f 100644 --- a/gcc/ada/s-parame-hpux.ads +++ b/gcc/ada/s-parame-hpux.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vms-restrict.ads b/gcc/ada/s-parame-vms-restrict.ads index aec2ed5..6bb42b5 100644 --- a/gcc/ada/s-parame-vms-restrict.ads +++ b/gcc/ada/s-parame-vms-restrict.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vms.ads b/gcc/ada/s-parame-vms.ads index c130bde..2bb34d5 100644 --- a/gcc/ada/s-parame-vms.ads +++ b/gcc/ada/s-parame-vms.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vxworks.ads b/gcc/ada/s-parame-vxworks.ads index 56637f7..ea76e89 100644 --- a/gcc/ada/s-parame-vxworks.ads +++ b/gcc/ada/s-parame-vxworks.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame.ads b/gcc/ada/s-parame.ads index 7f53371..6a77b35 100644 --- a/gcc/ada/s-parame.ads +++ b/gcc/ada/s-parame.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-pooglo.ads b/gcc/ada/s-pooglo.ads index 9bf0418..734a1c1 100644 --- a/gcc/ada/s-pooglo.ads +++ b/gcc/ada/s-pooglo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1994, 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,9 +36,8 @@ with System.Storage_Pools; with System.Storage_Elements; package System.Pool_Global is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators -- Allocation strategy: diff --git a/gcc/ada/s-pooloc.ads b/gcc/ada/s-pooloc.ads index 7a5748e..c7fe93e 100644 --- a/gcc/ada/s-pooloc.ads +++ b/gcc/ada/s-pooloc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1998, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -35,9 +35,8 @@ with System.Storage_Elements; with System.Pool_Global; package System.Pool_Local is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators ---------------------------- -- Unbounded_Reclaim_Pool -- diff --git a/gcc/ada/s-poosiz.ads b/gcc/ada/s-poosiz.ads index a4bdef1..4245f0a 100644 --- a/gcc/ada/s-poosiz.ads +++ b/gcc/ada/s-poosiz.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -35,9 +35,8 @@ with System.Storage_Pools; with System.Storage_Elements; package System.Pool_Size is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators ------------------------ -- Stack_Bounded_Pool -- diff --git a/gcc/ada/s-powtab.ads b/gcc/ada/s-powtab.ads index 7c8c461..e043397 100644 --- a/gcc/ada/s-powtab.ads +++ b/gcc/ada/s-powtab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1999 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ -- This package provides a powers of ten table used for real conversions package System.Powten_Table is -pragma Pure (Powten_Table); + pragma Pure; Maxpow : constant := 22; -- The number of entries in this table is chosen to include powers of ten diff --git a/gcc/ada/s-purexc.ads b/gcc/ada/s-purexc.ads index b725bcd..c9edb60 100644 --- a/gcc/ada/s-purexc.ads +++ b/gcc/ada/s-purexc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 2000-2005 Ada Core Technologies, 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- -- @@ -36,7 +36,7 @@ -- is for internal use only, it is not generally available to applications. package System.Pure_Exceptions is -pragma Pure (Pure_Exceptions); + pragma Pure; type Exception_Type is limited null record; -- Type used to specify which exception to raise diff --git a/gcc/ada/s-sopco3.ads b/gcc/ada/s-sopco3.ads index 70d75f7..ff7dec2 100644 --- a/gcc/ada/s-sopco3.ads +++ b/gcc/ada/s-sopco3.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating three strings package System.String_Ops_Concat_3 is -pragma Pure (String_Ops_Concat_3); + pragma Pure; function Str_Concat_3 (S1, S2, S3 : String) return String; -- Concatenate three strings and return resulting string diff --git a/gcc/ada/s-sopco4.ads b/gcc/ada/s-sopco4.ads index d7a3d47..5194dad 100644 --- a/gcc/ada/s-sopco4.ads +++ b/gcc/ada/s-sopco4.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating four strings package System.String_Ops_Concat_4 is -pragma Pure (String_Ops_Concat_4); + pragma Pure; function Str_Concat_4 (S1, S2, S3, S4 : String) return String; -- Concatenate four strings and return resulting string diff --git a/gcc/ada/s-sopco5.ads b/gcc/ada/s-sopco5.ads index 7a8c0da..001fee9 100644 --- a/gcc/ada/s-sopco5.ads +++ b/gcc/ada/s-sopco5.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating five strings package System.String_Ops_Concat_5 is -pragma Pure (String_Ops_Concat_5); + pragma Pure; function Str_Concat_5 (S1, S2, S3, S4, S5 : String) return String; -- Concatenate five strings and return resulting string diff --git a/gcc/ada/s-stoele.ads b/gcc/ada/s-stoele.ads index edcb090..ca50e03 100644 --- a/gcc/ada/s-stoele.ads +++ b/gcc/ada/s-stoele.ads @@ -40,16 +40,16 @@ -- It is a good idea to avoid use clauses for this package! package System.Storage_Elements is -pragma Pure (Storage_Elements); --- Note that we take advantage of the implementation permission to make --- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, --- this is Pure in any case (AI-362). - --- We also add the pragma Pure_Function to the operations in this package, --- because otherwise functions with parameters derived from Address are --- treated as non-pure by the back-end (see exp_ch6.adb). This is because --- in many cases such a parameter is used to hide read/out access to objects, --- and it would be unsafe to treat such functions as pure. + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, + -- this is Pure in any case (AI-362). + + -- We also add the pragma Pure_Function to the operations in this package, + -- because otherwise functions with parameters derived from Address are + -- treated as non-pure by the back-end (see exp_ch6.adb). This is because + -- in many cases such a parameter is used to hide read/out access to + -- objects, and it would be unsafe to treat such functions as pure. type Storage_Offset is range -(2 ** (Integer'(Standard'Address_Size) - 1)) .. diff --git a/gcc/ada/s-stopoo.ads b/gcc/ada/s-stopoo.ads index 51581a9..c30ee9c 100644 --- a/gcc/ada/s-stopoo.ads +++ b/gcc/ada/s-stopoo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -39,7 +39,7 @@ with Ada.Finalization; with System.Storage_Elements; package System.Storage_Pools is - pragma Preelaborate (System.Storage_Pools); + pragma Preelaborate; type Root_Storage_Pool is abstract new Ada.Finalization.Limited_Controlled with private; diff --git a/gcc/ada/s-stratt.ads b/gcc/ada/s-stratt.ads index 3b95315..c4d0a32 100644 --- a/gcc/ada/s-stratt.ads +++ b/gcc/ada/s-stratt.ads @@ -44,7 +44,7 @@ with System.Unsigned_Types; with Ada.Streams; package System.Stream_Attributes is -pragma Preelaborate (Stream_Attributes); + pragma Preelaborate; pragma Suppress (Accessibility_Check, Stream_Attributes); -- No need to check accessibility on arguments of subprograms diff --git a/gcc/ada/s-strops.ads b/gcc/ada/s-strops.ads index 42458e5..6813be7 100644 --- a/gcc/ada/s-strops.ads +++ b/gcc/ada/s-strops.ads @@ -35,7 +35,7 @@ -- (other than runtime comparison, found in s-strcom.ads). package System.String_Ops is -pragma Pure (String_Ops); + pragma Pure; function Str_Concat (X, Y : String) return String; -- Concatenate two strings and return resulting string diff --git a/gcc/ada/s-unstyp.ads b/gcc/ada/s-unstyp.ads index 0e3ddb9..2b813ef 100644 --- a/gcc/ada/s-unstyp.ads +++ b/gcc/ada/s-unstyp.ads @@ -38,7 +38,7 @@ -- used by the compiler in connection with packed array types. package System.Unsigned_Types is -pragma Pure (Unsigned_Types); + pragma Pure; type Short_Short_Unsigned is mod 2 ** Short_Short_Integer'Size; type Short_Unsigned is mod 2 ** Short_Integer'Size; diff --git a/gcc/ada/s-valboo.ads b/gcc/ada/s-valboo.ads index 0e7cc5c..e08d337 100644 --- a/gcc/ada/s-valboo.ads +++ b/gcc/ada/s-valboo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Bool is -pragma Pure (Val_Bool); + pragma Pure; function Value_Boolean (Str : String) return Boolean; -- Computes Boolean'Value (Str). diff --git a/gcc/ada/s-valcha.ads b/gcc/ada/s-valcha.ads index bd6a3a6..903ba53 100644 --- a/gcc/ada/s-valcha.ads +++ b/gcc/ada/s-valcha.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2000 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Char is -pragma Pure (Val_Char); + pragma Pure; function Value_Character (Str : String) return Character; -- Computes Character'Value (Str). diff --git a/gcc/ada/s-valdec.ads b/gcc/ada/s-valdec.ads index 43713fa..eb563de 100644 --- a/gcc/ada/s-valdec.ads +++ b/gcc/ada/s-valdec.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- Decimal_IO, and the Value attribute for such decimal types. package System.Val_Dec is -pragma Pure (Val_Dec); + pragma Pure; function Scan_Decimal (Str : String; diff --git a/gcc/ada/s-valenu.ads b/gcc/ada/s-valenu.ads index 7277bdc..048630f 100644 --- a/gcc/ada/s-valenu.ads +++ b/gcc/ada/s-valenu.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2000, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -36,7 +36,7 @@ -- details of the format of constructed image tables. package System.Val_Enum is -pragma Pure (Val_Enum); + pragma Pure; function Value_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-valint.ads b/gcc/ada/s-valint.ads index bcf9eff..32c6be3 100644 --- a/gcc/ada/s-valint.ads +++ b/gcc/ada/s-valint.ads @@ -35,7 +35,7 @@ -- in Text_IO.Integer_IO, and the Value attribute. package System.Val_Int is -pragma Pure (Val_Int); + pragma Pure; function Scan_Integer (Str : String; diff --git a/gcc/ada/s-vallld.ads b/gcc/ada/s-vallld.ads index 7f5360b..7d3b141 100644 --- a/gcc/ada/s-vallld.ads +++ b/gcc/ada/s-vallld.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- Decimal_IO, and the Value attribute for such decimal types. package System.Val_LLD is -pragma Pure (Val_LLD); + pragma Pure; function Scan_Long_Long_Decimal (Str : String; diff --git a/gcc/ada/s-vallli.ads b/gcc/ada/s-vallli.ads index 5d3f7cd..57c7f2d 100644 --- a/gcc/ada/s-vallli.ads +++ b/gcc/ada/s-vallli.ads @@ -35,7 +35,7 @@ -- values for use in Text_IO.Integer_IO, and the Value attribute. package System.Val_LLI is -pragma Pure (Val_LLI); + pragma Pure; function Scan_Long_Long_Integer (Str : String; diff --git a/gcc/ada/s-valllu.ads b/gcc/ada/s-valllu.ads index 79ac543..6fee777 100644 --- a/gcc/ada/s-valllu.ads +++ b/gcc/ada/s-valllu.ads @@ -37,7 +37,7 @@ with System.Unsigned_Types; package System.Val_LLU is -pragma Pure (Val_LLU); + pragma Pure; function Scan_Long_Long_Unsigned (Str : String; diff --git a/gcc/ada/s-valrea.ads b/gcc/ada/s-valrea.ads index 2182085..821072d 100644 --- a/gcc/ada/s-valrea.ads +++ b/gcc/ada/s-valrea.ads @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Real is -pragma Pure (Val_Real); + pragma Pure; function Scan_Real (Str : String; diff --git a/gcc/ada/s-valuns.ads b/gcc/ada/s-valuns.ads index a4dc349..88f609e 100644 --- a/gcc/ada/s-valuns.ads +++ b/gcc/ada/s-valuns.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Unsigned_Types; package System.Val_Uns is -pragma Pure (Val_Uns); + pragma Pure; function Scan_Unsigned (Str : String; diff --git a/gcc/ada/s-valuti.ads b/gcc/ada/s-valuti.ads index 55d98f5..f7073ae 100644 --- a/gcc/ada/s-valuti.ads +++ b/gcc/ada/s-valuti.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ -- This package provides some common utilities used by the s-valxxx files package System.Val_Util is -pragma Pure (Val_Util); + pragma Pure; procedure Normalize_String (S : in out String; diff --git a/gcc/ada/s-valwch.ads b/gcc/ada/s-valwch.ads index f453a58..05064c9 100644 --- a/gcc/ada/s-valwch.ads +++ b/gcc/ada/s-valwch.ads @@ -34,7 +34,7 @@ -- Processing for Wide_[Wide_]Value attribute package System.Val_WChar is -pragma Pure (Val_WChar); + pragma Pure; function Value_Wide_Character (Str : String) return Wide_Character; diff --git a/gcc/ada/s-veboop.ads b/gcc/ada/s-veboop.ads index 9506f0a..f7e1359 100644 --- a/gcc/ada/s-veboop.ads +++ b/gcc/ada/s-veboop.ads @@ -34,7 +34,7 @@ -- This package contains functions for runtime operations on boolean vectors package System.Vectors.Boolean_Operations is -pragma Pure (Boolean_Operations); + pragma Pure; -- Although in general the boolean operations on arrays of booleans are -- identical to operations on arrays of unsigned words of the same size, diff --git a/gcc/ada/s-vector.ads b/gcc/ada/s-vector.ads index 6947288..8d71514 100644 --- a/gcc/ada/s-vector.ads +++ b/gcc/ada/s-vector.ads @@ -41,7 +41,7 @@ -- direct processor support for them. package System.Vectors is -pragma Pure (Vectors); + pragma Pure; type Vector is mod 2**System.Word_Size; for Vector'Alignment use Integer'Min diff --git a/gcc/ada/s-vercon.ads b/gcc/ada/s-vercon.ads index ee1280c..c8d26a9 100644 --- a/gcc/ada/s-vercon.ads +++ b/gcc/ada/s-vercon.ads @@ -38,8 +38,7 @@ with System.Unsigned_Types; package System.Version_Control is - - pragma Pure (Version_Control); + pragma Pure; subtype Version_String is String (1 .. 8); -- Eight character string returned by Get_version_String; diff --git a/gcc/ada/s-vxwork-alpha.ads b/gcc/ada/s-vxwork-alpha.ads index 466436c..97c105c 100644 --- a/gcc/ada/s-vxwork-alpha.ads +++ b/gcc/ada/s-vxwork-alpha.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-m68k.ads b/gcc/ada/s-vxwork-m68k.ads index ad82449..f2b77ed 100644 --- a/gcc/ada/s-vxwork-m68k.ads +++ b/gcc/ada/s-vxwork-m68k.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-mips.ads b/gcc/ada/s-vxwork-mips.ads index c30c6b9..0329045 100644 --- a/gcc/ada/s-vxwork-mips.ads +++ b/gcc/ada/s-vxwork-mips.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-ppc.ads b/gcc/ada/s-vxwork-ppc.ads index d6955d3..62116ca 100644 --- a/gcc/ada/s-vxwork-ppc.ads +++ b/gcc/ada/s-vxwork-ppc.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-sparcv9.ads b/gcc/ada/s-vxwork-sparcv9.ads index cf302ac..b769b2a 100644 --- a/gcc/ada/s-vxwork-sparcv9.ads +++ b/gcc/ada/s-vxwork-sparcv9.ads @@ -36,7 +36,7 @@ with Interfaces; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; -- Floating point context record. SPARCV9 version diff --git a/gcc/ada/s-vxwork-x86.ads b/gcc/ada/s-vxwork-x86.ads index 830734f..e1c9305 100644 --- a/gcc/ada/s-vxwork-x86.ads +++ b/gcc/ada/s-vxwork-x86.ads @@ -34,7 +34,7 @@ -- This is the x86 VxWorks version of this package package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; -- Floating point context record. x86 version diff --git a/gcc/ada/s-wchcnv.ads b/gcc/ada/s-wchcnv.ads index c295e13..d90ae5b 100644 --- a/gcc/ada/s-wchcnv.ads +++ b/gcc/ada/s-wchcnv.ads @@ -37,7 +37,7 @@ with System.WCh_Con; package System.WCh_Cnv is - pragma Pure (WCh_Cnv); + pragma Pure; type UTF_32_Code is range 0 .. 16#7FFF_FFFF#; for UTF_32_Code'Size use 32; diff --git a/gcc/ada/s-wchcon.ads b/gcc/ada/s-wchcon.ads index 8d9dd6b..40394db 100644 --- a/gcc/ada/s-wchcon.ads +++ b/gcc/ada/s-wchcon.ads @@ -39,7 +39,7 @@ -- an appropriate WITH, and the interface can be expected to remain stable. package System.WCh_Con is -pragma Pure (WCh_Con); + pragma Pure; ------------------------------------- -- Wide_Character Encoding Methods -- diff --git a/gcc/ada/s-wchjis.ads b/gcc/ada/s-wchjis.ads index 406c4a7..0f10317 100644 --- a/gcc/ada/s-wchjis.ads +++ b/gcc/ada/s-wchjis.ads @@ -35,7 +35,7 @@ -- JIS codes and the two external forms we support (EUC and Shift-JIS) package System.WCh_JIS is -pragma Pure (WCh_JIS); + pragma Pure; function EUC_To_JIS (EUC1, EUC2 : Character) return Wide_Character; -- Given the two bytes of a EUC representation, return the diff --git a/gcc/ada/s-wchstw.ads b/gcc/ada/s-wchstw.ads index 00d97d7..ba154b9 100644 --- a/gcc/ada/s-wchstw.ads +++ b/gcc/ada/s-wchstw.ads @@ -37,7 +37,7 @@ with System.WCh_Con; package System.WCh_StW is -pragma Pure (WCh_StW); + pragma Pure; function String_To_Wide_String (S : String; diff --git a/gcc/ada/s-wchwts.ads b/gcc/ada/s-wchwts.ads index e5da87a..ac34cf2 100644 --- a/gcc/ada/s-wchwts.ads +++ b/gcc/ada/s-wchwts.ads @@ -39,7 +39,7 @@ with System.WCh_Con; package System.WCh_WtS is -pragma Pure (WCh_WtS); + pragma Pure; function Wide_String_To_String (S : Wide_String; diff --git a/gcc/ada/s-widboo.ads b/gcc/ada/s-widboo.ads index 5da2361..9e5e1bd 100644 --- a/gcc/ada/s-widboo.ads +++ b/gcc/ada/s-widboo.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Boolean'Width package System.Wid_Bool is -pragma Pure (Wid_Bool); + pragma Pure; function Width_Boolean (Lo, Hi : Boolean) return Natural; -- Compute Width attribute for non-static type derived from Boolean. diff --git a/gcc/ada/s-widcha.ads b/gcc/ada/s-widcha.ads index f004952..021a5a3 100644 --- a/gcc/ada/s-widcha.ads +++ b/gcc/ada/s-widcha.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Character'Width package System.Wid_Char is -pragma Pure (Wid_Char); + pragma Pure; function Width_Character (Lo, Hi : Character) return Natural; -- Compute Width attribute for non-static type derived from Character. diff --git a/gcc/ada/s-widenu.ads b/gcc/ada/s-widenu.ads index 116ba8b..cef6e28 100644 --- a/gcc/ada/s-widenu.ads +++ b/gcc/ada/s-widenu.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Enumeration_Type'Width package System.Wid_Enum is -pragma Pure (Wid_Enum); + pragma Pure; function Width_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-widlli.ads b/gcc/ada/s-widlli.ads index 7f93f7b..f2aede6 100644 --- a/gcc/ada/s-widlli.ads +++ b/gcc/ada/s-widlli.ads @@ -31,12 +31,12 @@ -- -- ------------------------------------------------------------------------------ --- This package contains the routine used for WIdth attribute for all +-- This package contains the routine used for Width attribute for all -- non-static signed integer subtypes. Note we only have one routine, -- since this seems a fairly marginal function. package System.Wid_LLI is -pragma Pure (Wid_LLI); + pragma Pure; function Width_Long_Long_Integer (Lo, Hi : Long_Long_Integer) diff --git a/gcc/ada/s-widllu.ads b/gcc/ada/s-widllu.ads index 91f587a..dff5bb3 100644 --- a/gcc/ada/s-widllu.ads +++ b/gcc/ada/s-widllu.ads @@ -31,14 +31,14 @@ -- -- ------------------------------------------------------------------------------ --- This package contains the routine used for WIdth attribute for all +-- This package contains the routine used for Width attribute for all -- non-static unsigned integer (modular integer) subtypes. Note we only -- have one routine, since this seems a fairly marginal function. with System.Unsigned_Types; package System.Wid_LLU is -pragma Pure (Wid_LLU); + pragma Pure; function Width_Long_Long_Unsigned (Lo, Hi : System.Unsigned_Types.Long_Long_Unsigned) diff --git a/gcc/ada/s-widwch.ads b/gcc/ada/s-widwch.ads index 9c79e22..ca5e2fa 100644 --- a/gcc/ada/s-widwch.ads +++ b/gcc/ada/s-widwch.ads @@ -34,7 +34,7 @@ -- This package contains the routines used for Wide_[Wide_]Character'Width package System.Wid_WChar is -pragma Pure (Wid_WChar); + pragma Pure; function Width_Wide_Character (Lo, Hi : Wide_Character) return Natural; diff --git a/gcc/ada/s-wwdcha.ads b/gcc/ada/s-wwdcha.ads index 153111d..3ba15e4 100644 --- a/gcc/ada/s-wwdcha.ads +++ b/gcc/ada/s-wwdcha.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Character'Wide_[Wide_]Width package System.WWd_Char is -pragma Pure (WWd_Char); + pragma Pure; function Wide_Width_Character (Lo, Hi : Character) return Natural; -- Compute Wide_Width attribute for non-static type derived from diff --git a/gcc/ada/s-wwdenu.ads b/gcc/ada/s-wwdenu.ads index 1903e3e..67bac34 100644 --- a/gcc/ada/s-wwdenu.ads +++ b/gcc/ada/s-wwdenu.ads @@ -36,7 +36,7 @@ with System.WCh_Con; package System.WWd_Enum is -pragma Pure (WWd_Enum); + pragma Pure; function Wide_Width_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-wwdwch.ads b/gcc/ada/s-wwdwch.ads index b2dfc82..698a4ef 100644 --- a/gcc/ada/s-wwdwch.ads +++ b/gcc/ada/s-wwdwch.ads @@ -34,7 +34,7 @@ -- This package contains routines for [Wide_]Wide_Character'[Wide_]Wide_Width package System.Wwd_WChar is -pragma Pure (Wwd_WChar); + pragma Pure; function Wide_Width_Wide_Character (Lo, Hi : Wide_Character) return Natural; diff --git a/gcc/ada/system-aix.ads b/gcc/ada/system-aix.ads index 538f147..246207c 100644 --- a/gcc/ada/system-aix.ads +++ b/gcc/ada/system-aix.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-darwin-ppc.ads b/gcc/ada/system-darwin-ppc.ads index 0ec65ae..3d8f99b 100644 --- a/gcc/ada/system-darwin-ppc.ads +++ b/gcc/ada/system-darwin-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-freebsd-x86.ads b/gcc/ada/system-freebsd-x86.ads index aee0009..3eab5ae 100644 --- a/gcc/ada/system-freebsd-x86.ads +++ b/gcc/ada/system-freebsd-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-hpux-ia64.ads b/gcc/ada/system-hpux-ia64.ads index 8f9c206a..cb5af09 100644 --- a/gcc/ada/system-hpux-ia64.ads +++ b/gcc/ada/system-hpux-ia64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-hpux.ads b/gcc/ada/system-hpux.ads index 9e510be..4a72615 100644 --- a/gcc/ada/system-hpux.ads +++ b/gcc/ada/system-hpux.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-interix.ads b/gcc/ada/system-interix.ads index 35fd53f..9e25857 100644 --- a/gcc/ada/system-interix.ads +++ b/gcc/ada/system-interix.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-irix-n32.ads b/gcc/ada/system-irix-n32.ads index 682fb09..794f494 100644 --- a/gcc/ada/system-irix-n32.ads +++ b/gcc/ada/system-irix-n32.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-irix-o32.ads b/gcc/ada/system-irix-o32.ads index 1a05a45..1a69ff0 100644 --- a/gcc/ada/system-irix-o32.ads +++ b/gcc/ada/system-irix-o32.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-hppa.ads b/gcc/ada/system-linux-hppa.ads index b0abb94..67c395c 100644 --- a/gcc/ada/system-linux-hppa.ads +++ b/gcc/ada/system-linux-hppa.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-ia64.ads b/gcc/ada/system-linux-ia64.ads index 3d95bf6..892a1be 100644 --- a/gcc/ada/system-linux-ia64.ads +++ b/gcc/ada/system-linux-ia64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-ppc.ads b/gcc/ada/system-linux-ppc.ads index 2003647..99ed4e3 100644 --- a/gcc/ada/system-linux-ppc.ads +++ b/gcc/ada/system-linux-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-x86.ads b/gcc/ada/system-linux-x86.ads index f3b45b1..6f43799 100644 --- a/gcc/ada/system-linux-x86.ads +++ b/gcc/ada/system-linux-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-x86_64.ads b/gcc/ada/system-linux-x86_64.ads index 3929553..e850d74 100644 --- a/gcc/ada/system-linux-x86_64.ads +++ b/gcc/ada/system-linux-x86_64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-lynxos-ppc.ads b/gcc/ada/system-lynxos-ppc.ads index 328e0bd..3aec6f2 100644 --- a/gcc/ada/system-lynxos-ppc.ads +++ b/gcc/ada/system-lynxos-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-lynxos-x86.ads b/gcc/ada/system-lynxos-x86.ads index 651bc9f..8213dbe 100644 --- a/gcc/ada/system-lynxos-x86.ads +++ b/gcc/ada/system-lynxos-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-mingw.ads b/gcc/ada/system-mingw.ads index 1428e9d..b596799 100644 --- a/gcc/ada/system-mingw.ads +++ b/gcc/ada/system-mingw.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-os2.ads b/gcc/ada/system-os2.ads index 267d641..9dc5bf8 100644 --- a/gcc/ada/system-os2.ads +++ b/gcc/ada/system-os2.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-sparc.ads b/gcc/ada/system-solaris-sparc.ads index 54a310f..1ec0af3 100644 --- a/gcc/ada/system-solaris-sparc.ads +++ b/gcc/ada/system-solaris-sparc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-sparcv9.ads b/gcc/ada/system-solaris-sparcv9.ads index c47e578..672cd97 100644 --- a/gcc/ada/system-solaris-sparcv9.ads +++ b/gcc/ada/system-solaris-sparcv9.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-x86.ads b/gcc/ada/system-solaris-x86.ads index c7388e1..0ebf08b 100644 --- a/gcc/ada/system-solaris-x86.ads +++ b/gcc/ada/system-solaris-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-tru64.ads b/gcc/ada/system-tru64.ads index 7095b06..ef3d7de 100644 --- a/gcc/ada/system-tru64.ads +++ b/gcc/ada/system-tru64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-unixware.ads b/gcc/ada/system-unixware.ads index 5ae8460..63fb603 100644 --- a/gcc/ada/system-unixware.ads +++ b/gcc/ada/system-unixware.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms-zcx.ads b/gcc/ada/system-vms-zcx.ads index a9459fe..5f9f594 100644 --- a/gcc/ada/system-vms-zcx.ads +++ b/gcc/ada/system-vms-zcx.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms.ads b/gcc/ada/system-vms.ads index 86acc7c..d958ded 100644 --- a/gcc/ada/system-vms.ads +++ b/gcc/ada/system-vms.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms_64.ads b/gcc/ada/system-vms_64.ads index 1e9cccb..3d7b8e8 100644 --- a/gcc/ada/system-vms_64.ads +++ b/gcc/ada/system-vms_64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-alpha.ads b/gcc/ada/system-vxworks-alpha.ads index cd0be41..6818add 100644 --- a/gcc/ada/system-vxworks-alpha.ads +++ b/gcc/ada/system-vxworks-alpha.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-m68k.ads b/gcc/ada/system-vxworks-m68k.ads index 6f8baae..c532a5d 100644 --- a/gcc/ada/system-vxworks-m68k.ads +++ b/gcc/ada/system-vxworks-m68k.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-mips.ads b/gcc/ada/system-vxworks-mips.ads index fae8120..288a2bc 100644 --- a/gcc/ada/system-vxworks-mips.ads +++ b/gcc/ada/system-vxworks-mips.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-ppc.ads b/gcc/ada/system-vxworks-ppc.ads index 333dc51..5db540e 100644 --- a/gcc/ada/system-vxworks-ppc.ads +++ b/gcc/ada/system-vxworks-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-sparcv9.ads b/gcc/ada/system-vxworks-sparcv9.ads index 0ff0c5e..fa15a6f 100644 --- a/gcc/ada/system-vxworks-sparcv9.ads +++ b/gcc/ada/system-vxworks-sparcv9.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-x86.ads b/gcc/ada/system-vxworks-x86.ads index 11c55de..ec6faf9 100644 --- a/gcc/ada/system-vxworks-x86.ads +++ b/gcc/ada/system-vxworks-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system.ads b/gcc/ada/system.ads index 03581ee..11359c6 100644 --- a/gcc/ada/system.ads +++ b/gcc/ada/system.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (Compiler Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -42,10 +42,10 @@ -- about most System parameters, this generic version works fine. package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/table.ads b/gcc/ada/table.ads index af54029..853948a 100644 --- a/gcc/ada/table.ads +++ b/gcc/ada/table.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -43,7 +43,7 @@ with Types; use Types; package Table is -pragma Elaborate_Body (Table); + pragma Elaborate_Body; generic type Table_Component_Type is private; diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index a756a8a..ea8a949 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -31,11 +31,6 @@ -- -- ------------------------------------------------------------------------------ -with Unchecked_Deallocation; - -package Types is -pragma Preelaborate (Types); - -- This package contains host independent type definitions which are used -- in more than one unit in the compiler. They are gathered here for easy -- reference, though in some cases the full description is found in the @@ -45,13 +40,18 @@ pragma Preelaborate (Types); -- dependencies would have to be dealt with. -- WARNING: There is a C version of this package. Any changes to this --- source file must be properly reflected in the C header file a-types.h +-- source file must be properly reflected in the C header file types.h -- Note: the declarations in this package reflect an expectation that the -- host machine has an efficient integer base type with a range at least -- 32 bits 2s-complement. If there are any machines for which this is not -- a correct assumption, a significant number of changes will be required! +with Unchecked_Deallocation; + +package Types is + pragma Preelaborate; + ------------------------------- -- General Use Integer Types -- ------------------------------- -- 2.7.4