aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
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
2022-01-11[Ada] Balance parentheses in comments about allocatorsPiotr Trojanek1-2/+2
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-18/+16
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-06[Ada] Spurious error when using current instance of typeJustin Squirek1-0/+18
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-22/+16
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-16/+0
2021-12-01[Ada] Improve error messages for dot notation when -gnatX not usedYannick Moy1-3/+5
2021-11-10[Ada] Fix oversight in latest change to Has_Compatible_TypeEric Botcazou1-5/+4
2021-11-10[Ada] Add guard against previous error for peculiar ACATS testEric Botcazou1-0/+6
2021-11-09[Ada] Tidy up implementation of Has_Compatible_TypeEric Botcazou1-31/+29
2021-10-25[Ada] Spurious error on user-defined literal and operatorEd Schonberg1-0/+79
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-4/+4
2021-10-20[Ada] Issue warning on unused quantified expressionYannick Moy1-13/+59
generated by cgit v1.1 at 2025-01-19 05:24:08 +0000