]>
Commit | Line | Data |
---|---|---|
51c7954d EB |
1 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
2 | ||
3 | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL | |
4 | for the padded type built to support a specified size or alignment. | |
5 | ||
6ddf9843 EB |
6 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
7 | ||
8 | * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment. | |
9 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer | |
10 | unconditionally to the end of the unit when the designated type is | |
11 | limited_with'ed. | |
12 | <all>: Rename local variable. Attempt to un-defer types only and do it | |
13 | for limited_with'ed types as well. | |
14 | (finalize_from_with_types): Adjust comment. Rename variable and tidy. | |
15 | * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT | |
16 | consistently and remove redundant call to finalize_from_with_types. | |
17 | ||
5daed84a EB |
18 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
19 | ||
20 | * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to | |
21 | subprograms without a previous spec declared in the same unit. | |
22 | * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined | |
23 | subprograms at the end of the unit instead of at the beginning. | |
24 | * gcc-interface/utils.c (create_subprog_decl): Check that the entity | |
25 | isn't public for the special handling of non-inline functions nested | |
26 | inside inline external functions. | |
27 | ||
0edf1bb2 JL |
28 | 2011-03-25 Jeff Law <law@redhat.com> |
29 | ||
5daed84a | 30 | * gcc-interface/utils.c (def_fn_type): Add missing va_end. |
0edf1bb2 | 31 | |
e3c4580e EB |
32 | 2011-03-24 Eric Botcazou <ebotcazou@adacore.com> |
33 | ||
34 | * einfo.ads (Size_Depends_On_Discriminant): Adjust description. | |
35 | * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure | |
36 | to compute Set_Size_Depends_On_Discriminant. | |
37 | (Layout_Type): Call it on array types in back-end layout mode. | |
38 | * sem_util.adb (Requires_Transient_Scope): Return true for array | |
39 | types only if the size depends on the value of discriminants. | |
40 | * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS | |
41 | type if the RHS is a call to a function that returns an unconstrained | |
42 | type with default discriminant. | |
43 | ||
abbc8c7b EB |
44 | 2011-03-24 Eric Botcazou <ebotcazou@adacore.com> |
45 | ||
46 | * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of | |
47 | non-conversion to the nominal result type at the end. | |
48 | ||
ddb5a105 EB |
49 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
50 | ||
51 | * gcc-interface/trans.c (create_temporary): New function taken from... | |
52 | (create_init_temporary): ...here. Call it. | |
53 | (call_to_gnu): Create the temporary for the return value early, if any. | |
54 | Create it for a function with copy-in/copy-out parameters if there is | |
55 | no target; in other cases of copy-in/copy-out, use another temporary. | |
56 | Push the new binding level lazily. Add and rename local variables. | |
57 | ||
0d853156 EB |
58 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
59 | ||
60 | * gcc-interface/decl.c (validate_size): Improve comments and tweak | |
61 | error message. | |
62 | (set_rm_size): Likewise. | |
63 | ||
4184ef1b EB |
64 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
65 | ||
66 | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL | |
67 | for the padded type built in order to support a specified alignment. | |
68 | Fix incorrect formatting. | |
69 | ||
bf7eefab EB |
70 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
71 | ||
72 | PR bootstrap/48216 | |
73 | * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL. | |
74 | ||
ef0feeb2 EB |
75 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
76 | ||
77 | * gcc-interface/decl.c (components_to_record): Add REORDER parameter, | |
78 | rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter | |
79 | to the end of the list. Adjust recursive call. Rename local variable. | |
80 | If REORDER is true, reorder components of the record type. | |
81 | (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to | |
82 | components_to_record and adjust the parameter list. | |
83 | ||
646f9414 EB |
84 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
85 | ||
86 | * gcc-interface/decl.c (elaborate_expression_1): When optimization is | |
87 | disabled, use the variable for bounds of loop iteration scheme. | |
88 | ||
62d784f7 KT |
89 | 2011-03-21 Kai Tietz <ktietz@redhat.com> |
90 | ||
91 | PR target/12171 | |
646f9414 | 92 | * gcc-interface/utils.c (gnat_internal_attribute_table): Add new column |
62d784f7 | 93 | |
f230d759 EB |
94 | 2011-03-17 Eric Botcazou <ebotcazou@adacore.com> |
95 | ||
96 | * gcc-interface/decl.c (elaborate_expression_1): Try harder to find | |
97 | out whether the expression is read-only. Short-circuit placeholder | |
98 | case and rename a couple of local variables. | |
99 | ||
bb1f7929 EB |
100 | 2011-03-17 Eric Botcazou <ebotcazou@adacore.com> |
101 | ||
102 | * gcc-interface/gigi.h (smaller_form_type_p): Declare. | |
103 | * gcc-interface/trans.c (smaller_form_type_p): Make global and move... | |
104 | * gcc-interface/utils.c (smaller_form_type_p): ...to here. | |
105 | (convert): Deal with conversions from a smaller form type specially. | |
106 | ||
400a2d24 EB |
107 | 2011-02-14 Eric Botcazou <ebotcazou@adacore.com> |
108 | ||
109 | * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and | |
110 | its argument, except for the special -I- switch. | |
111 | ||
c26bc3ad GP |
112 | 2011-02-12 Gerald Pfeifer <gerald@pfeifer.com> |
113 | ||
114 | * gnat_ugn.texi (Compiling Different Versions of Ada): Update | |
115 | link to "Ada Issues". | |
116 | ||
07b8e910 EB |
117 | 2011-02-08 Eric Botcazou <ebotcazou@adacore.com> |
118 | ||
119 | * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs. | |
120 | ||
31a5a547 EB |
121 | 2011-02-03 Eric Botcazou <ebotcazou@adacore.com> |
122 | ||
123 | * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of | |
124 | GNAT_FORMAL. | |
125 | * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to... | |
126 | * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE | |
127 | instead of GNAT_FORMAL. Protect the expression against multiple uses. | |
128 | Do not generate the check directly, instead instantiate the template | |
129 | check present in the descriptor. | |
130 | (make_descriptor_field): Move around. | |
131 | (build_vms_descriptor32): Build a template check in the POINTER field. | |
132 | (build_vms_descriptor): Remove useless suffixes. | |
133 | * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call. | |
134 | ||
dcf25f59 EB |
135 | 2011-01-26 Eric Botcazou <ebotcazou@adacore.com> |
136 | ||
137 | PR bootstrap/47467 | |
138 | * targext.c: Include target files if IN_RTS is defined. | |
139 | ||
0418e131 RG |
140 | 2011-01-26 Richard Guenther <rguenther@suse.de> |
141 | ||
142 | PR bootstrap/47467 | |
143 | * targext.c: Include config.h. | |
144 | * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H) | |
145 | dependency. | |
146 | ||
c6eecbd8 PO |
147 | 2011-01-04 Pascal Obry <obry@adacore.com> |
148 | Eric Botcazou <ebotcazou@adacore.com> | |
149 | ||
150 | * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit. | |
151 | ||
2d3c7e4f EB |
152 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
153 | ||
154 | * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the | |
155 | end-of-case on the end label and its associated gotos, if any. | |
156 | ||
0394741f EB |
157 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
158 | ||
159 | * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the | |
160 | expressions of the parameter cache within the statement group of | |
161 | the CICO mechanism. | |
162 | ||
2a02d090 OH |
163 | 2011-01-04 Olivier Hainque <hainque@adacore.com> |
164 | Eric Botcazou <ebotcazou@adacore.com> | |
165 | ||
166 | * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default. | |
167 | (set_end_locus_from_node): New function. | |
168 | (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we | |
169 | make and the function end_locus. | |
170 | (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus | |
171 | for the elaboration subprogram. | |
172 | (set_gnu_expr_location_from_node) <default case>: Use it to attempt to | |
173 | set the end_locus of the expression as well. | |
174 | ||
89f5e978 EB |
175 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
176 | ||
177 | PR ada/47131 | |
178 | * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make | |
179 | variables that are referenced in exception handlers volatile. | |
180 | ||
181 | ||
ad41bd84 | 182 | \f |
797103eb | 183 | Copyright (C) 2011 Free Software Foundation, Inc. |
ad41bd84 JM |
184 | |
185 | Copying and distribution of this file, with or without modification, | |
186 | are permitted in any medium without royalty provided the copyright | |
187 | notice and this notice are preserved. |