aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2013-07-21gigi.h: Likewise.Ondřej Bílka10-16/+28
2013-07-20re PR ada/57934 (typo in definition of CAT in gcc-interface/ada.h for traditi...Eric Botcazou2-2/+7
2013-07-08einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_C...Hristian Kirtchev4-18/+103
2013-07-08[multiple changes]Arnaud Charlet4-10/+47
2013-07-08[multiple changes]Arnaud Charlet22-238/+608
2013-07-08[multiple changes]Arnaud Charlet5-19/+30
2013-07-08[multiple changes]Arnaud Charlet5-45/+138
2013-07-08[multiple changes]Arnaud Charlet4-7/+14
2013-07-08[multiple changes]Arnaud Charlet11-60/+150
2013-07-08[multiple changes]Arnaud Charlet13-61/+82
2013-07-08[multiple changes]Arnaud Charlet8-27/+97
2013-07-08sem_dim.adb: Minor error message change.Robert Dewar4-72/+95
2013-07-08[multiple changes]Arnaud Charlet3-2/+17
2013-07-08[multiple changes]Arnaud Charlet4-22/+52
2013-07-08[multiple changes]Arnaud Charlet8-467/+435
2013-07-08[multiple changes]Arnaud Charlet4-48/+95
2013-07-08[multiple changes]Arnaud Charlet3-3/+19
2013-07-08[multiple changes]Arnaud Charlet5-13/+50
2013-07-08sem_ch8.adb, [...]: Minor reformatting.Robert Dewar3-6/+24
2013-07-08[multiple changes]Arnaud Charlet7-128/+85
2013-07-08[multiple changes]Arnaud Charlet6-86/+48
2013-07-08sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...Ed Schonberg3-9/+18
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev21-243/+958
2013-07-05sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the...Ed Schonberg2-2/+12
2013-07-05exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each di...Ed Schonberg3-105/+241
2013-07-05[multiple changes]Arnaud Charlet9-140/+347
2013-07-05exp_ch4.adb, [...]: Minor reformatting.Robert Dewar5-120/+140
2013-07-05exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base type...Hristian Kirtchev2-0/+12
2013-07-05[multiple changes]Arnaud Charlet8-32/+139
2013-07-05[multiple changes]Arnaud Charlet5-17/+143
2013-07-05[multiple changes]Arnaud Charlet3-3/+68
2013-07-05gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.Robert Dewar3-0/+56
2013-07-05[multiple changes]Arnaud Charlet6-8/+91
2013-07-05freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions...Robert Dewar5-28/+38
2013-07-05gnat_rm.texi, [...]: Minor comment/text fixes.Robert Dewar3-1/+17
2013-07-05gnat_rm.texi: Add missing doc for various pragmas.Robert Dewar2-51/+210
2013-07-05par_sco.adb, [...]: Minor reformatting.Robert Dewar7-89/+124
2013-07-05[multiple changes]Arnaud Charlet3-2/+26
2013-07-05[multiple changes]Arnaud Charlet14-180/+357
2013-07-05sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...Ed Schonberg2-0/+13
2013-06-13ada-tree.h (DECL_BY_DOUBLE_REF_P): Delete.Eric Botcazou7-78/+36
2013-05-30* gcc-interface/Makefile.in (arm% androideabi): Robustify.Eric Botcazou2-1/+5
2013-05-26decl.c: (gnat_to_gnu_entity): In ASIS mode, do not check that access types ha...Eric Botcazou2-3/+11
2013-05-26decl.c (vinfo_t): New type and associated vector.Eric Botcazou2-87/+168
2013-05-26trans.c (Attribute_to_gnu): Add kludge to avoid generating an overflow for -1.Eric Botcazou2-3/+13
2013-05-26gigi.h (create_type_decl): Adjust prototype.Eric Botcazou4-189/+227
2013-05-26gigi.h (make_aligning_type): Adjust prototype.Eric Botcazou5-8/+19
2013-05-26decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a ...Eric Botcazou3-3/+12
2013-05-26decl.c (gnat_to_gnu_entity): Always build the UNC variable for aliased object...Eric Botcazou2-19/+17
2013-05-24gigi.h (gnat_init_gcc_fp): Declare.Eric Botcazou4-4/+39