aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_disp.adb
AgeCommit message (Expand)AuthorFilesLines
2022-07-04[Ada] Do not make procedure call with only tag-indeternminate actuals dispatc...Eric Botcazou1-42/+35
2022-07-04[Ada] Incorrect accessibility check on return of discriminated typeJustin Squirek1-5/+4
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-0/+6
2022-06-01[Ada] Do not freeze subprogram body without spec too earlyEric Botcazou1-3/+2
2022-06-01[Ada] Minor tweaks to dispatching support codeEric Botcazou1-5/+5
2022-05-30[Ada] Fix Warn_On_Late_Primitives messages not being properly taggedGhjuvan Lacambre1-1/+1
2022-05-16[Ada] Accept calls to abstract subprograms in class-wide pre/post-conditionsJavier Miranda1-6/+14
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-1/+4
2022-01-11[Ada] Conformance error on protected subp with anonymous-access-to-tagged formalGary Dismukes1-0/+23
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+110
2021-09-23[Ada] Wrappers of access-to-subprograms with pre/post conditionsJavier Miranda1-0/+70
2021-07-07[Ada] Implement new legality checks specified by AI12-0412Gary Dismukes1-24/+43
2021-07-05[Ada] Add Ada 2022 Image and Put_Image support for tagged typesSteve Baird1-2/+2
2021-06-18[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditionsJavier Miranda1-4/+5
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-0/+3
2021-05-07[Ada] Minor reformattingsBob Duff1-34/+34
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] AI12-0397: Default_Initial_Condition expressions for derived typesGary Dismukes1-0/+58
2020-12-16[Ada] Simplify membership tests with N_Subprogram_Call subtypePiotr Trojanek1-1/+1
2020-10-19[Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprsGary Dismukes1-2/+6
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-10/+10
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+37
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-9/+0
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-16/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
2019-08-14[Ada] Fix failing assertions on SPARK elaborationYannick Moy1-1/+7
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-0/+1
2019-07-04[Ada] Spurious error on incomplete tagged formal parameterJustin Squirek1-0/+8
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-30[Ada] Minor reformattingHristian Kirtchev1-7/+4
2018-05-28[Ada] Allow for GNATprove specific versions of routines from Sem_DispClaire Dross1-102/+142
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-4/+13
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-4/+6
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-2/+10
2017-09-07[multiple changes]Arnaud Charlet1-24/+1
2017-04-25Minor reformatting.Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-0/+7
2017-04-25[multiple changes]Arnaud Charlet1-10/+10
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-3/+1
2017-04-25sem_prag.adb, [...]: Minor reformatting.Hristian Kirtchev1-6/+8
2017-04-25[multiple changes]Arnaud Charlet1-0/+59
2017-04-25[multiple changes]Arnaud Charlet1-1/+10
2017-01-19[multiple changes]Arnaud Charlet1-3/+19
generated by cgit v1.1 at 2025-01-07 11:02:22 +0000