OSDN Git Service

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