aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/freeze.adb
AgeCommit message (Expand)AuthorFilesLines
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
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-6/+6
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-3/+29
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-17/+86
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-86/+17
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou1-4/+14
2022-09-05[Ada] Remove excessive guards against inserting empty lists of actionsPiotr Trojanek1-3/+1
2022-07-12[Ada] Proper freezing for dispatching expression functions.Ed Schonberg1-1/+37
2022-07-06[Ada] Fix spurious error for aggregate with box component choiceEric Botcazou1-75/+0
2022-06-02[Ada] Fix detection of deferred constants for freezing errorEric Botcazou1-1/+2
2022-05-30[Ada] Add insertion character for overlay modification warningsGhjuvan Lacambre1-3/+3
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou1-16/+4
generated by cgit v1.1 at 2024-10-04 03:42:07 +0000