aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2021-09-22Daily bump.GCC Administrator1-0/+239
2021-09-21[Ada] Add some comments in init.c about the lynx178 signal handlerDoug Rupp1-0/+22
2021-09-21[Ada] Rename "optional" node subtypes that allow EmptyYannick Moy1-3/+3
2021-09-21[Ada] Spurious dynamic accessibility check on allocatorJustin Squirek2-13/+1
2021-09-21[Ada] Regenerate gnat_ugn.texiEric Botcazou1-7/+10
2021-09-21[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmasMatthieu Eyraud1-3/+7
2021-09-21[Ada] Add "optional" node subtypes that allow EmptyBob Duff2-3/+43
2021-09-21[Ada] bindgen: support additional features on targets suppressing the standar...Patrick Bernardi1-0/+31
2021-09-21[Ada] Fix regression in ACATS bdd2006 and bdd2007Bob Duff1-6/+11
2021-09-21[Ada] Set related expression for external DISCR symbols in Build_TemporaryDaniel Mercier1-0/+11
2021-09-21[Ada] Minor tweaks to System.Dwarf_LineEric Botcazou1-7/+8
2021-09-21[Ada] Crash on build of Initialization procedure for derived containerEd Schonberg1-1/+4
2021-09-21[Ada] Cleanup old VxWorks in Makefile.rtlDoug Rupp9-1202/+0
2021-09-21[Ada] Add assertions to Uintp (UI_Is_In_Int_Range)Bob Duff2-7/+9
2021-09-21[Ada] Remove if_expressionBob Duff1-6/+14
2021-09-21[Ada] Add assertions to UintpBob Duff7-280/+375
2021-09-21[Ada] Small optimization to DWARF 5 mode in System.Dwarf_LineEric Botcazou1-6/+12
2021-09-21[Ada] Follow-up tweaks to System.Dwarf_LineEric Botcazou1-8/+7
2021-09-21[Ada] exp_pakd.adb: work around spurious Codepeer warningsGhjuvan Lacambre1-1/+5
2021-09-21[Ada] Fix ignored dynamic predicates specified through "predicate" aspectGhjuvan Lacambre1-0/+2
2021-09-21[Ada] rtems: add 128bit support for aarch64Frederic Konrad1-0/+5
2021-09-21[Ada] Presence of abstract operator function causes resolution problemsGary Dismukes1-0/+1
2021-09-21[Ada] Interface behaves differently from abstract tagged nullJavier Miranda1-0/+4
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff24-157/+221
2021-09-21[Ada] Enforce legality rule for Predicate_Failure aspect specificationsSteve Baird1-0/+26
2021-09-21[Ada] Refactor sort procedures of doubly linked list containersSteve Baird9-448/+455
2021-09-21[Ada] Update comment for Error_Msg_InternalPiotr Trojanek1-5/+5
2021-09-21[Ada] Simplify iteration when printing error message spansPiotr Trojanek1-3/+3
2021-09-21[Ada] Exception raised on empty file in GNATprove modeYannick Moy1-3/+4
2021-09-21[Ada] Refine patch for spurious link error involving discriminated typesEd Schonberg1-6/+23
2021-09-21[Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.adsBob Duff2-6/+8
2021-09-21Daily bump.GCC Administrator1-0/+336
2021-09-20[Ada] Remove redundant checks for non-empty list of aspectsPiotr Trojanek1-3/+1
2021-09-20[Ada] Fix shadowing in conditions for inliningPiotr Trojanek1-26/+29
2021-09-20[Ada] Present and No functions for type UintBob Duff20-124/+124
2021-09-20[Ada] Add SPARK_Mode => Off to System.File_Control_BlockClaire Dross1-1/+1
2021-09-20[Ada] Use OS_Time for interface to TZ functions.Doug Rupp3-22/+21
2021-09-20[Ada] Accept volatile expressions as non-scalar actual parametersPiotr Trojanek1-26/+0
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff22-485/+325
2021-09-20[Ada] Cleanups related to building of dispatch tablesPiotr Trojanek2-2/+2
2021-09-20[Ada] Accept volatile properties on constant objectsPiotr Trojanek2-55/+29
2021-09-20[Ada] SPARK proof of the Ada.Strings.Fixed libraryPierre-Alexandre Bazin4-349/+1166
2021-09-20[Ada] Minor style fixes in Resolve_Aspect_AggregatePiotr Trojanek1-9/+11
2021-09-20[Ada] Adjust latest change for ELF platformsEric Botcazou1-6/+5
2021-09-20[Ada] Add support for PE-COFF PIE to System.Dwarf_LineEric Botcazou5-67/+111
2021-09-20[Ada] Fix repeated generation of dispatch tables in CodePeer modePiotr Trojanek1-1/+2
2021-09-20[Ada] Spurious link error with child unit and different Assertion modes.Ed Schonberg3-3/+51
2021-09-20[Ada] Clean up Uint fields (continued)Arnaud Charlet1-5/+0
2021-09-20[Ada] Refine types of local constants that store Etype resultsPiotr Trojanek4-8/+8
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes10-57/+295
generated by cgit v1.1 at 2024-09-29 01:29:34 +0000