aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sinfo.ads
AgeCommit message (Expand)AuthorFilesLines
2019-10-10[Ada] 'others' in conditional_expressionsBob Duff1-0/+21
2019-08-20[Ada] Minor reformattingsGary Dismukes1-1/+2
2019-08-13[Ada] Complete the more extended AST traversal used in GNATproveYannick Moy1-1/+1
2019-07-22[Ada] Sinfo: update doc about Do_Division/Overlflow/Range_CheckEric Botcazou1-26/+17
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-09[Ada] Sinfo: refine comment for Do_Range_CheckYannick Moy1-1/+5
2019-07-03[Ada] Minor editorial corrections and reformattingGary Dismukes1-2/+2
2019-07-03[Ada] ABE checks v3.0, foundations of Elaboration order v4.0Hristian Kirtchev1-20/+55
2019-07-03[Ada] Spell "laid" correctlyBob Duff1-4/+4
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] System'To_Address not always staticBob Duff1-15/+2
2018-11-14[Ada] Fix handling of generic actuals with default expression in SPARKPiotr Trojanek1-3/+5
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-2/+2
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+26
2018-08-21[Ada] Minor reformattingsHristian Kirtchev1-1/+1
2018-07-16[Ada] Deconstruct unused Withed_Body filed of N_With_Clause nodePiotr Trojanek1-15/+0
2018-06-11[Ada] Wrong code in array aggregates of Ada coextensionsJavier Miranda1-2/+5
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-1/+1
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-24[Ada] Minor fix grammar in comment of N_Defining_IdentifierPiotr Trojanek1-1/+1
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-26/+40
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-0/+2
2018-05-23[Ada] Minor reformattingBob Duff1-1/+1
2018-05-22[Ada] Ada2020: Reduction expressionsEd Schonberg1-51/+0
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Encoding of with clauses in ALI filesHristian Kirtchev1-25/+39
2017-12-15[multiple changes]Pierre-Marie de Rodat1-2/+54
2017-12-05[multiple changes]Pierre-Marie de Rodat1-5/+41
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-10/+53
2017-11-16[multiple changes]Pierre-Marie de Rodat1-2/+43
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-18/+18
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-18/+0
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-2/+66
2017-10-20[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-20sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all...Bob Duff1-1/+14
2017-10-14[multiple changes]Pierre-Marie de Rodat1-4/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-79/+256
2017-09-29exp_ch6.adb (Expand_Call_Helper): Handle case of build-in-place functions ret...Bob Duff1-3/+3
2017-09-25[multiple changes]Pierre-Marie de Rodat1-19/+53
2017-09-18sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ...Pierre-Marie de Rodat1-16/+0
2017-09-08[multiple changes]Arnaud Charlet1-2/+2
2017-04-27[multiple changes]Arnaud Charlet1-21/+55
2017-04-25[multiple changes]Arnaud Charlet1-1/+2
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-8/+17
2017-01-23[multiple changes]Arnaud Charlet1-0/+17
2017-01-23[multiple changes]Arnaud Charlet1-4/+4
2017-01-23scans.ads: New token At_Sign.Ed Schonberg1-0/+34
2017-01-20[multiple changes]Arnaud Charlet1-10/+9