aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff1-1/+0
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-3/+3
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+23
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: INOX: prototype RFC on String InterpolationJavier Miranda1-0/+3
2022-07-12[Ada] Fix missing Overflow and Range checksMarc Poulhiès1-1/+9
2022-05-13[Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83Piotr Trojanek1-2/+2
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-6/+6
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-5/+9
2021-10-04[Ada] Mark Ada.Text_IO in SPARKYannick Moy1-2/+7
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+9
2021-05-07[Ada] Minor reformattingsBob Duff1-36/+36
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+32
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-10/+9
2020-07-15[Ada] Ongoing work for AI12-0212: container aggregatesArnaud Charlet1-0/+3
2020-07-10[Ada] Crash in Walk_Library_Items on ghost unitsArnaud Charlet1-1/+5
2020-06-16[Ada] Declare expressionsBob Duff1-0/+3
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-1/+1
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-05[Ada] Spurious assert failure in Walk_Library_ItemsArnaud Charlet1-1/+3
2020-06-04[Ada] Wrong walk order in Walk_Library_ItemsArnaud Charlet1-13/+30
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-09-17[Ada] Fix ineffective -gnatyN for separate compilation unitsEric Botcazou1-2/+3
2019-08-19[Ada] Minor refactoringsPiotr Trojanek1-5/+3
2019-08-13[Ada] Fix bogus style check failure with pragma Style_Checks (Off)Eric Botcazou1-0/+1
2019-07-11[Ada] Minor refactoringPiotr Trojanek1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-31[Ada] Fix a freezing issueJavier Miranda1-0/+11
2018-07-17[Ada] Configuration state not observed for instance bodiesHristian Kirtchev1-4/+4
2018-07-16[Ada] Minor reformattingHristian Kirtchev1-0/+1
2018-07-16[Ada] Avoid crash when traversing units with -gnatd.WW debug switchPiotr Trojanek1-2/+8
2018-07-16[Ada] Trivial simplifications in in Walk_Library_ItemsPiotr Trojanek1-13/+8
2018-07-16[Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_ItemsPiotr Trojanek1-29/+2
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-9/+13
2018-05-22[Ada] Ada2020: Reduction expressionsEd Schonberg1-6/+0
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+6
2017-11-16[multiple changes]Pierre-Marie de Rodat1-11/+26
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-3/+5
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+15
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+12
2017-04-27[multiple changes]Arnaud Charlet1-4/+3
2017-04-27[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-1/+9
2017-04-25[multiple changes]Arnaud Charlet1-52/+0
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-8/+5