aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
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
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-7/+0
2024-06-20ada: Remove redundant conditions from freezing codePiotr Trojanek1-7/+7
2024-06-20ada: Fix style in freezing codePiotr Trojanek1-3/+3
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou1-15/+0
2024-06-20ada: Change messages for -gnatw.v to warningsViljar Indus1-5/+5
2024-06-14ada: Fix parts of classification of aspectsEric Botcazou1-28/+41
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+74
2024-06-14ada: Minor tweaks to processing of Aggregate aspectEric Botcazou1-9/+8
2024-06-14ada: Couple of small cleanups in semantic analysis of aspectsEric Botcazou1-36/+51
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda1-3/+16
2024-06-13ada: Convert an info message to a continuationViljar Indus1-2/+3
2024-06-13ada: Simplify checks for Address and Object_Size clausesPiotr Trojanek1-3/+1
2024-06-13ada: Missing dynamic predicate checksJavier Miranda1-0/+16
2024-06-10ada: Fix references to Ada RM in commentsPiotr Trojanek1-2/+2
2024-06-10ada: Fix handling of aspects CPU and Interrupt_PriorityPiotr Trojanek1-1/+6
2024-05-21ada: Remove useless trampolines caused by Unchecked_ConversionEric Botcazou1-13/+16
2024-05-20ada: Reject too-strict alignment specifications.Steve Baird1-0/+15
2024-05-16ada: Exception on Indefinite_Vector aggregate with loop_parameter_specificationGary Dismukes1-4/+1
2024-05-16ada: Reuse existing expression when rewriting aspects to pragmasPiotr Trojanek1-5/+5
2024-05-16ada: Cleanup reporting locations for Ada 2022 and GNAT extension aspectsPiotr Trojanek1-5/+5
2024-05-16ada: Fix casing in error messagesPiotr Trojanek1-1/+1
2024-05-14ada: Fix classification of SPARK Boolean aspectsPiotr Trojanek1-178/+25
2024-05-14ada: Fix crash with -gnatdJ and -gnatfRonan Desplanques1-4/+5
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-8/+7
2024-05-13ada: Move splitting of pre/post aspect expressions to expansionPiotr Trojanek1-52/+0
2024-05-13ada: Fix internal error with Put_Image aspect on access-to-class-wide typeEric Botcazou1-0/+5
2024-05-07ada: Minor comment improvementBob Duff1-1/+1
2024-05-07ada: Fix bug in overloaded selected_components in aspect_specificationsBob Duff1-4/+11
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Check all interfaces for valid iterator typeViljar Indus1-13/+90
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-2/+2
generated by cgit v1.1 at 2025-01-16 22:33:38 +0000