aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-08-07ada: Refactor multiple returnsSheri Bernstein1-15/+15
2023-08-07ada: Extend precondition of Interfaces.C.String.Value with LengthPiotr Trojanek1-4/+4
2023-08-07ada: Crash in GNATprove due to wrong detection of inliningYannick Moy1-8/+10
2023-08-07ada: Spurious error on class-wide preconditionsJavier Miranda1-0/+12
2023-08-04Daily bump.GCC Administrator1-0/+34
2023-08-03ada: Add pragma Annotate for GNATcheck exemptionsSheri Bernstein15-0/+66
2023-08-03ada: Rewrite Set_Image_*_Unsigned routines to remove recursion.Vasiliy Fofanov2-100/+55
2023-08-03ada: Fix spurious error on 'Input of private type with Type_Invariant aspectEric Botcazou1-4/+19
2023-08-03ada: Adjust again address arithmetics in System.Dwarf_LinesEric Botcazou1-2/+6
2023-08-02Daily bump.GCC Administrator1-0/+71
2023-08-01ada: Fix printing of numbers in JSON output for data representationYannick Moy1-2/+2
2023-08-01ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATproveYannick Moy1-0/+49
2023-08-01ada: Bugbox compiling Constrained_Protected_Object'ImageSteve Baird1-0/+2
2023-08-01ada: Incorrect optimization for unconstrained limited record component typeSteve Baird1-18/+0
2023-08-01ada: Default Put_Image for composite derived types is missing informationPascal Obry5-20/+76
2023-08-01ada: Fix generation of JSON output for data representationYannick Moy1-3/+12
2023-08-01ada: check Atree.Get/Set_Field_ValueBob Duff1-0/+20
2023-08-01ada: Emit SCOs for nested decisions in quantified expressionsLéo Creuse1-1/+8
2023-07-29Daily bump.GCC Administrator1-0/+113
2023-07-28ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-3/+4
2023-07-28ada: Add an assert in Posix Interrupt_WaitClément Chigot1-0/+1
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda6-151/+418
2023-07-28ada: Add support for binding to a specific network interface controller.Pascal Obry3-2/+34
2023-07-28ada: Add missing SCO generation for quantified expressions in object declLéo Creuse1-2/+4
2023-07-28ada: Fix race condition in protected entry callRonan Desplanques1-2/+8
2023-07-28ada: Small refactorViljar Indus1-2/+3
2023-07-28ada: Add guard for detection of class-wide precondition subprogramsPiotr Trojanek1-1/+4
2023-07-28ada: Fix memory explosion on aggregate of nested packed array typeEric Botcazou1-1/+3
2023-07-28ada: Leave detection of missing return in functions to GNATprovePiotr Trojanek1-9/+2
2023-07-28ada: Emit enums rather than defines for various constantsTom Tromey5-44/+69
2023-07-28ada: Fix typo in comment of Ada.Exceptions.Save_OccurrencePiotr Trojanek1-1/+1
2023-07-28ada: Allow calls to Number_Formals when no formals are presentPiotr Trojanek4-5/+9
2023-07-28ada: Improve defense against illegal code in check for infinite loopsPiotr Trojanek1-1/+3
2023-07-19Daily bump.GCC Administrator1-0/+239
2023-07-18ada: Use new typedefs in gcc-interfaceTom Tromey2-6/+14
2023-07-18ada: Constraint_Error caused by 'Image applied to interface typeJavier Miranda2-8/+36
2023-07-18ada: Avoid iterator conflicts in container aggregatesViljar Indus1-1/+14
2023-07-18ada: Apply correct element type for container aggregatesViljar Indus1-7/+5
2023-07-18ada: Fix expanding container aggregates with Iterator specificationViljar Indus1-2/+5
2023-07-18ada: Improve error message for ambiguous subprogram callEric Botcazou3-8/+21
2023-07-18ada: Constraint_Error caused by interface conversionJavier Miranda1-90/+4
2023-07-18ada: Tweak CPU affinity handling on LinuxRonan Desplanques1-31/+7
2023-07-18ada: Fix internal error on aggregates of self-referencing typesEric Botcazou3-13/+18
2023-07-18ada: Fix assertion failure introduced by latest changeEric Botcazou1-4/+5
2023-07-18ada: Expose expected_throw attributeAlexandre Oliva6-5/+146
2023-07-18ada: Refactor s-pack* units to remove multiple returnsVasiliy Fofanov120-4248/+4071
2023-07-18ada: Allow warnings with explain codeYannick Moy1-2/+4
2023-07-18ada: Fix Valid_Scalars attribute applied to types from limited withEric Botcazou2-2/+9
2023-07-12Daily bump.GCC Administrator1-0/+11
2023-07-11ada: Avoid renaming_decl in case of constrained arrayBob Duff1-1/+15
generated by cgit v1.1 at 2024-10-19 10:02:01 +0000