aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_aggr.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-23[Ada] Fix scope of index parameter inside a delta aggregatePiotr Trojanek1-2/+2
2020-10-22[Ada] Ada_2020: ongoing work for aggregates for bounded containersEd Schonberg1-3/+9
2020-10-21[Ada] Fix crash on illegal OTHERS in iterated_component_associationPiotr Trojanek1-1/+1
2020-10-21[Ada] Use index parameter for iterated_component_associationPiotr Trojanek1-7/+2
2020-10-21[Ada] Fix crash with iterated_component_association and -gnatcPiotr Trojanek1-1/+7
2020-10-20[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containersEd Schonberg1-0/+5
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet1-1/+43
2020-10-19[Ada] Ada_2020: Implement Key_Expression for named container aggregatesEd Schonberg1-23/+61
2020-10-19[Ada] ACATS 4.1R - Exception missedArnaud Charlet1-6/+18
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-1/+1
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-1/+3
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-25/+25
2020-07-16[Ada] Ongoing work for AI12-0212 : container aggregatesEd Schonberg1-2/+53
2020-07-15[Ada] Ongoing work for AI12-0212: container aggregatesArnaud Charlet1-19/+22
2020-07-15[Ada] Potential access to uninitialized variableArnaud Charlet1-1/+3
2020-07-15[Ada] Minor reformatting of comments and some code, plus a typo correctionGary Dismukes1-4/+4
2020-07-15[Ada] Ongoing work for unnamed and named container aggregatesEd Schonberg1-27/+174
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-2/+2
2020-07-10[Ada] Part of implementation of AI12-0212: container aggregatesEd Schonberg1-0/+51
2020-07-08[Ada] Ada_2020 AI12-0250 : Implement Iterator filters.Ed Schonberg1-0/+12
2020-07-07[Ada] Change local object from variable to constantPiotr Trojanek1-6/+4
2020-06-19[Ada] Decorate record delta aggregate for GNATprovePiotr Trojanek1-12/+24
2020-06-16[Ada] Declare expressionsBob Duff1-1/+2
2020-06-16[Ada] ACATS 4.1P - C432003 - Errors missed on extension aggregatesArnaud Charlet1-3/+5
2020-06-11[Ada] Refine type of a routine parameter from Node_Id to Entity_IdPiotr Trojanek1-2/+2
2020-06-11[Ada] Refine type of a counter-like variablePiotr Trojanek1-1/+1
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-11[Ada] Avoid "others => <>" association in resolved record aggregatesPiotr Trojanek1-11/+5
2020-06-11[Ada] Move duplicated routines for building itypes to Sem_UtilPiotr Trojanek1-95/+0
2020-06-11[Ada] Refine type for sorting case-choices tablesPiotr Trojanek1-6/+4
2020-06-11[Ada] Create constrained itypes for nested record aggregatesPiotr Trojanek1-63/+101
2020-06-11[Ada] Remove a dubious optimization for Object Specific Data dispatchingPiotr Trojanek1-68/+0
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-121/+0
2020-06-05[Ada] Do not create an empty list of nodes that confuses GNATprovePiotr Trojanek1-5/+6
2020-06-05[Ada] Minor wording changes wrt Ada 202xArnaud Charlet1-1/+1
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-35/+3
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-05-12Be prepared for more aggregates in gigiEric Botcazou1-3/+16
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-0/+1
2019-10-10[Ada] 'others' in conditional_expressionsBob Duff1-23/+25
2019-10-10[Ada] Missing Predicated_Parent link on array ItypeEd Schonberg1-1/+8
2019-09-17[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172)Javier Miranda1-0/+10
2019-08-20[Ada] Enable delta_aggregate only in Ada 2020 modeBob Duff1-0/+5
2019-07-22[Ada] Further fix non-stored discriminant in aggregate for GNATproveEric Botcazou1-11/+32
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Fix setting of Has_Predicate flag for aggregate subtypesEd Schonberg1-2/+12
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-23[Ada] Spurious error on instantiation with type with unknown discriminantsEd Schonberg1-1/+4
generated by cgit v1.1 at 2025-03-29 03:32:32 +0000