aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch5.adb
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev1-11/+7
2018-09-26[Ada] Add a No_Return annotation to ease static analysisHristian Kirtchev1-1/+2
2018-09-26[Ada] Spurious dependency on secondary stackHristian Kirtchev1-194/+341
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-2/+1
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+31
2018-09-26[Ada] Crash on expression functions within quantified expressionsJustin Squirek1-4/+17
2018-07-17[Ada] Minor reformattingHristian Kirtchev1-14/+16
2018-07-17[Ada] Secondary stack leak in loop iteratorJavier Miranda1-65/+115
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-3/+3
2018-05-30[Ada] Secondary stack leak in "for X of ..." loopsBob Duff1-5/+7
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-3/+4
2018-05-23[Ada] Minor reformattingsHristian Kirtchev1-10/+8
2018-05-23[Ada] Missing legality check on iterator over formal containerEd Schonberg1-31/+38
2018-05-23[Ada] Crash on predicate involving qualified expression in instanceEd Schonberg1-0/+11
2018-05-21[Ada] Premature secondary stack reclamationHristian Kirtchev1-21/+16
2018-01-11[Ada] Detection of illegal constituent assignmentsHristian Kirtchev1-5/+70
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-2/+11
2017-11-16sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ...Bob Duff1-0/+39
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+2
2017-10-20sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all...Bob Duff1-5/+7
2017-10-09[multiple changes]Pierre-Marie de Rodat1-75/+97
2017-10-09[multiple changes]Pierre-Marie de Rodat1-6/+14
2017-10-09[multiple changes]Pierre-Marie de Rodat1-9/+15
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-11/+108
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-09-25[multiple changes]Pierre-Marie de Rodat1-4/+6
2017-09-08[multiple changes]Arnaud Charlet1-1/+4
2017-09-08[multiple changes]Arnaud Charlet1-1/+2
2017-09-06[multiple changes]Arnaud Charlet1-9/+8
2017-09-06[multiple changes]Arnaud Charlet1-1/+20
2017-09-06[multiple changes]Arnaud Charlet1-6/+3
2017-09-06[multiple changes]Arnaud Charlet1-1/+4
2017-04-28[multiple changes]Arnaud Charlet1-3/+3
2017-04-25contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou...Hristian Kirtchev1-4/+5
2017-04-25[multiple changes]Arnaud Charlet1-2/+1
2017-04-25[multiple changes]Arnaud Charlet1-0/+19
2017-04-25[multiple changes]Arnaud Charlet1-10/+13
2017-04-25[multiple changes]Arnaud Charlet1-21/+21
2017-04-25[multiple changes]Arnaud Charlet1-9/+4
2017-04-25[multiple changes]Arnaud Charlet1-9/+9
2017-01-23[multiple changes]Arnaud Charlet1-4/+4
2017-01-23scans.ads: New token At_Sign.Ed Schonberg1-0/+45
2017-01-20[multiple changes]Arnaud Charlet1-0/+8
2017-01-19[multiple changes]Arnaud Charlet1-1/+4
2017-01-13[multiple changes]Arnaud Charlet1-0/+4
2017-01-13atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke...Hristian Kirtchev1-31/+23
2017-01-06[multiple changes]Arnaud Charlet1-0/+13
2016-10-13[multiple changes]Arnaud Charlet1-6/+4