OSDN Git Service

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