aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.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 use of generic formal packageJustin Squirek1-0/+5
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev1-100/+115
2018-09-26[Ada] Spurious ineffective use_clause warningJustin Squirek1-1/+9
2018-07-17[Ada] New ignored Ghost code removal mechanismHristian Kirtchev1-18/+3
2018-06-11[Ada] Performance degradation with referencesHristian Kirtchev1-15/+27
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-28[Ada] Misleading warning on unresolvable package nameJustin Squirek1-1/+5
2018-05-25[Ada] Minor reformattingJustin Squirek1-1/+3
2018-05-24[Ada] Infinite loop in the compiler when warning on redundant constructsEd Schonberg1-1/+5
2018-05-22[Ada] Do not emit error in Relaxed_RM_Semantics modeArnaud Charlet1-1/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev1-5/+6
2018-01-11[Ada] Minor reformattingJustin Squirek1-1/+2
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+10
2017-11-16[multiple changes]Pierre-Marie de Rodat1-7/+2
2017-11-16[multiple changes]Pierre-Marie de Rodat1-9/+62
2017-11-09[multiple changes]Pierre-Marie de Rodat1-5/+5
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+4
2017-11-08[multiple changes]Pierre-Marie de Rodat1-3/+16
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-6/+32
2017-11-08[multiple changes]Pierre-Marie de Rodat1-0/+2
2017-10-20s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono...Pierre-Marie de Rodat1-4/+4
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat1-2/+2
2017-10-14[multiple changes]Pierre-Marie de Rodat1-10/+7
2017-10-09[multiple changes]Pierre-Marie de Rodat1-90/+106
2017-10-09[multiple changes]Pierre-Marie de Rodat1-22/+3
2017-10-09[multiple changes]Pierre-Marie de Rodat1-9/+32
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-2/+2
2017-09-29[multiple changes]Pierre-Marie de Rodat1-3/+4
2017-09-29[multiple changes]Pierre-Marie de Rodat1-9/+1
2017-09-29[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-09-25[multiple changes]Pierre-Marie de Rodat1-587/+1073
2017-09-13[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-09-08[multiple changes]Arnaud Charlet1-2/+3
2017-09-08[multiple changes]Arnaud Charlet1-1/+20
2017-09-06[multiple changes]Arnaud Charlet1-1/+1
2017-09-06exp_attr.adb, [...]: Minor reformatting.Hristian Kirtchev1-1/+1
2017-09-06[multiple changes]Arnaud Charlet1-0/+8
2017-09-06[multiple changes]Arnaud Charlet1-1/+0
2017-09-06[multiple changes]Arnaud Charlet1-0/+2
2017-05-02[multiple changes]Arnaud Charlet1-0/+8
2017-04-27[multiple changes]Arnaud Charlet1-8/+4
2017-04-27[multiple changes]Arnaud Charlet1-21/+38
2017-04-25[multiple changes]Arnaud Charlet1-4/+5
2017-04-25[multiple changes]Arnaud Charlet1-0/+13
2017-04-25Minor reformatting.Arnaud Charlet1-13/+13
2017-04-25[multiple changes]Arnaud Charlet1-1/+12
2017-04-25[multiple changes]Arnaud Charlet1-3/+7
2017-04-25[multiple changes]Arnaud Charlet1-3/+3