aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
10 hoursada: Update Assertion_Policy handling in GNATProve modeViljar Indus1-4/+5
10 hoursada: Keep Ghost_Mode related variables in a recordViljar Indus1-6/+4
14 daysada: Add destructors extensionRonan Desplanques1-21/+117
14 daysada: Fix unnecessary extra RE_Activation_Chain_Access with No_Task_PartsDenis Mazzucato1-0/+8
14 daysada: Adding support to defer the addition of extra formalsJavier Miranda1-0/+2
14 daysada: Ensure Expression_Copy has a parent before analysisViljar Indus1-7/+7
2025-07-04ada: Missing component clause warning for discriminant of Unchecked_Union typeSteve Baird1-2/+41
2025-07-04ada: Remove leftover from rework of aspect representationRonan Desplanques1-11/+3
2025-07-04ada: Fix error on Designated_Storage_Model with extensions disabledRonan Desplanques1-0/+1
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet1-0/+271
2025-06-30ada: Fix Itype-related predicate check omissions.Steve Baird1-0/+56
2025-06-09ada: Emit more warnings on unsupported overlayMarc Poulhiès1-4/+5
2025-06-06ada: Simplify tests for positive rational numbersPiotr Trojanek1-1/+1
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek1-7/+23
2025-06-06ada: Refactor the implementation of gnat diagnosticsViljar Indus1-32/+38
2025-06-06ada: Initial prototype of constructorssquirek1-2/+96
2025-06-06ada: Remove Size_Check_Code field from entitiesEric Botcazou1-5/+0
2025-06-05ada: Cleanup preanalysis of static expressions (part 6)Javier Miranda1-18/+20
2025-01-13ada: Cleanup preanalysis of static expressions (part 5)Javier Miranda1-8/+20
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Remove unused AST flag Address_Warning_PostedPiotr Trojanek1-4/+2
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda1-14/+11
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross1-3/+18
2025-01-06ada: Remove workaround for RM_Size being unable to represent unknown sizePiotr Trojanek1-39/+3
2025-01-03ada: Improve and correct support for inheritance of nonoverriding aspectsGary Dismukes1-616/+828
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-3/+3
2024-12-13ada: Fix code indentationPiotr Trojanek1-13/+13
2024-12-12ada: Accept static strings with External_InitializationRonan Desplanques1-26/+13
2024-12-12ada: Add minimal support for other delayed aspects on controlled objectsEric Botcazou1-2/+3
2024-11-26ada: Minor adjustments to error message for RM B.1(24)Eric Botcazou1-0/+4
2024-11-14ada: Fix spurious warning on representation clause for private discriminated ...Eric Botcazou1-34/+59
2024-10-25ada: Put Finalizable aspect in -gnatXRaphaël AMIARD1-2/+3
2024-10-08ada: Add External_Initialization extensionRonan Desplanques1-0/+15
2024-09-10ada: First controlling parameter: report error without Extensions allowedJavier Miranda1-10/+18
2024-09-05ada: Integrate new diagnostics in the frontendViljar Indus1-17/+36
2024-08-29ada: Avoid creating continuation messages without an intended parentViljar Indus1-1/+1
2024-08-23ada: Implicit_Dereference aspect specification for subtype incorrectly acceptedSteve Baird1-0/+5
2024-08-23ada: Fix style in lines starting with assignment operatorPiotr Trojanek1-6/+6
2024-08-23ada: First controlling parameter aspectJavier Miranda1-3/+0
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+52
2024-08-02ada: Finish up support for relaxed finalizationEric Botcazou1-4/+14
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+21
2024-08-01ada: Fix bug in resolution of Ghost_PredicateBob Duff1-5/+7
2024-08-01ada: Check default value aspects before resolving their expressionsPiotr Trojanek1-112/+117
2024-08-01ada: Fix freezing of Default_Value expressionsPiotr Trojanek1-2/+6
2024-08-01ada: Remove Must_Not_Freeze flags from default value expressionsPiotr Trojanek1-2/+0
2024-08-01ada: Stop ignoring Component_Size attribute in CodePeer_ModeGhjuvan Lacambre1-18/+0
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-11/+232
2024-06-21ada: Crash when using user defined string literalsJavier Miranda1-1/+7
2024-06-21ada: Fix for Default_Component_Value with declare expressionsPiotr Trojanek1-2/+10
generated by cgit v1.1 at 2025-08-04 22:35:09 +0000