aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-10-11[Ada] Incorrect Dynamic_Predicate results for static argumentsSteve Baird1-0/+1
2021-10-11[Ada] Find an interpretation for membership test with a singleton valueEtienne Servais1-9/+33
2021-10-11[Ada] Reorder subprogram spec and bodies in alphabetical orderEtienne Servais1-35/+35
2021-09-21[Ada] Presence of abstract operator function causes resolution problemsGary Dismukes1-0/+1
2021-09-20[Ada] Fix condition in op interpretation resolutionGhjuvan Lacambre1-1/+1
2021-09-20[Ada] Only assign type to op if compatibleGhjuvan Lacambre1-1/+1
2021-07-08[Ada] Spurious warning in generic instanceArnaud Charlet1-1/+3
2021-07-06[Ada] Regression on overloaded prefixed calls related to prefixed-call extensionGary Dismukes1-2/+6
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-3/+57
generated by cgit v1.1 at 2024-10-28 14:36:23 +0000