aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2017-11-19re PR ada/83016 (gnat1: warning: command line option ‘-nostdinc++’ is val...Eric Botcazou3-23/+58
2017-11-16Makefile.in: Merge Aarch64 and ARM "ifeq" blocks.Doug Rupp2-16/+37
2017-11-16[multiple changes]Pierre-Marie de Rodat3-0/+20
2017-11-16[multiple changes]Pierre-Marie de Rodat3-2/+42
2017-11-16[multiple changes]Pierre-Marie de Rodat7-11/+140
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev13-109/+355
2017-11-16[multiple changes]Pierre-Marie de Rodat3-0/+25
2017-11-16[multiple changes]Pierre-Marie de Rodat10-22/+511
2017-11-16[multiple changes]Pierre-Marie de Rodat5-14/+127
2017-11-16[multiple changes]Pierre-Marie de Rodat5-35/+52
2017-11-16[multiple changes]Pierre-Marie de Rodat17-1348/+4339
2017-11-16sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ...Bob Duff5-6/+100
2017-11-11Remove ada/ prefixEric Botcazou1-2/+2
2017-11-10PR c/81117 - Improve buffer overflow checking in strncpyMartin Sebor3-3/+9
2017-11-10Update copyright yearsEric Botcazou1-1/+1
2017-11-10utils.c (convert): Add comment and do not fall through to the next case.Eric Botcazou2-1/+27
2017-11-09exp_util.adb, freeze.adb: Minor reformatting.Gary Dismukes3-3/+6
2017-11-09[multiple changes]Pierre-Marie de Rodat3-4/+44
2017-11-09[multiple changes]Pierre-Marie de Rodat31-350/+618
2017-11-09[multiple changes]Pierre-Marie de Rodat7-12/+49
2017-11-09[multiple changes]Pierre-Marie de Rodat15-102/+120
2017-11-09exp_disp.adb (Make_DT): Default initialize Ifaces_List and Ifaces_Comp_List.Yannick Moy2-2/+7
2017-11-09[multiple changes]Pierre-Marie de Rodat18-466/+2005
2017-11-09[multiple changes]Pierre-Marie de Rodat8-21/+58
2017-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat10-101/+125
2017-11-09[multiple changes]Pierre-Marie de Rodat29-70/+156
2017-11-09[multiple changes]Pierre-Marie de Rodat8-117/+177
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat13-1384/+296
2017-11-09[multiple changes]Pierre-Marie de Rodat17-93/+266
2017-11-09[multiple changes]Pierre-Marie de Rodat5-1639/+82
2017-11-08[multiple changes]Pierre-Marie de Rodat20-180/+3683
2017-11-08[multiple changes]Pierre-Marie de Rodat4-10/+16
2017-11-08[multiple changes]Pierre-Marie de Rodat5-63/+17
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat9-91/+85
2017-11-08[multiple changes]Pierre-Marie de Rodat12-21/+49
2017-11-08spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.Piotr Trojanek4-11/+18
2017-11-08spark_xrefs.ads (SPARK_File_Record): Remove string components.Piotr Trojanek4-41/+11
2017-11-08lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.Piotr Trojanek3-13/+12
2017-11-08[multiple changes]Pierre-Marie de Rodat6-63/+80
2017-11-08spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.Piotr Trojanek4-98/+21
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty en...Piotr Trojanek1-6/+1
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat19-1439/+271
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev14-294/+570
2017-11-08sem_util.adb (Subprogram_Name): Append suffix for overloaded subprograms.Arnaud Charlet2-0/+27
2017-11-08[multiple changes]Pierre-Marie de Rodat6-327/+569
2017-11-06* gcc-interface/misc.c (gnat_post_options): Clear warn_return_type.Eric Botcazou2-0/+7
2017-10-31re PR ada/82785 (gnat bootstrap fails on m68k-linux-gnu)Eric Botcazou2-1/+6
2017-10-21* gcc-interface/Makefile.in: Remove bogus settings for VxWorks.Eric Botcazou2-9/+9
2017-10-21utils.c (pad_type_hash): Use hashval_t for hash value.Eric Botcazou2-6/+16
2017-10-20s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono...Pierre-Marie de Rodat8-454/+439