aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2020-10-29Daily bump.GCC Administrator1-0/+6
2020-10-28[PR97504] riscv needs wraplf for aux_long_long_float tooAlexandre Oliva1-0/+1
2020-10-28Daily bump.GCC Administrator1-0/+66
2020-10-27[Ada] vx7r2cert: port ARM, PowerPC and x86 targetsDoug Rupp2-0/+14
2020-10-27[Ada] Warnings on g-spogwa.adbArnaud Charlet2-4/+3
2020-10-27[Ada] Fix GNATprove support for iterated_component_associationsPiotr Trojanek1-60/+112
2020-10-27[Ada] Multidimensional arrays with Iterated_Component_AssociationsEd Schonberg1-13/+44
2020-10-27[Ada] CUDA: handle parameter associations in expansion of CUDA_ExecuteGhjuvan Lacambre1-2/+9
2020-10-27[Ada] Remove Digits_From_Size and Width_From_SizeEric Botcazou5-101/+0
2020-10-27[Ada] New flag Transform_Function_ArrayArnaud Charlet6-25/+36
2020-10-27[Ada] Improve EINTR error handling on "poll" system callDmitriy Anisimkov1-2/+1
2020-10-27Daily bump.GCC Administrator1-0/+181
2020-10-26[Ada] Handle Iterated_Component_Association with Others_ChoiceEd Schonberg1-6/+18
2020-10-26[Ada] Further small edition to documentation of Ada.Text_IO.Fixed_IOEric Botcazou2-3/+3
2020-10-26[Ada] Replace GNAT_Extended_Ravenscar profile namePat Rogers2-18/+30
2020-10-26[Ada] Avoid crash on use of Ada 2020 featureBob Duff2-7/+6
2020-10-26[Ada] Further small edition to documentation of Ada.Text_IO.Fixed_IOEric Botcazou1-17/+14
2020-10-26[Ada] Fix freezing of previous contractsPiotr Trojanek1-4/+15
2020-10-26[Ada] Another small edition to documentation of Ada.Text_IO.Fixed_IOEric Botcazou1-15/+14
2020-10-26[Ada] Fix harmless assertion failure in GNATprove modePiotr Trojanek1-1/+18
2020-10-26[Ada] Document characteristics of ordinary fixed point typesEric Botcazou2-14/+16
2020-10-26[Ada] Relax assertion on Small in Ada.Text_IO.Fixed_IOEric Botcazou1-11/+11
2020-10-26[Ada] Fix Accept_Socket and Connect_Socket timeout supportDmitriy Anisimkov1-50/+25
2020-10-26[Ada] Minor editions to documentation of Ada.Text_IO.Fixed_IOEric Botcazou1-35/+33
2020-10-26[Ada] Fix GNATprove crash on generics with access typesYannick Moy1-1/+9
2020-10-26[Ada] Suppress warnings on unreferenced parameters of dispatching opsArnaud Charlet1-11/+18
2020-10-26[Ada] Fix typos in error message for array delta aggregatesPiotr Trojanek1-1/+1
2020-10-26[Ada] Restore hex addresses and improve symbolic backtracesOlivier Hainque1-9/+12
2020-10-26[Ada] x86-lynx178elf - gcc build failsDoug Rupp1-0/+3
2020-10-26[Ada] Fix interference between iterated element-and-component associationPiotr Trojanek1-6/+6
2020-10-26[Ada] Do not instantiate generic bodies outside of main unit in GNATproveYannick Moy1-0/+10
2020-10-26[Ada] Spurious error on Old attribute reference in delta aggregateEd Schonberg1-2/+7
2020-10-26[Ada] gnatpp: Document that --no-comments-fill is now the defaultBob Duff1-2/+2
2020-10-26[Ada] Missing errors on extension aggregates with unknown discriminantsGary Dismukes1-4/+17
2020-10-26[Ada] Delete: set Position to No_ElementBob Duff3-0/+6
2020-10-26[Ada] Improve error on missing with clauseArnaud Charlet1-3/+19
2020-10-26[Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregatePiotr Trojanek1-0/+1
2020-10-26[Ada] Cleanup SPARK expansion of aggregates with iterated_component_assocPiotr Trojanek1-7/+3
2020-10-26[Ada] Fix typos in comments about parsing iterated_component_associationPiotr Trojanek1-8/+8
2020-10-26[Ada] AI12-0395: Allow aspect_specifications on formal parametersArnaud Charlet3-4/+4
2020-10-26[Ada] Crash on membership test in expression functionEd Schonberg1-1/+10
2020-10-26[Ada] Handle subtype_indication in 'Update for arraysPiotr Trojanek1-0/+3
2020-10-26Daily bump.GCC Administrator1-0/+5
2020-10-25Ada, Darwin, PowerPC : Fix bootstrap after 128 int changes.Iain Sandoe1-1/+12
2020-10-24Daily bump.GCC Administrator1-0/+393
2020-10-23Darwin, Ada : Fix bootstrap after stat entry changes.Iain Sandoe1-0/+5
2020-10-23Fix typo in recent change to Makefile.rtl (bis)Eric Botcazou1-1/+1
2020-10-23Fix typo in recent change to Makefile.rtlEric Botcazou1-1/+1
2020-10-23more wraplf for aux long long float: s390, sparc and powerpcAlexandre Oliva1-0/+3
2020-10-23[Ada] Sockets.Poll implementationDmitriy Anisimkov15-8/+1235