aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
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
2023-05-23ada: Remove the body of System.Storage_ElementsEric Botcazou1-0/+1
2023-05-23ada: Fix bogus error on predicated limited record declared in protected typeEric Botcazou1-0/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-1/+1
2023-05-22ada: Fix handling of constrained array declarations in declare-expressionEric Botcazou1-2/+2
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-22/+7
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-0/+139
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-28ada: Implement change to SPARK RM rule on state refinementYannick Moy1-1/+2
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-13/+12
2022-11-08ada: Improve handling of declare expressions in deferred-freezing contextsSteve Baird1-0/+20
2022-11-08ada: Cleanup local variable that is only set as an out parameterPiotr Trojanek1-9/+9
2022-11-08ada: Allow initialization of limited objects with delta aggregatesPiotr Trojanek1-0/+1
2022-11-07ada: Cleanup detection of code within generic instancesPiotr Trojanek1-3/+3