aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-20ada: Rewrite generic formal/actual matchingBob Duff1-1159/+1462
2024-06-20ada: Fix assertion failure during analysis of instantiation of formal packageEric Botcazou1-1/+2
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+5
2024-06-13ada: Minor cleanups in generic formal matchingBob Duff1-14/+14
2024-06-10ada: Missing style check for extra parentheses in operatorsJustin Squirek1-1/+1
2024-05-20ada: Allow 'others' in formal packages with overloaded formalsBob Duff1-17/+10
2024-05-14ada: Rtsfind should not trash state used in analyzing instantiations.Steve Baird1-0/+62
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-13/+9
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Allow passing private types to generic formal incomplete typesBob Duff1-80/+76
2024-01-09ada: Error compiling Ada 2022 object renaming with no subtype markSteve Baird1-0/+6
2024-01-09Fix internal error on function call returning extension of limited interfaceEric Botcazou1-2/+1
2023-12-19ada: Add missing guard to previous changeEric Botcazou1-1/+3
2023-12-19ada: Fix spurious visibility error on parent's component in instanceEric Botcazou1-26/+81
2023-12-19ada: Illegal instance of Generic_1.Generic_2 incorrectly acceptedSteve Baird1-11/+85
2023-11-30ada: Remove SPARK legality checksYannick Moy1-37/+0
2023-11-30ada: Too-strict conformance checking for formal discriminated typeSteve Baird1-5/+12
2023-11-21ada: Further cleanup in finalization machineryEric Botcazou1-4/+1
2023-11-21ada: Fix spurious error on call with default parameter in generic packageEric Botcazou1-2/+5
2023-11-07ada: Fix incorrect resolution of overloaded function call in instanceEric Botcazou1-31/+41
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-66/+52
2023-11-07ada: Minor tweaks for comparison operatorsEric Botcazou1-7/+1
2023-09-05ada: Fix internal error on instantiation with private component typeEric Botcazou1-6/+48
2023-06-27ada: Fix incorrect handling of iterator specifications in recent changeEric Botcazou1-7/+11
2023-06-27ada: Plug small loophole in the handling of private views in instancesEric Botcazou1-7/+39
2023-06-27ada: Plug another loophole in the handling of private views in instancesEric Botcazou1-0/+17
2023-06-20ada: Further fixes to handling of private views in instancesEric Botcazou1-144/+151
2023-06-20ada: Fix fallout of fix to handling of private views in instancesEric Botcazou1-1/+3
2023-06-20ada: Small fixes to handling of private views in instancesEric Botcazou1-60/+79
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-3/+4
2023-06-13ada: Fix another case of missing Has_Private_View flagEric Botcazou1-1/+1
2023-06-13ada: Fix spurious error on call to function returning private in genericEric Botcazou1-56/+57
2023-05-29ada: Fix spurious error on nested instantiations with generic renamingEric Botcazou1-9/+18
2023-05-26ada: Fix internal error on Big_Integer conversion ghost instanceEric Botcazou1-12/+12
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-54/+60
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-1/+2
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou1-26/+1
2023-05-22ada: Fix missing finalization in library-unit instance specEric Botcazou1-4/+6
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-4/+4
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+5
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-1/+1
2023-05-16ada: Trivial refactoring in Instantiate_*_BodyMarc Poulhiès1-10/+6
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix nested generic instantiationMarc Poulhiès1-0/+3
2023-01-05ada: Fix generic instantiation of sibling packageMarc Poulhiès1-2/+31
2022-11-21ada: Move warnings switchesBob Duff1-4/+4
2022-11-14ada: Adjust locations in aspects on generic formal subprogramsPiotr Trojanek1-0/+20
2022-11-14ada: Fix style in code for generic formal subprograms with contractsPiotr Trojanek1-9/+9
2022-11-14ada: Expand generic formal subprograms with contracts for GNATprovePiotr Trojanek1-1/+1
2022-11-08ada: Propagate aspect Ghost when instantiating null formal proceduresPiotr Trojanek1-0/+2
generated by cgit v1.1 at 2024-07-24 15:03:55 +0000