aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-06-03Daily bump.GCC Administrator1-0/+302
2022-06-02diagnostics: add SARIF output formatDavid Malcolm1-0/+11
2022-06-02[Ada] Update copyright noticesPierre-Marie de Rodat3-3/+3
2022-06-02[Ada] Remove left-overs of front-end SJLJ processingEric Botcazou3-117/+4
2022-06-02[Ada] Fix record layout warnings not being taggedGhjuvan Lacambre1-8/+8
2022-06-02[Ada] Disable -flto when building the shared libgnatArnaud Charlet1-2/+2
2022-06-02[Ada] Couple of small preparatory adjustmentsEric Botcazou2-6/+11
2022-06-02[Ada] Restore full generation of static dispatch tables with -gnatzrEric Botcazou3-15/+38
2022-06-02[Ada] Never make symbols for thunks publicEric Botcazou1-0/+7
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek13-463/+411
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou19-299/+558
2022-06-02[Ada] Fix references to old variables that have been refactoredMarc Poulhiès3-20/+20
2022-06-02[Ada] Rename GNATprove annotate pragma for termination to Always_ReturnClaire Dross3-5/+5
2022-06-02[Ada] Make the functional Maps and Sets unboundedJulien Bortolussi11-49/+100
2022-06-02[Ada] Fix spurious use of trampolines with interface typesEric Botcazou1-2/+2
2022-06-02[Ada] Add precise subprogram identification to -fdiagnostics-format=jsonGhjuvan Lacambre1-6/+15
2022-06-02[Ada] Refine previous changes on making symbols public/privateArnaud Charlet1-41/+44
2022-06-02[Ada] Fix spurious errors on ghost code in genericsYannick Moy1-0/+5
2022-06-02[Ada] Move registering code for predefined primitives to Exp_DispEric Botcazou3-117/+118
2022-06-02[Ada] Build static dispatch tables always at the end of declarative partEric Botcazou2-36/+28
2022-06-02[Ada] vx7r2-arm/aarch64 - Support Atomic Primitives TrueDoug Rupp4-0/+4
2022-06-02[Ada] Update documentation of GNAT.Dynamic_TablesJavier Miranda1-7/+4
2022-06-02[Ada] Fix detection of deferred constants for freezing errorEric Botcazou1-1/+2
2022-06-02[Ada] Fix preconditions of Interfaces.C.StringsJoffrey Huguet1-2/+8
2022-06-02[Ada] Issue errors on wrong context for ghost entitiesYannick Moy3-8/+79
2022-06-02[Ada] Complete contracts of Interfaces.C.Strings subprogramsJoffrey Huguet1-3/+8
2022-06-02[Ada] Removal of dead code Analyze_Label_EntityYannick Moy2-22/+0
2022-06-02[Ada] Propagate Has_Inherit{able,ed}_Invariants to base typesEric Botcazou1-4/+4
2022-06-02[Ada] Combine system.ads files - arm and aarch64 linuxDoug Rupp1-1/+1
2022-06-02[Ada] Combine system.ads file - vxworks7 rtp constantsDoug Rupp9-18/+18
2022-06-02[Ada] Gnatbind crash during checksum calculationJustin Squirek4-0/+8
2022-06-02[Ada] Fix iteration on formal vectorsClaire Dross4-4/+4
2022-06-02[Ada] Add contracts to System.Address_To_Access_ConversionsJoffrey Huguet1-2/+4
2022-06-02[Ada] Add contracts to Interfaces.C.StringsJoffrey Huguet2-16/+57
2022-06-02Daily bump.GCC Administrator1-0/+272
2022-06-01[Ada] Allow confirming volatile properties on No_Caching variablesYannick Moy2-25/+30
2022-06-01[Ada] Combine system.ads file - vxworks7 kernel constants.Doug Rupp7-14/+14
2022-06-01[Ada] Combine system.ads files - arm and aarch64 qnxDoug Rupp1-1/+1
2022-06-01[Ada] Fix missing space in error messagePiotr Trojanek1-1/+1
2022-06-01[Ada] Fix classification of Subprogram_Variant as assertion pragmaYannick Moy1-0/+1
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou7-286/+283
2022-06-01[Ada] Do not freeze subprogram body without spec too earlyEric Botcazou2-22/+26
2022-06-01[Ada] Bug fix in "=" function of formal doubly linked listJulien Bortolussi1-2/+2
2022-06-01[Ada] Fix predicate check on object declarationMarc Poulhiès4-92/+106
2022-06-01[Ada] arm-qnx-7.1: unwind goes wrong after regs restoreDoug Rupp1-0/+10
2022-06-01[Ada] Enable using absolute paths in -fdiagnostics-format=json outputGhjuvan Lacambre5-11/+34
2022-06-01[Ada] Fix bad interaction between Inline_Always and -gnateV + -gnataEric Botcazou1-1/+4
2022-06-01[Ada] Propagate null-exclusion to anonymous access typesPiotr Trojanek1-0/+1
2022-06-01[Ada] Add a comment about a finalization issueEric Botcazou1-0/+6
2022-06-01[Ada] Get rid of secondary stack for controlled components of limited typesEric Botcazou2-14/+17