aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2024-08-09Daily bump.GCC Administrator1-0/+62
2024-08-08ada: Missing legality check when type completedSteve Baird2-0/+25
2024-08-08ada: Etype missing for raise expressionSteve Baird1-2/+5
2024-08-08ada: Run-time error with GNAT-LLVM on container aggregate with finalizationGary Dismukes1-1/+2
2024-08-08ada: Futher refinements to mutably tagged typesJustin Squirek5-21/+71
2024-08-08ada: Spurious maximum nesting level warningsJustin Squirek1-1/+2
2024-08-08ada: Finalization_Size raises Constraint_ErrorJavier Miranda1-1/+24
2024-08-08Ada, libgnarl: Fix s-taprop__posix.adb compilation.Iain Sandoe1-1/+1
2024-08-08ada: Fix s-taprop__solaris.adb compilationRainer Orth1-1/+1
2024-08-07Daily bump.GCC Administrator1-0/+73
2024-08-06ada: Fix error in GNATprove inlining with array concatenationYannick Moy1-0/+2
2024-08-06ada: Implement type inference for generic parametersBob Duff4-36/+485
2024-08-06ada: GNAT-LLVM compiler crash on container aggregates with iteratorsGary Dismukes1-2/+9
2024-08-06ada: Spurious error on the default value of a derived scalar typeJavier Miranda1-1/+18
2024-08-06ada: Use fully qualified in more library filesViljar Indus2-6/+7
2024-08-06ada: Assert failure in repinfoJavier Miranda1-1/+5
2024-08-06ada: Use fully qualified in the runtime libraryViljar Indus4-12/+12
2024-08-06ada: Fix propagation of SPARK_Mode for renaming-as-bodyYannick Moy2-0/+16
2024-08-06ada: Reject use-clause conflicts in the run-time libraryBob Duff10-6/+48
2024-08-03Daily bump.GCC Administrator1-0/+288
2024-08-02ada: Fix handling of SPARK_Mode on standalone child subprogramYannick Moy2-2/+18
2024-08-02ada: Fix handling of iterated component associations with sub-aggregatesPiotr Trojanek2-3/+20
2024-08-02ada: Remove unused null branchPiotr Trojanek1-3/+0
2024-08-02ada: Simplify manipulation of the list with loop actionsPiotr Trojanek1-1/+1
2024-08-02ada: Refactor negated conjunctsPiotr Trojanek1-6/+7
2024-08-02ada: Simplify code by reusing Choice_ListPiotr Trojanek2-11/+5
2024-08-02ada: Errors on legal container aggregates with iterated_element_associationsGary Dismukes7-18/+20
2024-08-02ada: Plug loophole in handling of No_Raise pragmaEric Botcazou1-3/+10
2024-08-02ada: Tweak container aggregate expansion codeRonan Desplanques1-18/+22
2024-08-02ada: Add contracts to Ada.Strings.Unbounded and adapt implementationYannick Moy4-260/+2068
2024-08-02ada: Ensure variable is initialized before useRonan Desplanques1-0/+1
2024-08-02ada: Remove unreferenced procedureRichard Kenner1-43/+0
2024-08-02ada: Clean up handling of inlining of finalizer proceduresRichard Kenner10-32/+25
2024-08-02ada: Add leap second support to conversion of Unix_TimeTonu Naks1-65/+70
2024-08-02ada: Update doc of Style_Checks pragmaTonu Naks3-8/+150
2024-08-02ada: Reject ambiguous function calls in interpolated string expressionsJavier Miranda6-55/+213
2024-08-02ada: Compiler accepts illegal assignment to reference type target.Steve Baird1-8/+0
2024-08-02ada: Finish up support for relaxed finalizationEric Botcazou2-4/+72
2024-08-02ada: Fix handling reference warnings with slicesViljar Indus1-2/+3
2024-08-02ada: Reject illegal uses of type/subtype current instanceSteve Baird2-11/+44
2024-08-02ada: Type conversion in instance incorrectly rejected.Steve Baird1-1/+1
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou20-758/+1039
2024-08-02ada: Improve documenation about security of PRGNsJohannes Kliemann5-7/+17
2024-08-02ada: Fix layout of GNAT reference manual sectionRonan Desplanques3-5/+7
2024-08-02ada: Fix crash on expression function returning tagged type in nested packageEric Botcazou4-79/+130
2024-08-02ada: Fix detection of suspicious loop patternsRonan Desplanques1-1/+5
2024-08-02Daily bump.GCC Administrator1-0/+298
2024-08-01ada: Fix computation of new size when reallocating unbounded stringYannick Moy1-1/+1
2024-08-01ada: Update contracts on Strings librariesYannick Moy3-29/+27
2024-08-01ada: Accept duplicate SPARK_Mode pragmas in configuration filesPiotr Trojanek1-8/+0
generated by cgit v1.1 at 2025-01-01 00:17:03 +0000