aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/freeze.adb
AgeCommit message (Expand)AuthorFilesLines
2024-08-29ada: Use the same warning character in continuation messagesViljar Indus1-2/+2
2024-08-29ada: Use consistent type continuations messagesViljar Indus1-4/+4
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+279
2024-08-06ada: Spurious error on the default value of a derived scalar typeJavier Miranda1-1/+18
2024-08-06ada: Fix propagation of SPARK_Mode for renaming-as-bodyYannick Moy1-0/+7
2024-08-02ada: Fix crash on expression function returning tagged type in nested packageEric Botcazou1-71/+109
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-2/+0
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-12/+0
2024-07-02ada: Bug box for expression function with list comprehensionBob Duff1-0/+1
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-2/+10
2024-06-21ada: Fix incorrect handling of packed array with aliased composite componentsEric Botcazou1-99/+91
2024-06-20ada: Fix crash on real literal in declare expression of expression functionEric Botcazou1-2/+3
2024-06-20ada: Enforce strict alignment for array types with aliased componentEric Botcazou1-12/+18
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-6/+16
2024-06-20ada: Remove redundant conditions from freezing codePiotr Trojanek1-1/+0
2024-06-20ada: Fix style in freezing codePiotr Trojanek1-5/+3
2024-06-20ada: Do not compute Has_Controlled_Component twice during freezingEric Botcazou1-3/+6
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-6/+2
2024-06-14ada: Couple of small cleanups in semantic analysis of aspectsEric Botcazou1-16/+1
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda1-72/+233
2024-06-10ada: For freezing, treat an extension or delta aggregate like a regular aggre...Steve Baird1-1/+3
2024-06-10ada: Missing style check for extra parentheses in operatorsJustin Squirek1-1/+1
2024-05-20ada: Get rid of secondary stack for indefinite record types with size clauseEric Botcazou1-0/+1
2024-05-20ada: Reject too-strict alignment specifications.Steve Baird1-2/+6
2024-05-14ada: Update of SPARK RM legality rules on ghost codeYannick Moy1-1/+1
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-4/+4
2024-05-06ada: Don't propagate convention to internal subprogramsRichard Kenner1-11/+17
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Fix internal error on class-wide allocator inside if-expressionEric Botcazou1-2/+11
2023-11-30ada: Remove SPARK legality checksYannick Moy1-71/+0
2023-11-30ada: Crash initializing component of private record typeJavier Miranda1-85/+89
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-2/+3
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+8
2023-09-05ada: Fix assertion failure on very peculiar enumeration typeEric Botcazou1-0/+14
2023-07-06ada: Finalization not performed for component of protected typeSteve Baird1-1/+14
2023-05-30ada: Fix internal error on array constant in expression functionEric Botcazou1-4/+21
2023-05-29ada: Fix spurious error on imported generic function with preconditionEric Botcazou1-7/+1
2023-05-25ada: Minor adjustments to Standard_AddressEric Botcazou1-4/+14
2023-05-25ada: Handle controlling access parameters in DTWsRonan Desplanques1-5/+2
2023-05-23ada: Add tags to warnings controlled by Warn_On_Redundant_ConstructsPiotr Trojanek1-1/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-4/+4
2023-05-22ada: Fix error and crash on imported function with precondition and 'BaseEric Botcazou1-3/+4
2023-05-16ada: Fix crash on iterated component in expression functionEric Botcazou1-6/+8
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Flag renaming-as-spec as a body to inlinePiotr Trojanek1-7/+6
2023-01-05ada: Remove unhelpful special case for renamed bodies in GNATprove modePiotr Trojanek1-5/+2
2023-01-05ada: Further adjust freezing for expansion of contractsEric Botcazou1-1/+6
2022-11-14ada: Flag unsupported dispatching constructor callsJavier Miranda1-0/+3
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-92/+23
2022-11-07ada: Fix inherited postconditions in inlined subprogramsBob Duff1-5/+10
generated by cgit v1.1 at 2024-09-27 21:05:37 +0000