aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2024-11-12ada: Elide the copy in aggregate returns for nonlimited typesEric Botcazou1-3/+8
2024-11-04ada: Missing precondition runtime check in inherited primitiveJavier Miranda1-3/+1
2024-10-08ada: Improved support for incomplete parameter typesSteve Baird1-1/+3
2024-10-08ada: Legal access discriminant default expression incorrectly rejectedSteve Baird1-0/+39
2024-08-29ada: Missing legality check when type completedSteve Baird1-0/+26
2024-08-29ada: Avoid creating continuation messages without an intended parentViljar Indus1-3/+9
2024-08-23ada: First controlling parameter aspectJavier Miranda1-2/+12
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-2/+2
2024-08-23ada: First controlling parameter aspectJavier Miranda1-14/+69
2024-08-08ada: Missing legality check when type completedSteve Baird1-0/+14
2024-08-06ada: Fix propagation of SPARK_Mode for renaming-as-bodyYannick Moy1-0/+9
2024-08-01ada: Define No_Return flag only for subprogramsEric Botcazou1-2/+2
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou1-0/+4
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-82/+0
2024-06-27ada: Overridden operation field not correctly set for controlling result wrap...Martin Clochard1-47/+35
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-2/+8
2024-06-13ada: List subprogram body entities in scopesYannick Moy1-0/+9
2024-06-10ada: Storage_Error in indirect call to function returning limited typeJavier Miranda1-5/+7
2024-05-16ada: Avoid checking parameters of protected proceduresViljar Indus1-2/+5
2024-05-16ada: Fix bogus error on function returning noncontrolling result in private partEric Botcazou1-14/+9
2024-05-14ada: Update of SPARK RM legality rules on ghost codeYannick Moy1-7/+7
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-3/+1
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-6/+6
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Cannot requeue to a procedure implemented by an entryJavier Miranda1-0/+1
2024-01-09ada: More aggressive inlining of subprogram calls in GNATprove modePiotr Trojanek1-1/+4
2023-11-30ada: Remove SPARK legality checksYannick Moy1-2/+2
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-2/+2
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-3/+3
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-26/+10
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+10
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-28/+75
2023-09-15ada: Crash on creation of extra formals on type extensionJavier Miranda1-5/+22
2023-09-14ada: Assertion failure adding extra formals to late overriding subp.Javier Miranda1-1/+2
2023-09-05ada: Crash on creation of extra formals on type extensionJavier Miranda1-4/+4
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda1-77/+108
2023-07-28ada: Leave detection of missing return in functions to GNATprovePiotr Trojanek1-9/+2
2023-06-20ada: Further fixes to handling of private views in instancesEric Botcazou1-12/+5
2023-05-29ada: Cleanup detection of type support subprogram entitiesPiotr Trojanek1-42/+31
2023-05-29ada: Fix wrong finalization for call to BIP function in conditional expressionEric Botcazou1-3/+9
2023-05-26ada: Fix late extra formals creationRonan Desplanques1-0/+1
2023-05-25ada: Fix crash during function return analysisMarc Poulhiès1-0/+1
2023-05-25ada: Remove unused initial value of a local variablePiotr Trojanek1-1/+1
2023-05-25ada: Remove redundant guards from calls to Move_AspectsPiotr Trojanek1-6/+2
2023-05-25ada: Fix SPARK context not restored when Load_Unit is failingMarc Poulhiès1-1/+1
2023-05-23ada: Fix expression pretty-printer for SPARK counterexamplesPiotr Trojanek1-0/+7
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-2/+2
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+8
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-5/+5
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-6/+14
generated by cgit v1.1 at 2025-08-10 13:38:00 +0000