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