aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-07-05[Ada] Adapt SPARK checking after change in rules regarding heap modelingYannick Moy1-10/+0
2021-06-17[Ada] Reject allocators in contexts restricted by SPARKPiotr Trojanek1-0/+10
2021-05-07[Ada] Minor reformattingsBob Duff1-41/+41
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+7
2021-05-07[Ada] Remove End_Interp_List from the overloaded resolution APIPiotr Trojanek1-4/+0
2021-05-06[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_ErrorPiotr Trojanek1-2/+0
2021-05-05[Ada] Reuse Has_Defaulted_Discriminants where possiblePiotr Trojanek1-17/+11
2021-05-03[Ada] Reuse Is_Universal_Numeric_Type where possiblePiotr Trojanek1-3/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace call with a reference to a local constantPiotr Trojanek1-1/+1
2021-05-03[Ada] Error message on invalid prefixed procedure callEd Schonberg1-0/+10
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-1/+1
2021-04-28[Ada] Crash with declare expression used in a postconditionArnaud Charlet1-4/+7
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-1/+1
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-6/+7
2020-12-16[Ada] Simplify membership tests with N_Subprogram_Call subtypePiotr Trojanek1-2/+1
2020-11-26[Ada] Remove duplicated calls to Set_EntityPiotr Trojanek1-1/+1
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-1/+41
2020-10-23[Ada] Missing detection of unused with_clauseArnaud Charlet1-10/+14
generated by cgit v1.1 at 2025-01-15 20:18:54 +0000