From: Arnaud Charlet Date: Tue, 10 Aug 2010 13:37:59 +0000 (+0200) Subject: [multiple changes] X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f92d7f29a1ee221a8a590bf0f4f724e7e45e103;p=gcc.git [multiple changes] 2010-08-10 Thomas Quinot * exp_attr.adb: Add comments. 2010-08-10 Jerome Lambourg * adaint.c (__gnat_get_file_names_case_sensitive): return 0 on darwin. From-SVN: r163059 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1b4e752bcb2..2715b54782c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2010-08-10 Thomas Quinot + + * exp_attr.adb: Add comments. + +2010-08-10 Jerome Lambourg + + * adaint.c (__gnat_get_file_names_case_sensitive): return 0 on darwin. + 2010-08-09 Nathan Froyd * gcc-interface/utils.c (gnat_poplevel): Use blocks_nreverse. diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 9b814e945d0..cc1dd99ead6 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -579,7 +579,7 @@ __gnat_get_maximum_file_name_length (void) int __gnat_get_file_names_case_sensitive (void) { -#if defined (VMS) || defined (WINNT) +#if defined (VMS) || defined (WINNT) || defined (__APPLE__) return 0; #else return 1; diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 5126e5a1730..7bb6285f5e2 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -96,7 +96,6 @@ package body Exp_Attr is (N : Node_Id; Pref : Node_Id; Typ : Entity_Id); - -- An attribute reference to a protected subprogram is transformed into -- a pair of pointers: one to the object, and one to the operations. -- This expansion is performed for 'Access and for 'Unrestricted_Access. @@ -370,7 +369,11 @@ package body Exp_Attr is Make_Aggregate (Loc, Expressions => New_List (Obj_Ref, Sub_Ref)); + -- Sub_Ref has been marked as analyzed, but we still need to make sure + -- Sub is correctly frozen. + Freeze_Before (N, Entity (Sub)); + Rewrite (N, Agg); Analyze_And_Resolve (N, E_T);