aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1905-1905/+1905
2019-01-08[Ada] Revert recent changes in the generation of deps in ali filesJustin Squirek3-42/+42
2019-01-04* gnatvsn.ads: Bump copyright year.Eric Botcazou2-2/+6
2019-01-01Update copyright years.Jakub Jelinek1-0/+2
2019-01-01gcc.c (process_command): Update copyright notice dates.Jakub Jelinek4-5709/+5719
2018-12-23Fix Ada bootstrap for Darwin9 and earlier.Iain Sandoe2-3/+16
2018-12-14decl.c (rm_size): Take into account the padding in the case of a record type ...Eric Botcazou3-13/+23
2018-12-14dwarf2out.c (analyze_discr_in_predicate): Simplify.Eric Botcazou2-4/+11
2018-12-13Add note about abort and ZCX runtime.Arnaud Charlet1-6/+6
2018-12-11re PR ada/88429 (libada build fails with --disable-shared)Eric Botcazou2-10/+26
2018-12-11[Ada] Add "Global => null" contracts to Ada.Calendar routinesPiotr Trojanek2-14/+31
2018-12-11[Ada] Spurious error with pragma Thread_Local_StorageHristian Kirtchev2-40/+109
2018-12-11[Ada] GNAT.Sockets: add IPv6 supportDmitriy Anisimkov9-371/+1441
2018-12-11[Ada] Do not expand code inside ignored ghost bodiesYannick Moy3-0/+41
2018-12-11[Ada] Unnesting: do not eliminate subprogram whose address is takenEd Schonberg2-1/+10
2018-12-11[Ada] Crash on misplaced First operation for GNAT iterable typeEd Schonberg2-1/+19
2018-12-11[Ada] Volatility, validity checks, and System.Aux_DECHristian Kirtchev2-17/+26
2018-12-11[Ada] Improve error message when named number passed as global itemYannick Moy2-0/+10
2018-12-11[Ada] Unnesting: fix a missing activation recordEd Schonberg3-69/+91
2018-12-11[Ada] Unnesting: ensure Current_Subprogram is always initializedArnaud Charlet2-1/+6
2018-12-11[Ada] Fix -gnatR3 output for dynamically constrained recordEric Botcazou3-111/+138
2018-12-11[Ada] Fix setting of Has_Predicate flag for aggregate subtypesEd Schonberg2-2/+20
2018-12-11[Ada] Plug small loophole with pathological packed array typeEric Botcazou2-3/+6
2018-12-11[Ada] Fix elaboration of record with 1-element dynamic arrayEric Botcazou4-13/+29
2018-12-11[Ada] gnatbind: ghost code with -gnatQBob Duff3-2/+11
2018-12-11[Ada] Unnesting: fix for constrained arrays and improve static constantsEd Schonberg2-3/+38
2018-12-11[Ada] Missing predicate check on declaration with aggregate expressionEd Schonberg2-1/+12
2018-12-11[Ada] Crash on generic instantiation in ignored Ghost contextHristian Kirtchev2-35/+40
2018-12-11[Ada] Uintp: add a new UI_From_Integral generic constructorEd Schonberg3-0/+63
2018-12-11[Ada] Crash on compilation unit function that builds in placeEd Schonberg2-3/+11
2018-12-11[Ada] GNAT.Sockets: fix timeout computations for socketsDmitriy Anisimkov3-16/+52
2018-12-11[Ada] Minor reformattingsGary Dismukes3-7/+12
2018-12-11[Ada] Crash on ignored Ghost expression functionHristian Kirtchev4-28/+87
2018-12-11[Ada] Remove vxlink and vxaddr2line from this repositoryJerome Lambourg11-1723/+8
2018-12-11[Ada] Minor reformattingHristian Kirtchev9-92/+119
2018-12-11[Ada] Complete implementation of RM C.6(19) clauseEric Botcazou3-6/+61
2018-12-11[Ada] Stubs that complete generic subprogram do have a "prior declaration"Piotr Trojanek3-7/+31
2018-12-11[Ada] GNATprove: improve proofs for uninitialized constrained objectsEd Schonberg2-2/+12
2018-12-11[Ada] Support access types in GNATproveYannick Moy2-0/+10
2018-12-11[Ada] Better error message from GNATprove on illegal switchYannick Moy4-2/+36
2018-12-11[Ada] Fix runtime stack overflow for out/in-out actuals without discr.Javier Miranda2-0/+23
2018-12-11[Ada] Additionsal trasformations for unnesting in package bodiesEd Schonberg2-11/+72
2018-12-11[Ada] Remove vxworks*-crtbe-link.specJerome Lambourg38-422/+38
2018-12-11[Ada] Spurious visibility error on aspect PredicateEd Schonberg2-0/+8
2018-12-11[Ada] Fix an ICE on instantiated subprogram with -gnatcEric Botcazou2-1/+8
2018-12-11[Ada] Update gnatmetric documentation for the Libadalang-based versionBob Duff2-181/+216
2018-12-11[Ada] Fix an ACATS regression with CCGJavier Miranda2-11/+36
2018-12-11[Ada] Update gnatstub documentation for the Libadalang-based versionBob Duff3-151/+156
2018-12-11[Ada] Spurious errors on aspect specifications in generic unitsEd Schonberg6-76/+189
2018-12-11[Ada] Document the -fgnat-encodings switchPierre-Marie de Rodat3-1/+97
generated by cgit v1.1 at 2024-10-05 09:15:51 +0000