aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek1-2/+2
2025-01-09ada: Fix missing detection of late equality operator returning subtype of Boo...Eric Botcazou1-2/+10
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda1-23/+23
2025-01-07ada: Add "finally" GNAT extensionRonan Desplanques1-0/+17
2025-01-06ada: null procedure cannot be used as compilation unitBob Duff1-8/+0
2025-01-06ada: Cleanup preanalysis of static expressionsJavier Miranda1-0/+6
2025-01-06ada: Fix incorrect incomplete type errorViljar Indus1-1/+3
2025-01-03ada: Warn on unmodified parameters of expression functionsBob Duff1-6/+10
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-19/+3
2024-12-12ada: Improve task entry context detectionRonan Desplanques1-0/+10
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
generated by cgit v1.1 at 2025-02-25 08:38:07 +0000