aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
13 daysada: Pragma Pre_Class and Post_Class have no effect at runtimeJavier Miranda1-82/+178
13 daysada: Spurious error when compiling in Syntax and Semantics Only modeJavier Miranda1-0/+17
2024-10-08ada: Add dependency lines for External_InitializationRonan Desplanques1-0/+3
2024-10-08ada: Early freezeing of types with 'Size'Classsquirek1-2/+2
2024-10-08ada: Add External_Initialization extensionRonan Desplanques1-4/+97
2024-08-23ada: Emit a warning on inheritly limited typesViljar Indus1-0/+34
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-4/+4
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+48
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-1/+0
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-5/+1
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
generated by cgit v1.1 at 2024-11-07 12:24:35 +0000