aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
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
2022-11-08ada: Remove redundant line in Analyze_Qualified_ExpressionEric Botcazou1-2/+0
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-5/+6
2022-10-06ada: Accessibility error incorrectly flagged on call within Pre'Class expressionGary Dismukes1-1/+6
2022-09-12[Ada] Initialize a local variable to avoid a CodePeer warningSteve Baird1-1/+1
2022-09-12[Ada] bugbox referencing INOX prefixed view of primitive op of modular typeSteve Baird1-1/+10
2022-09-06[Ada] ICE handling discriminant-dependent index constraint for access componentSteve Baird1-0/+85
2022-09-05[Ada] Cleanup analysis of quantified expressions with empty rangesPiotr Trojanek1-32/+27
2022-07-06[Ada] Spurious non-callable warning on prefixed call in class conditionJustin Squirek1-4/+19
2022-07-04[Ada] Compiler rejects legal allocator in record component constraint expressionSteve Baird1-4/+13
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-24/+42
2022-05-16[Ada] Couple of small consistency tweaksEric Botcazou1-6/+24
2022-05-13[Ada] Do not overwrite limited view of result typeEric Botcazou1-13/+0
2022-05-12[Ada] Plug loophole in Possible_Type_For_Conditional_ExpressionEric Botcazou1-0/+4
2022-05-12[Ada] Revamp analysis of conditional expressionsEric Botcazou1-87/+390
2022-05-12[Ada] Rewrite Sem_Ch4.Find_Boolean_TypesEric Botcazou1-74/+68
2022-05-11[Ada] Fix spurious ambiguity for if_expression containing operatorEric Botcazou1-1/+1
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2022-05-09[Ada] Fix check for looking for user defined literalsEd Schonberg1-1/+3
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-791/+495
2022-01-11[Ada] Reduce scope of declare block in analysis of allocatorsPiotr Trojanek1-161/+160
generated by cgit v1.1 at 2024-11-06 15:40:50 +0000