aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_disp.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda1-5/+8
2024-05-17ada: Fix Constraint_Error on mutable assignmentBob Duff1-1/+2
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-12/+10
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-30ada: Remove SPARK legality checksYannick Moy1-0/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-1/+0
2023-07-04ada: Fix list of inherited subprograms in query for GNATproveYannick Moy1-0/+30
2023-05-29ada: Cleanup detection of type support subprogram entitiesPiotr Trojanek1-3/+3
2023-05-23ada: Fix reference to Ada issue in commentRonan Desplanques1-1/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-3/+3
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-04ada: Skip dynamic interface conversion under configurable runtimeJavier Miranda1-3/+12
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
generated by cgit v1.1 at 2024-07-04 10:31:57 +0000