aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2021-12-03Daily bump.GCC Administrator1-0/+489
2021-12-02[Ada] Add warning in comment about files copied from libgnatEric Botcazou1-0/+4
2021-12-02[Ada] Remove obsolete a-assertMarc Poulhiès2-102/+0
2021-12-02[Ada] Do not back-annotate maximum size for limited typesEric Botcazou1-2/+6
2021-12-02[Ada] Fix packing for array component with discriminated partEric Botcazou3-21/+16
2021-12-02[Ada] Invalid memory access on finalization of class-wide typeJustin Squirek1-1/+4
2021-12-02[Ada] Fix oversight in minor cleanupEric Botcazou1-15/+15
2021-12-02[Ada] Proof of System.Arith_32 for double arithmetic on 32bitsYannick Moy2-18/+499
2021-12-02[Ada] Reset internal flags for -gnatD and -gnatGEric Botcazou1-0/+5
2021-12-02[Ada] Fix obsolete array aggregate warning being triggered by expanded codeMarc Poulhiès1-0/+1
2021-12-02[Ada] Amend proof of System.Arith_Double to remove justificationsYannick Moy2-63/+183
2021-12-02[Ada] Add pragma Annotate for CodePeer analysisYannick Moy1-0/+3
2021-12-02[Ada] Proof of support units for 'Width on signed integersYannick Moy10-23/+253
2021-12-02[Ada] Cleanup detection of suspension objectsPiotr Trojanek4-28/+3
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek7-13/+4
2021-12-02[Ada] Cleanups related to expansion of dispatching primitivesPiotr Trojanek4-7/+5
2021-12-02[Ada] Use bracket aggregates in Ada2022Marc Poulhiès108-624/+652
2021-12-02[Ada] Inline all calls in Ada.Task_IdentificationPiotr Trojanek1-0/+1
2021-12-02[Ada] Enhance freezing code for instantiationsEric Botcazou1-118/+158
2021-12-02[Ada] Enable expansion of dispatching equality for GNATprovePiotr Trojanek3-15/+280
2021-12-02[Ada] Separate building of equality from other dispatching routinesPiotr Trojanek2-168/+222
2021-12-02[Ada] Split spec and body of expression function with Subprogram_VariantPiotr Trojanek1-15/+27
2021-12-02[Ada] Remove extra space after assignment symbolPiotr Trojanek5-10/+14
2021-12-02[Ada] Don't allow entry in implicit with chain to be ghostRichard Kenner1-3/+11
2021-12-02[Ada] Simplify iteration over record componentsPiotr Trojanek4-36/+24
2021-12-02[Ada] Refactor nested loops in warning on unassigned out parameterPiotr Trojanek1-23/+21
2021-12-02[Ada] Remove duplicated condition in warnings about read-before-writePiotr Trojanek1-9/+7
2021-12-02[Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64Doug Rupp2-1/+11
2021-12-02[Ada] Proof of Interfaces.C with SPARKYannick Moy3-69/+825
2021-12-02[Ada] Add contract to Ada.Task_Identification.Activation_Is_CompletePiotr Trojanek1-0/+1
2021-12-02[Ada] More intuitive names in sanity-checking of derived typesPiotr Trojanek1-24/+24
2021-12-02[Ada] Proof of System.Val_Util utilities for 'Value supportYannick Moy6-71/+307
2021-12-02[Ada] Proof of Boolean'Image and Boolean'ValueYannick Moy6-19/+217
2021-12-02[Ada] Fix possible memory corruption for hostnames longer than 1024 bytesPascal Obry1-2/+4
2021-12-02[Ada] Minor style fix (no dot on single line comment)Pascal Obry1-1/+1
2021-12-02Daily bump.GCC Administrator1-0/+271
2021-12-01[Ada] Fix incorrect fixed-point computation in expression functionEric Botcazou3-26/+27
2021-12-01[Ada] Tune whitespace of the bounded lists Aggregate aspectPiotr Trojanek1-2/+2
2021-12-01[Ada] Allow formal functions to have a default in the form of an expression f...Gary Dismukes5-2/+134
2021-12-01[Ada] Do not return freeze nodes for start of early call regionsEric Botcazou1-2/+24
2021-12-01[Ada] Fix crash on pragma Compile_Time_Warning/ErrorBob Duff1-2/+6
2021-12-01[Ada] Syntax error on "not null procedure"Bob Duff1-21/+38
2021-12-01[Ada] Tidy up freezing code for instantiations (continued)Eric Botcazou1-266/+266
2021-12-01[Ada] Tidy up freezing code for instantiationsEric Botcazou1-134/+144
2021-12-01[Ada] Fix typo in commentEtienne Servais1-1/+1
2021-12-01[Ada] Improve support for casing on types with controlled partsSteve Baird4-117/+444
2021-12-01[Ada] Fix issues with ignored ghost code and unnestingRichard Kenner2-10/+16
2021-12-01[Ada] Make Timed_Task_Entry_Call's defer_abort nestableGhjuvan Lacambre1-3/+3
2021-12-01[Ada] Do not free task for _parentGhjuvan Lacambre1-2/+3
2021-12-01[Ada] Spurious warning when using 'Type_Key on generic formalJustin Squirek1-0/+1
generated by cgit v1.1 at 2025-08-08 05:56:42 +0000