aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-10-23[Ada] Better error for illegal call to abstract operation in instantiationsGary Dismukes1-0/+19
2020-10-22[Ada] AI12-0307: uniform resolution rules for aggregatesEd Schonberg1-0/+2
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-2/+2
2020-10-19[Ada] Wrong freezing for expression function with contracts in a genericArnaud Charlet1-0/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-70/+68
2020-07-16[Ada] Implicit dereferencing in container indexingGary Dismukes1-1/+20
2020-07-16[Ada] Ada2020: AI12-0107 convention of By_Protected_ProcedureJavier Miranda1-0/+69
2020-07-10[Ada] Ada2020: AI12-0368 Declare expressions can be staticBob Duff1-2/+0
2020-07-07[Ada] Assert failure on invalid Variable_IndexingArnaud Charlet1-0/+7
2020-06-19[Ada] Fix internal error on component of class-wide parameter in instance bodyEric Botcazou1-14/+10
2020-06-19[Ada] universal_access equality and 'Access attributesArnaud Charlet1-14/+49
2020-06-18[Ada] Suppress CodePeer message on possible uninitialized variableArnaud Charlet1-2/+2
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-41/+217
2020-06-16[Ada] Fix spurious error on derived private type with predicateEric Botcazou1-6/+16
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-16[Ada] Declare expressionsBob Duff1-0/+76
generated by cgit v1.1 at 2025-02-03 01:17:06 +0000