aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-09-05[Ada] Cleanup resolution of iterated component associationPiotr Trojanek1-11/+11
2022-09-05[Ada] Cleanup analysis of quantified expressions with empty rangesPiotr Trojanek1-32/+27
2022-09-05[Ada] New gnatbind switch -kArnaud Charlet6-1/+49
2022-09-05[Ada] Code cleanupsArnaud Charlet1-17/+5
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou8-311/+319
2022-09-05[Ada] Cleanup expansion of attribute PriorityPiotr Trojanek3-41/+30
2022-09-05[Ada] Fix expansion of attribute PriorityPiotr Trojanek2-7/+12
2022-09-05[Ada] Remove excessive guards against inserting empty lists of actionsPiotr Trojanek2-6/+2
2022-09-05[Ada] Improve pretty-printing of iterated component associationsPiotr Trojanek1-3/+12
2022-09-05[Ada] Fix syntax in documentationArnaud Charlet2-24/+6
2022-09-03Daily bump.GCC Administrator1-0/+93
2022-09-02[Ada] Adjust previous change to Expand_Subtype_From_ExprEric Botcazou1-1/+1
2022-09-02[Ada] Error on return of object whose full view has undefaulted discriminantsGary Dismukes1-1/+1
2022-09-02[Ada] Fix crash on declaration of overaligned array with constraintsEric Botcazou2-16/+12
2022-09-02[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou3-3/+7
2022-09-02[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.MapsClaire Dross2-0/+7
2022-09-02[Ada] Fix proof of runtime unit System.Exp_ModClaire Dross1-0/+10
2022-09-02[Ada] Fix proof of runtime unit System.Wid_*Claire Dross1-1/+15
2022-09-02[Ada] Recover proof of Scaled_Divide in System.Arith_64Yannick Moy2-122/+211
2022-09-02[Ada] Update documentation about non-symbolic tracebackEric Botcazou4-1428/+1486
2022-09-02[Ada] Fix proof of runtime unit System.Value* and System.Image*Claire Dross24-1547/+1853
2022-07-14Daily bump.GCC Administrator1-0/+240
2022-07-13[Ada] Small housekeeping work in gigiEric Botcazou1-1/+8
2022-07-13[Ada] Extend No_Dependence restriction to code generationEric Botcazou2-21/+64
2022-07-13[Ada] Revert recent change in debug info for vector array typesEric Botcazou1-8/+0
2022-07-13[Ada] Undo questionable renaming in earlier changeEric Botcazou1-2/+2
2022-07-13[Ada] Also deal with private actual types in latest changeEric Botcazou1-0/+13
2022-07-13[Ada] Adjust name of stack checking functionEric Botcazou1-1/+1
2022-07-13[Ada] Use actual types instead of formal types consistently in debug infoEric Botcazou1-27/+93
2022-07-13[Ada] Generate debug info entry for user-defined access subtypeEric Botcazou1-7/+6
2022-07-13[Ada] Do not generate DW_TAG_typedef for constrained array typesEric Botcazou1-16/+9
2022-07-13[Ada] Fix internal error on comparison with access function parameterEric Botcazou1-5/+10
2022-07-13[Ada] Fix internal error on instance of Ada.Task_Attributes at -OEric Botcazou1-7/+13
2022-07-13[Ada] Fix wrong access check with access-to-unconstrained-arrayEric Botcazou1-8/+13
2022-07-13[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou1-0/+4
2022-07-13[Ada] Fix for bootstrap problem with calling function System.Case_Util.To_MixedGary Dismukes1-1/+3
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes6-129/+202
2022-07-13[Ada] Fix for visibility of aspect expressions inside generic unitsPiotr Trojanek1-30/+35
2022-07-13[Ada] Handle bodies-to-inline just like generic templatesPiotr Trojanek2-12/+4
2022-07-13[Ada] Clarify hardening command-line options that require explicit choicesAlexandre Oliva2-16/+18
2022-07-13[Ada] Fix incorrect handling of Ghost aspectYannick Moy1-0/+10
2022-07-13[Ada] Fix proof of runtime unit System.Arith_64Yannick Moy1-4/+92
2022-07-13[Ada] Fix crash on frontend inlining of functions with single returnsPiotr Trojanek1-0/+1
2022-07-13[Ada] Plug legality loophole for equality operator of untagged record typesEric Botcazou2-69/+162
2022-07-13[Ada] Fix automatic proof on System.Arith_32Yannick Moy1-1/+2
2022-07-13[Ada] Fix if expression returning sliceMarc Poulhiès1-3/+17
2022-07-13[Ada] Add cross-references between Integer_Type_For and Small_Integer_Type_ForEric Botcazou1-2/+2
2022-07-13[Ada] Fix internal error on untagged record type with equality operatorEric Botcazou1-1/+8
2022-07-13[Ada] Fix CodePeer warnings in GNAT sourcesJustin Squirek4-117/+17
2022-07-13[Ada] Refine type for checking number of pragma argumentsPiotr Trojanek1-2/+2
generated by cgit v1.1 at 2024-08-20 00:47:34 +0000