aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch13.adb
AgeCommit message (Expand)AuthorFilesLines
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
2023-11-07ada: Compiler crash on early alignment clauseBob Duff1-2/+0
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-7/+13
2023-11-07ada: Cleanup "not Present" on List_IdPiotr Trojanek1-1/+1
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-5/+285
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+17
2023-09-05ada: Crash on function returning empty Ada 2022 aggregateJavier Miranda1-1/+1
2023-07-28ada: Allow calls to Number_Formals when no formals are presentPiotr Trojanek1-1/+5
2023-07-18ada: Fix assertion failure introduced by latest changeEric Botcazou1-4/+5
2023-07-11ada: Fix wrong resolution for hidden discriminant in predicateEric Botcazou1-7/+42
2023-06-20ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64Eric Botcazou1-1/+3
2023-06-15ada: Fix aspect Linker_Section ignored on subprogram bodyEric Botcazou1-12/+22
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-7/+23
2023-06-13ada: Use ghost predicate in standard libraryYannick Moy1-1/+5
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-6/+25
2023-05-29ada: Simplify removal of formals from the scopePiotr Trojanek1-2/+2
2023-05-26ada: Tune detection of expression functions within a declare expressionPiotr Trojanek1-1/+1
2023-05-26ada: Remove redundant protection against empty listsPiotr Trojanek1-122/+116
2023-05-25ada: Fix error message for Aggregate aspectMarc Poulhiès1-2/+2
2023-05-25ada: Fix (again) incorrect handling of Aggregate aspectMarc Poulhiès1-5/+7
generated by cgit v1.1 at 2024-11-06 02:45:52 +0000