aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem.adb
AgeCommit message (Expand)AuthorFilesLines
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
2017-01-23[multiple changes]Arnaud Charlet1-3/+3
2017-01-23[multiple changes]Arnaud Charlet1-0/+3
2017-01-23scans.ads: New token At_Sign.Ed Schonberg1-0/+3
2017-01-19Minor reformatting.Arnaud Charlet1-3/+4
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-75/+77
2017-01-13exp_util.adb (Insert_Actions): Handle Iterated_Component_Association.Ed Schonberg1-0/+1
2017-01-13[multiple changes]Arnaud Charlet1-0/+8
2017-01-13atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev1-5/+9
2016-10-13[multiple changes]Arnaud Charlet1-2/+2
2016-10-13sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New overloaded subprogr...Javier Miranda1-0/+9
2016-10-12Minor reformatting.Arnaud Charlet1-5/+8
2016-10-12[multiple changes]Arnaud Charlet1-0/+10
2016-06-22[multiple changes]Arnaud Charlet1-1/+1
2016-06-22sem_ch8.adb (Push_Scope): Add a check for when the scope table is empty to as...Justin Squirek1-1/+2
2016-05-02[multiple changes]Arnaud Charlet1-0/+3
2016-04-27[multiple changes]Arnaud Charlet1-33/+49
generated by cgit v1.1 at 2024-07-19 00:47:34 +0000