aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem.adb
AgeCommit message (Expand)AuthorFilesLines
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
2016-04-21lib-writ.adb, [...]: Minor reformatting and code cleanup.Hristian Kirtchev1-2/+2
2016-04-20[multiple changes]Arnaud Charlet1-0/+9
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2016-04-18[multiple changes]Arnaud Charlet1-2/+2
2015-10-23gnat1drv.adb (Adjust_Global_Switches): Adjust settings.Arnaud Charlet1-4/+0
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-11/+13
2015-05-22debug.adb: Update documentation.Robert Dewar1-2/+6
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-101/+116
2014-11-20[multiple changes]Arnaud Charlet1-3/+5
2014-08-04sem.adb, sem.ads (In_Default_Expr): Global flag that is set to True during an...Yannick Moy1-0/+3
2014-08-01[multiple changes]Arnaud Charlet1-1/+23
2014-08-01a-numaux-vxworks.ads, [...]: Fix bad package header comments.Robert Dewar1-7/+1
2014-07-31[multiple changes]Arnaud Charlet1-1/+0
2014-07-16[multiple changes]Arnaud Charlet1-1/+4
2014-01-24[multiple changes]Arnaud Charlet1-6/+7
2014-01-23[multiple changes]Arnaud Charlet1-4/+0
2014-01-23[multiple changes]Arnaud Charlet1-1/+4
2014-01-23[multiple changes]Arnaud Charlet1-3/+0
2014-01-20[multiple changes]Arnaud Charlet1-1/+0
2014-01-20[multiple changes]Arnaud Charlet1-5/+4
2014-01-20[multiple changes]Arnaud Charlet1-1/+11