aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
2025-01-09ada: Accept predefined multiply operator for fixed point in expression functionEric Botcazou1-5/+7
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda1-1/+1
2025-01-06ada: Fix predicate involving array indexing rejected in generic packageEric Botcazou1-3/+7
2025-01-06ada: Crash in prefix notation with access to class-wide objectJavier Miranda1-10/+19
2025-01-03ada: Reuse existing utility routine to detect attribute Loop_EntryPiotr Trojanek1-3/+1
2025-01-03ada: Improve and correct support for inheritance of nonoverriding aspectsGary Dismukes1-248/+41
2025-01-03ada: Preliminary work in analysis and expansion of initialized allocatorsEric Botcazou1-3/+3
2024-12-13ada: Fix code indentationPiotr Trojanek1-10/+10
2024-11-12ada: Get rid of N_Unchecked_Expression nodeEric Botcazou1-13/+0
2024-10-25ada: Constraint error not raised in ACATS test c413007Javier Miranda1-1/+3
2024-10-25ada: Fix internal error on ambiguous operands of comparison operatorEric Botcazou1-0/+8
2024-10-25ada: Inspect deferred constant completions in missing contextsRaphaël AMIARD1-0/+2
2024-09-05ada: Integrate new diagnostics in the frontendViljar Indus1-27/+74
2024-08-06ada: Fix error in GNATprove inlining with array concatenationYannick Moy1-0/+2
2024-08-01ada: Operator visibility bug in static expression functionsSteve Baird1-0/+1
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-7/+0
2024-06-21ada: Fix internal error on case expression used as index of array componentEric Botcazou1-35/+73
2024-06-21ada: Predefined arithmetic operators incorrectly treated as directly visibleSteve Baird1-1/+21
2024-06-20ada: Crash on selected component of formal derived type in generic instanceGary Dismukes1-18/+19
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-1/+60
2024-06-13ada: Interfaces order disables class-wide prefix notation callsJavier Miranda1-1/+22
2024-05-16ada: Improve recovery from illegal occurrence of 'Old in if_expressionPiotr Trojanek1-1/+1
2024-05-14ada: Factor out implementation of default initialization for objectsEric Botcazou1-14/+7
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09Fix internal error on function call returning extension of limited interfaceEric Botcazou1-1/+3
2023-12-19ada: Cleanup SPARK legality checkingYannick Moy1-5/+5
2023-11-30ada: Constant_Indexing used when context requires a variableSteve Baird1-3/+15
2023-11-07ada: Fix incorrect resolution of overloaded function call in instanceEric Botcazou1-4/+11
2023-11-07ada: Minor tweaks for comparison operatorsEric Botcazou1-5/+4
2023-11-07ada: Cleanup more "not Present"Piotr Trojanek1-1/+1
2023-11-07ada: Error in prefix-notation callBob Duff1-2/+8
2023-09-05ada: Fix crash on selected component lookup in generic instanceBob Duff1-3/+7
2023-07-18ada: Improve error message for ambiguous subprogram callEric Botcazou1-1/+5
2023-06-20ada: Spurious error on package instantiationJavier Miranda1-101/+146
2023-06-15ada: Fix missing error on function call returning incomplete viewEric Botcazou1-0/+6
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-0/+27
2023-05-29ada: Repair support for user-defined literals in arithmetic operatorsEric Botcazou1-133/+121
2023-05-26ada: Tune detection of expression functions within a declare expressionPiotr Trojanek1-2/+2
2023-05-23ada: Add new switch -gnatyzArnaud Charlet1-4/+4
2023-05-22ada: Accept Assert pragmas in expression functionsSteve Baird1-1/+18
2023-05-22ada: Improve -gnatyx style checkArnaud Charlet1-0/+27
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-3/+2
2023-05-22ada: Reject illegal declarations in expression functionsSteve Baird1-0/+10
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-35/+29
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Implement RM 4.5.7(10/3) name resolution ruleEric Botcazou1-56/+73
2022-11-08ada: Minor consistency tweaks in Sem_Ch4Eric Botcazou1-15/+24