aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-14/+11
2024-06-21ada: Small cleanup in processing of primitive operationsEric Botcazou1-35/+26
2024-06-21ada: Generic formal/actual matching -- misc cleanupBob Duff1-2/+2
2024-06-21ada: Fix gnatcheck violation reported after a recent cleanupPiotr Trojanek1-1/+1
2024-06-20ada: Rewrite generic formal/actual matchingBob Duff1-1/+2
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-77/+31
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-3/+119
2024-06-13ada: Simplify checks for Address and Object_Size clausesPiotr Trojanek1-2/+1
2024-06-10ada: Missing style check for extra parentheses in operatorsJustin Squirek1-3/+3
2024-06-10ada: Fix references to Ada RM in commentsPiotr Trojanek1-1/+1
2024-05-17ada: Check subtype to avoid a precondition failureViljar Indus1-2/+3
2024-05-17ada: Fix checking range constraints within composite typesViljar Indus1-0/+50
2024-05-14ada: Reduce generated code duplication for streaming and Put_Image subprogramsSteve Baird1-1/+4
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-49/+42
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-3/+3
2024-05-07ada: Fix detection of components with per-object constraintsPiotr Trojanek1-72/+2
2024-05-07ada: Fix bad interaction between homogeneous finalization master and BIP prot...Eric Botcazou1-8/+0
2024-05-07ada: Reject non-statically compatible extended return statementJavier Miranda1-0/+25
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-0/+11
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Error compiling Ada 2022 object renaming with no subtype markSteve Baird1-6/+8
2023-12-19ada: Fix internal error on call with parameter of predicated subtypeEric Botcazou1-9/+2
2023-12-19ada: Rename Is_Constr_Subt_For_UN_Aliased flagEric Botcazou1-9/+18
2023-11-30ada: Remove SPARK legality checksYannick Moy1-56/+0
2023-11-28ada: Fix internal error on declare expression in expression functionEric Botcazou1-2/+3
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-29/+40
2023-11-07ada: Cleanup "not Present" on List_IdPiotr Trojanek1-1/+1
2023-11-07ada: Cleanup more "not Present"Piotr Trojanek1-7/+5
2023-10-19ada: Seize opportunity to reuse List_LengthRonan Desplanques1-7/+1
2023-09-26ada: Fix deferred constant wrongly rejectedEric Botcazou1-2/+4
2023-09-19ada: Private extensions with the keyword "synchronized" are always limited.Richard Wai1-3/+9
2023-09-05ada: Enforce subtype conformance of interface primitivesJavier Miranda1-0/+105
2023-08-01ada: Bugbox compiling Constrained_Protected_Object'ImageSteve Baird1-0/+2
2023-08-01ada: Incorrect optimization for unconstrained limited record component typeSteve Baird1-18/+0
2023-06-20ada: Fix bug in predicate checks with address clausesBob Duff1-1/+10
2023-06-20ada: Small fixes to handling of private views in instancesEric Botcazou1-1/+8
2023-06-20ada: Fix type derivation of subtype of derived typeMarc Poulhiès1-3/+33
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-17/+6
2023-05-30ada: Only build access-to-subprogram wrappers when expander is activePiotr Trojanek1-10/+2
2023-05-29ada: Analyze pre/post on access-to-subprogram without a wrapperPiotr Trojanek1-12/+3
2023-05-26ada: Corrections to premature-references rulesBob Duff1-5/+17
2023-05-26ada: Cleanups in handling of aggregatesPiotr Trojanek1-16/+18
2023-05-26ada: Fix iteration over component items with pragmasPiotr Trojanek1-2/+2
2023-05-25ada: Fix internal error on declare-expression in post-conditionEric Botcazou1-5/+7
2023-05-25ada: Switch from E_Void to Is_Not_Self_HiddenBob Duff1-26/+24
2023-05-25ada: Enrich documentation of subprogramRonan Desplanques1-1/+5
2023-05-25ada: Maximize use of existing constantRonan Desplanques1-2/+2
2023-05-25ada: Reduce span of variableRonan Desplanques1-1/+1
2023-05-23ada: ICE on BIP call in class-wide function return within instanceGary Dismukes1-1/+0
generated by cgit v1.1 at 2024-07-19 10:07:12 +0000