aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2017-10-20[multiple changes]Pierre-Marie de Rodat10-41/+41
2017-10-20Add ChangeLog entries, missing from last commitPierre-Marie de Rodat1-0/+90
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat19-111/+195
2017-10-20exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ...Pierre-Marie de Rodat19-97/+157
2017-10-20sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all...Bob Duff7-16/+67
2017-10-19exp_ch6.adb (Is_Build_In_Place_Result_Type): Fix silly bug -- "Typ" should be...Bob Duff2-9/+16
2017-10-19[multiple changes]Pierre-Marie de Rodat7-34/+164
2017-10-18misc.c (gnat_tree_size): Move around.Eric Botcazou3-17/+27
2017-10-17langhooks.h (struct lang_hooks): Document that tree_size langhook may be also...Jakub Jelinek2-0/+24
2017-10-14sem_elab.adb (In_Preelaborated_Context): A generic package subject to Remote_...Hristian Kirtchev2-1/+7
2017-10-14[multiple changes]Pierre-Marie de Rodat15-62/+244
2017-10-14[multiple changes]Pierre-Marie de Rodat7-241/+516
2017-10-14Makefile.rtl (GNATRTL_NONTASKING_OBJ): Add s-soliin to GNATRTL_NONTASKING_OBJ.Patrick Bernardi2-0/+6
2017-10-14[multiple changes]Pierre-Marie de Rodat52-996/+1836
2017-10-10Require wi::to_wide for treesRichard Sandiford2-2/+8
2017-10-09[multiple changes]Pierre-Marie de Rodat18-324/+418
2017-10-09[multiple changes]Pierre-Marie de Rodat7-17/+111
generated by cgit v1.1 at 2024-07-20 21:12:33 +0000