| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194903 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* a-chacon.ads: Likewise.
* a-coteio.ads: Likewise.
* a-envvar.ads: Likewise.
* a-exetim-mingw.ads: Likewise.
* a-fzteio.ads: Likewise.
* a-izteio.ads: Likewise.
* a-lcteio.ads: Likewise.
* a-llctio.ads: Likewise.
* a-scteio.ads: Likewise.
* a-suenco.ads: Likewise.
* a-suenst.ads: Likewise.
* a-suewst.ads: Likewise.
* a-suezst.ads: Likewise.
* a-tirsfi.ads: Likewise.
* a-wichha.ads: Likewise.
* a-zchara.ads: Likewise.
* a-zchhan.ads: Likewise.
* a-zchuni.ads: Likewise.
* a-zrstfi.ads: Likewise.
* aspects.ads: Likewise.
* g-byorma.ads: Likewise.
* g-decstr.ads: Likewise.
* g-encstr.ads: Likewise.
* g-spchge.ads: Likewise.
* g-u3spch.ads: Likewise.
* g-wispch.ads: Likewise.
* g-zspche.ads: Likewise.
* namet-sp.ads: Likewise.
* s-os_lib.ads: Likewise.
* s-regexp.ads: Likewise.
* s-regpat.ads: Likewise.
* s-string.ads: Likewise.
* s-tasloc.ads: Likewise.
* s-utf_32.ads: Likewise.
* sem_aux.ads: Likewise.
* a-assert.adb: Likewise.
* a-chacon.adb: Likewise.
* a-envvar.adb: Likewise.
* a-exetim-mingw.adb: Likewise.
* a-suenco.adb: Likewise.
* a-suenst.adb: Likewise.
* a-suewst.adb: Likewise.
* a-suezst.adb: Likewise.
* a-tirsfi.adb: Likewise.
* a-wichha.adb: Likewise.
* a-zchhan.adb: Likewise.
* a-zchuni.adb: Likewise.
* a-zrstfi.adb: Likewise.
* aspects.adb: Likewise.
* g-byorma.adb: Likewise.
* g-decstr.adb: Likewise.
* g-encstr.adb: Likewise.
* g-spchge.adb: Likewise.
* g-u3spch.adb: Likewise.
* g-wispch.adb: Likewise.
* g-zspche.adb: Likewise.
* namet-sp.adb: Likewise.
* s-except.adb: Likewise.
* s-inmaop-vxworks.adb: Likewise.
* s-os_lib.adb: Likewise.
* s-regexp.adb: Likewise.
* s-regpat.adb: Likewise.
* s-string.adb: Likewise.
* s-tasloc.adb: Likewise.
* s-utf_32.adb: Likewise.
* s-wchcon.adb: Likewise.
* sem_aux.adb: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@186261 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
s-utf_32.ads: Add pragma Pure
* s-utf_32.adb: Suppress warnings on non-static constants (now
that this is Pure).
2012-01-06 Bob Duff <duff@adacore.com>
* s-rpc.ads (Read, Write): Add overriding indicators.
2012-01-06 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add documentation for conventions
Ada_Pass_By_Copy and Ada_Pass_By_Reference.
2012-01-06 Gary Dismukes <dismukes@adacore.com>
* a-tienio.adb (Put): Add exception message on
raise statements. Remove unneeded blocks and object declarations.
2012-01-06 Robert Dewar <dewar@adacore.com>
* sem_prag.adb: Minor reformatting.
2012-01-06 Ed Schonberg <schonberg@adacore.com>
* sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
that a selected component within a generic unit has been resolved
as a prefixed call with local references.
* sem_ch3.adb (Is_Visible_Component): In an instance body a selected
component is always visible.
* sem_ch4.adb (Analyze_Selected_Component): If the node is a
prefixed call in an instance, do not look for visible components
of the type.
* sem_ch12.adb (Reset_Entity): If a selected component has resolved
to a prefixed call, mark the node accordingly when prefix and
selector are local references.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182954 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* s-osinte-linux.ads: Minor comment update and reformatting.
* i-cexten.ads: Make this unit pure, as for its parent.
Will allow its usage in more contexts if needed.
2011-08-02 Robert Dewar <dewar@adacore.com>
* s-utf_32.ads: Minor comment fix.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Actuals): if the subprogram is a primitive
operation of a tagged synchronized type, handle the case where the
controlling argument is overloaded.
2011-08-02 Yannick Moy <moy@adacore.com>
* gnat_rm.texi, opt.ads, sem_prag.adb, snames.ads-tmpl:
Replace pragma SPARK_95 with pragma Restrictions (SPARK)
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings): set
SPARK mode and formal verification mode on processing SPARK restriction
* s-rident.ads (Restriction_Id): add SPARK restriction in those not
requiring consistency checking.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177117 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* sem_res.adb: Minor reformatting.
2010-10-07 Arnaud Charlet <charlet@adacore.com>
* debug.adb: Update -gnatd.J documentation.
2010-10-07 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document handling of invalid values
* s-utf_32.ads, s-utf_32.adb (UTF_To_Lower_Case): Fix implementation
to match new spec.
(UTF_To_Upper_Case): New function.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165083 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* g-moreex.adb: Add comments.
* s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)
* s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
Warnings (Off)
* prepcomp.adb: Add ??? comment
* a-tasatt.adb: Minor reformatting
* g-trasym-vms-alpha.adb: Add ??? comment
* g-trasym-vms-ia64.adb: Add ??? comment
* xoscons.adb: Minor reformatting
* s-tassta.adb: Minor reformatting
* s-scaval.adb: Add ??? comment
* stand.ads: Minor code clean up (remove junk with of Namet)
* s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
Warnings off pragmas.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146262 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
| |
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145841 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* s-secsta.adb, s-sequio.ads, s-shasto.ads,
s-soflin.ads, s-stalib.ads, s-stausa.adb,
s-stausa.ads, s-strxdr.adb, s-taenca.adb, s-taenca.ads,
s-taprob.adb, s-taprop-hpux-dce.adb, s-taprop-irix.adb,
s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-posix.adb,
s-taprop-solaris.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
s-taprop-vxworks.adb, s-taprop.ads, s-tarest.adb,
s-tarest.ads, s-tasini.adb, s-tasini.ads, s-taskin.ads,
s-tasque.ads, s-tassta.adb, s-tassta.ads, s-tasuti.ads,
s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
s-tpopsp-posix.adb, s-tpopsp-rtems.adb, s-tposen.adb,
s-tposen.ads, s-traceb-hpux.adb, s-traces.ads,
s-trafor-default.ads, s-unstyp.ads, s-utf_32.ads,
s-vaflop.adb, s-vaflop.ads, s-valrea.adb, s-valuti.adb,
s-wchstw.ads, s-wchwts.adb, s-wchwts.ads, scans.ads,
scn.adb, scng.adb, seh_init.c, sem.ads, sem_aggr.adb,
sem_attr.adb, sem_attr.ads, sem_case.adb, sem_case.ads,
sem_cat.adb, sem_cat.ads: Fix comment typos.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134241 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* types.ads, a-charac.ads, freeze.adb: Minor reformatting.
* a-except.adb, g-hesora.adb, g-speche.adb, lib.adb, lib.ads,
lib-load.adb, lib-writ.adb, s-assert.adb, s-carun8.adb,
s-casuti.adb, s-crc32.adb, s-exctab.adb, s-htable.adb, s-imgenu.adb,
s-mastop.adb, s-memory.adb, s-memory.ads, s-secsta.adb, s-soflin.adb,
s-sopco3.adb, s-sopco4.adb, s-sopco5.adb, s-stache.adb, s-stalib.adb,
s-stoele.adb, s-strcom.adb, s-strops.adb, s-traceb.adb, s-traent.adb,
s-wchcnv.adb, s-wchcon.adb, s-wchjis.adb, s-addope.adb, s-except.adb,
s-os_lib.adb, s-string.adb, s-utf_32.adb,
a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads,
g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads,
s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb,
s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb,
snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads,
s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads,
s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads,
s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads,
s-except.ads, s-os_lib.ads, s-string.ads, s-utf_32.ads: Implement
pragma Compiler_Unit and adds it to relevant library units.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128426 138bc75d-0d04-0410-961f-82ee72b054a4
|
|
* g-string.adb, s-proinf-irix-athread.adb, s-gloloc-mingw.adb,
s-tfsetr-default.adb, gnatfind.adb, gnatxref.adb, gprep.adb,
g-regexp.adb, g-regexp.ads, g-regpat.ads, g-tasloc.adb, g-tasloc.ads,
output.adb, switch-m.ads, tree_in.ads, tree_io.ads, indepsw.ads,
g-utf_32.adb, g-utf_32.ads, a-wichun.adb, a-wichun.ads, a-zchuni.adb,
a-zchuni.ads: Replace GNAT.xxx by System.xxx when appropriate.
* s-utf_32.adb, s-utf_32.ads, s-os_lib.adb, s-os_lib.ads, s-regexp.adb,
s-regexp.ads, s-regpat.adb, s-regpat.ads, s-string.adb, s-string.ads,
s-tasloc.adb, s-tasloc.ads: New files.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125360 138bc75d-0d04-0410-961f-82ee72b054a4
|