OSDN Git Service

* exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
2
3         * exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
4         if the size is small enough.  Propagate the alignment if there is an
5         alignment clause on the original array type.
6         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
7         Deal with under-aligned packed array types.  Copy the size onto the
8         justified modular type and don't lay it out again.  Likewise for the
9         padding type built for other under-aligned subtypes.
10         * gcc-interface/utils.c (finish_record_type): Do not set a default mode
11         on the type.
12
13 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
14
15         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default
16         alignment on the RETURN type built for the Copy-In Copy-Out mechanism.
17
18 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
19
20         * gcc-interface/trans.c (call_to_gnu): In the return-by-target-ptr case
21         do not set the result type if there is a specified target and do not
22         convert the result in any cases.
23         (protect_multiple_eval): Make direct SAVE_EXPR for CALL_EXPR.
24         (maybe_stabilize_reference) <COMPOUND_EXPR>: Merge with CALL_EXPR.
25
26 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
27
28         * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
29
30 2010-02-27  Eric Botcazou  <ebotcazou@adacore.com>
31
32         PR ada/42253
33         * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
34         pointer base types are variant of each other.  Apply special treatment
35         for null to fat pointer types in all cases.
36
37 2010-01-28  Pascal Obry  <obry@adacore.com>
38
39         * s-win32.ads: Add some missing constants.
40
41 2010-01-28  Vincent Celier  <celier@adacore.com>
42
43         * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
44         Unknown_Package.
45
46 2010-01-28  Robert Dewar  <dewar@adacore.com>
47
48         * gnat_rm.texi: Minor correction
49
50 2010-01-27  Pascal Obry  <obry@adacore.com>
51
52         * g-awk.adb: ensure that an AWK session is reusable.
53
54 2010-01-27  Vasiliy Fofanov  <fofanov@adacore.com>
55
56         * g-regist.adb (For_Every_Key): Fix previous change.
57         Minor reformatting.
58
59 2010-01-27  Thomas Quinot  <quinot@adacore.com>
60
61         * lib-writ.ads: Current version of spec for new N (note) ALI lines
62
63 2010-01-27  Yannick Moy  <moy@adacore.com>
64
65         * a-cdlili.adb (Insert): Correct exception message when cursor
66         designates wrong list.
67
68 2010-01-27  Vincent Celier  <celier@adacore.com>
69
70         * gnatcmd.adb: When there is only one main specified, the package
71         support Switches (<main>) and attribute Switches is specified for the
72         main, use these switches, instead of Default_Switches ("Ada").
73
74 2010-01-27  Robert Dewar  <dewar@adacore.com>
75
76         * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
77         implementation.
78         * exp_disp.adb: Minor reformatting
79
80 2010-01-27  Tristan Gingold  <gingold@adacore.com>
81
82         * seh_init.c: Use __ImageBase instead of _ImageBase.
83
84 2010-01-27  Javier Miranda  <miranda@adacore.com>
85
86         * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
87         profile of interface thunks. The type of the controlling formal is now
88         the covered interface type (instead of the target tagged type).
89
90 2010-01-27  Sergey Rybin  <rybin@adacore.com>
91
92         * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
93
94 2010-01-27  Robert Dewar  <dewar@adacore.com>
95
96         * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
97         changed from Expr to N.
98
99 2010-01-26  Thomas Quinot  <quinot@adacore.com>
100
101         * gnat_ugn.texi: Adjust documentation of -gnatz switches.
102         * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
103         -gnatzr.
104
105 2010-01-26  Vincent Celier  <celier@adacore.com>
106
107         * prj-attr.adb: Add new attribute Library_Install_Name_Option
108         Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
109         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
110         attributes Run_Path_Option and Library_Install_Name_Option.
111         * prj.ads (Project_Configuration): Replace component
112         Run_Path_Origin_Supported with component Run_Path_Origin. Add new
113         component Library_Install_Name_Option.
114         * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
115         Replace Run_Path_Origin_Supported with Run_Path_Origin
116
117 2010-01-26  Ed Schonberg  <schonberg@adacore.com>
118
119         * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
120         is not hidden by a homograph declared in another actual package.
121
122 2010-01-26  Robert Dewar  <dewar@adacore.com>
123
124         * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
125         decisions for pragmas Assert, Check, Precondition, Postcondition if
126         -gnata set.
127         * scos.ads: Update comments.
128         * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
129         Also remove obsolete code for CT (exit point) SCOs.
130
131 2010-01-26  Thomas Quinot  <quinot@adacore.com>
132
133         * switch-c.adb: Fix handling of -gnatz*
134
135 2010-01-26  Robert Dewar  <dewar@adacore.com>
136
137         * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
138         qualifiers for FOR/WHILE loops
139         * scos.ads: Use separate type letters F/W for for/while loops
140
141 2010-01-26  Robert Dewar  <dewar@adacore.com>
142
143         * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
144         entries per line, one for each statement in the sequence).
145         * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
146         size from 100 to 10_000 for SC_Array to avoid any real possibility of
147         overflow. Output decisions in for loops.
148         Exclude labels from CS lines.
149         * scos.ads: Clarify that label is not included in the entry point
150
151 2010-01-26  Robert Dewar  <dewar@adacore.com>
152
153         * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
154         format of statement sequence SCO entries (one location/statement).
155         * put_scos.adb (Put_SCOs): Implement new format of CS lines
156         * scos.ads: Update comments.
157         * sem_eval.adb: Minor reformatting.
158
159 2010-01-26  Robert Dewar  <dewar@adacore.com>
160
161         * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
162         (Extend_Statement_Sequence): New procedures
163         (Traverse_Declarations_Or_Statements): New handling for exits.
164
165 2010-01-26  Robert Dewar  <dewar@adacore.com>
166
167         * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
168         Case.
169
170 2010-01-26  Robert Dewar  <dewar@adacore.com>
171
172         * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
173         * scos.ads: Clarify handling of logical operators
174
175 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
176
177         * s-tpoben.adb: Update comments.
178
179 2010-01-26  Robert Dewar  <dewar@adacore.com>
180
181         * freeze.adb (Set_Small_Size): Don't set size if alignment clause
182         present.
183
184 2010-01-26  Robert Dewar  <dewar@adacore.com>
185
186         * scos.ads: Clean up documentation, remove obsolete XOR references
187 2010-01-26  Vincent Celier  <celier@adacore.com>
188
189         * gnat_ugn.texi: Complete documentation on the restrictions for
190         combined options in -gnatxxx switches.
191         Fix typo.
192
193 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
194
195         * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
196         a controlled operation, abort is already deferred at this point, so we
197         need to use Defer_Abort_Nestable.
198
199 2010-01-26  Vincent Celier  <celier@adacore.com>
200
201         * prj-conf.adb (Get_Config_Switches): Check for a default language for
202         a project extending a project with no languages.
203
204 2010-01-26  Vincent Celier  <celier@adacore.com>
205
206         * switch-c.adb (Scan_Front_End_Switches): Take into account options
207         that follow -gnatef.
208         Allow -gnateG to be followed by other options.
209
210 2010-01-26  Robert Dewar  <dewar@adacore.com>
211
212         * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
213         s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
214         reformatting.
215
216 2010-01-26  Vasiliy Fofanov  <fofanov@adacore.com>
217
218         * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
219         that allows to iterate over all subkeys of a key.
220
221 2010-01-26  Ed Falis  <falis@adacore.com>
222
223         * sysdep.c: enable NFS for VxWorks MILS
224         * env.c: enable __gnat_environ for VxWorks MILS
225         * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
226
227 2010-01-25  Bob Duff  <duff@adacore.com>
228
229         * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
230         is an internally-generated positional aggregate, and the bounds are
231         already correctly set. We don't want to overwrite those bounds with
232         bounds determined by context.
233
234 2010-01-25  Robert Dewar  <dewar@adacore.com>
235
236         * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
237         exp_ch9.adb, g-sechas.ads: Minor reformatting.
238
239 2010-01-25  Thomas Quinot  <quinot@adacore.com>
240
241         * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
242         integer type) before subtracting 1, otherwise the computation may wrap
243         (because size_t is modular) and cause the conversion to fail.
244
245 2010-01-25  Ed Falis  <falis@adacore.com>
246
247         * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
248
249 2010-01-25  Vincent Celier  <celier@adacore.com>
250
251         * prj-attr.adb: New attribute Run_Path_Origin_Required
252         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
253         attribute Run_Path_Origin_Required.
254         * prj.ads (Project_Configuration): New component
255         Run_Path_Origin_Supported.
256         * snames.ads-tmpl: New standard name Run_Path_Origin_Required
257
258 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
259
260         * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
261         have errors, do not continue resolution of the aggregate.
262         * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
263         the array type indicates an error.
264
265 2010-01-25  Bob Duff  <duff@adacore.com>
266
267         * sinfo.ads: Minor comment fixes.
268
269 2010-01-25  Bob Duff  <duff@adacore.com>
270
271         * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
272
273 2010-01-25  Arnaud Charlet  <charlet@adacore.com>
274
275         * gnatvsn.ads (Current_Year): Update.
276
277 2010-01-25  Florian Villoing  <villoing@adacore.com>
278
279         * gnat_ugn.texi: Fix typo.
280
281 2010-01-25  Thomas Quinot  <quinot@adacore.com>
282
283         * scos.ads: Update specification.
284
285 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
286
287         * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
288         enclosing subprogram has no previous spec, attach postcondition
289         procedure to the defining entity for the body.
290
291 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
292
293         * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
294         initialization procedure of the ancestor part of an extension aggregate
295         if it is an interface type.
296
297 2010-01-25  Vincent Celier  <celier@adacore.com>
298
299         * gnatlink.adb (Process_Binder_File): The directory for the shared
300         version of libgcc in the run path options is found in the subdirectory
301         indicated by __gnat_default_libgcc_subdir.
302         * link.c: Declare new const char * __gnat_default_libgcc_subdir for
303         each platform.
304
305 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
306
307         * sem_prag.adb: More flexible pragma Annotate.
308
309 2010-01-22  Eric Botcazou  <ebotcazou@adacore.com>
310
311         * system-linux-armel.ads (Stack_Check_Probes): Set to True.
312         * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
313
314 2010-01-18  Eric Botcazou  <ebotcazou@adacore.com>
315
316         * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
317
318 2010-01-18  Jan Hubicka  <jh@suse.cz>
319
320         PR middle-end/42068
321         * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
322         unit local variables.
323
324 2010-01-17  Laurent GUERBY  <laurent@guerby.net>
325
326         * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
327
328 2010-01-11  Mikael Pettersson  <mikpe@it.uu.se>
329
330         * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
331         * system-linux-armeb.ads, system-linux-armel.ads: New files.
332
333 2010-01-09  Simon Wright  <simon@pushface.org>
334
335         PR ada/42626
336         * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
337         end-quote.
338
339
340 \f
341 Copyright (C) 2010 Free Software Foundation, Inc.
342
343 Copying and distribution of this file, with or without modification,
344 are permitted in any medium without royalty provided the copyright
345 notice and this notice are preserved.