aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_aux.adb
AgeCommit message (Expand)AuthorFilesLines
2022-07-04[Ada] Assertions in Einfo.UtilsBob Duff1-4/+2
2022-05-18[Ada] Errors missed on ACATS test B650007Arnaud Charlet1-9/+1
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-9/+0
2022-05-09[Ada] Fix invalid memory access on finalization of class-wide typeJustin Squirek1-1/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-11-10[Ada] Create explicit ghost mirror unit for big integersYannick Moy1-1/+9
2021-09-22[Ada] Add Package_Body helper routine to be used in GNATprovePiotr Trojanek1-0/+25
2021-09-20[Ada] Remove inappropriate test from Is_By_Reference_TypeEric Botcazou1-4/+1
2021-06-18[Ada] Reuse Package_Specification in Is_Incomplete_Or_Private_TypePiotr Trojanek1-0/+4
2021-05-07[Ada] Minor reformattingsBob Duff1-10/+10
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] Crash with declare expression used in a postconditionArnaud Charlet1-3/+7
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-115/+1
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-23/+0
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-7/+0
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-0/+5
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-14/+9
2020-07-06[Ada] Wording problems with predicates (AI12-0099)Gary Dismukes1-0/+13
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-2/+2
2020-06-16[Ada] ACATS C452005/C452006 memberships use wrong equality operationArnaud Charlet1-0/+9
2020-06-10[Ada] Remove unreferenced GNATprove utility routine Get_Low_BoundPiotr Trojanek1-13/+0
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-13/+13
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-18/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-14[Ada] Do not crash with -gnatR3 on Ghost aspectsEd Schonberg1-0/+6
2019-07-11[Ada] Minor reformattingHristian Kirtchev1-4/+5
2019-07-10[Ada] Fix spurious messages on global variables for SPARK pointer supportYannick Moy1-0/+12
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-03[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]Gary Dismukes1-1/+2
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-0/+1
2017-09-08sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...Yannick Moy1-0/+26
2017-09-06[multiple changes]Arnaud Charlet1-2/+1
2017-09-06[multiple changes]Arnaud Charlet1-2/+6
2017-04-27[multiple changes]Arnaud Charlet1-1/+6
2017-04-25[multiple changes]Arnaud Charlet1-2/+5
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-47/+26
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-3/+3
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-2/+3
2016-04-27sem_aux.adb (Is_By_Reference_Type): Also return true for a tagged incomplete ...Eric Botcazou1-1/+5
2016-04-21[multiple changes]Arnaud Charlet1-1/+24
2016-04-19sem_util.adb (Copy_Node_With_Replacement): use Set_Comes_From_Source instead ...Arnaud Charlet1-20/+8
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-10-26[multiple changes]Arnaud Charlet1-2/+4
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-10-20[multiple changes]Arnaud Charlet1-1/+1
2015-05-27[multiple changes]Arnaud Charlet1-3/+3
2015-05-27[multiple changes]Arnaud Charlet1-1/+6
2015-05-26[multiple changes]Arnaud Charlet1-4/+4
generated by cgit v1.1 at 2024-11-10 13:05:02 +0000