1 2012-01-30 Yannick Moy <moy@adacore.com>
3 * gnat_ugn.texi: Minor correction of GNAT UG, to take into
4 account changes to -gnatwa and more recent warnings.
6 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
8 * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
9 location when creating a call to a finalizer.
10 * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
11 a source location for the first actual of Save_Occurrence for
14 2012-01-30 Ed Schonberg <schonberg@adacore.com>
16 * einfo.ads, einfo,adb: New attribute on scalar types:
17 Default_Aspect_Value New attribute on array types:
18 Default_Aspect_Component_Value Move attribute Related_Array_Object
19 to a different position to accomodate new aspect attributes.
20 * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
21 of defaults set with an aspect specification, rather than using
22 the list of aspects attached to the type, to prevent issues with
24 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
25 Default_Value and Default_Component _Value, store corresponding
26 expression in type entity.
27 (Check_Aspect_At_End_Of_Declaration): If the default aspects
28 are declared on the full view, use the full view to resolve the
29 correseponding expression.
30 * exp_ch3.adb (Init_Component): Use attribute
31 Default_Aspect_Component_Value to perform default initialization,
32 rather than relying on the rep item list for the type.
33 (Get_Simple_Init_Val): Ditto.
35 2012-01-30 Thomas Quinot <quinot@adacore.com>
37 * a-strhas.ads: Document risk of collision attack.
39 2012-01-30 Yannick Moy <moy@adacore.com>
41 * gnat_ugn.texi: Minor update wrt warning switches.
43 2012-01-30 Vincent Celier <celier@adacore.com>
45 * prj-nmsc.adb (Check_Interfaces): Report an error when a
46 unit from Library_Interface is not a unit of the project.
48 2012-01-30 Vincent Pucci <pucci@adacore.com>
50 * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
51 links fixed inside PPC pragmas.
52 * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
54 2012-01-30 Thomas Quinot <quinot@adacore.com>
56 * s-ransee.ads: Minor reformatting.
58 2012-01-30 Pascal Obry <obry@adacore.com>
60 * prj.ads, prj.adb (For_Each_Source): Add support for skipping
61 sources coming from an encapsulated library.
63 2012-01-30 Ed Schonberg <schonberg@adacore.com>
65 * sem_ch3.adb (Process-Full_View): fix typo.
66 * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
67 appear on a private type and the full view is available, ensure
68 existence of freeze node for full view.
69 (Build_Predicate_Function): Attach predicate function to both
70 views of a private type.
72 2012-01-30 Vincent Celier <celier@adacore.com>
74 * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
75 for the project if either attribute Library_Interface or
76 Interfaces is declared.
77 (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
80 2012-01-30 Pascal Obry <obry@adacore.com>
82 * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
83 boolean value to true in the process list created by this routine.
84 * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
85 Continued work for KA06-021.
86 * prj.adb (Compute_All_Imported_Projects): Set
87 From_Encapsulated_Lib boolean flag.
89 2012-01-30 Vincent Pucci <pucci@adacore.com>
91 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
93 * s-diflio.ads: Minor change.
95 2012-01-30 Javier Miranda <miranda@adacore.com>
97 * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
98 to Get_Entry_Index. Required to generate code which provides
99 the correct value of Entry_Index in the target entry.
101 2012-01-30 Nicolas Roche <roche@adacore.com>
103 * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
104 fix issue with zcx on VxWorks5.
106 2012-01-30 Pascal Obry <obry@adacore.com>
108 * prj.ads, prj.adb (For_Every_Project_Imported): Remove
110 (For_Every_Project_Imported_Context): New generic routine with
112 * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
113 distributed complexity.
114 * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
116 2012-01-30 Thomas Quinot <quinot@adacore.com>
118 * exp_aggr.adb (Expand_Record_Aggregate): After creating the
119 _parent aggregate for an extension aggregate, check whether it
120 requires delayed (top-down) expansion.
122 2012-01-30 Vincent Pucci <pucci@adacore.com>
124 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
125 * snames.ads-tmpl: Name_Item and Name_Symbols added.
126 * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
127 and change the position of parameter Symbols in every Put routine.
128 * s-dimmks.ads: Convert long float type Mks_Type into long
130 * s-llflex.ads: Modifications in comments.
132 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
134 * sem_ch12.adb (Earlier): Do not use the
135 top level source locations of the two input nodes.
137 2012-01-30 Robert Dewar <dewar@adacore.com>
139 * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
140 sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
142 2012-01-30 Robert Dewar <dewar@adacore.com>
144 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
146 2012-01-30 Olivier Hainque <hainque@adacore.com>
148 * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
151 2012-01-30 Thomas Quinot <quinot@adacore.com>
153 * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
154 sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
155 sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
156 New subprogram (extracted from
157 Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
158 (Einfo.Is_Remote_Types): Now applies to generic types. Update
159 documentation accordingly.
160 (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
161 actual for a formal type to which a pragma Remote_Access_Type
163 (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
165 (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
166 be applied to a generic type if pragma Remote_Access_Type
167 applies, in which case the type of the attribute is
168 System.Partition_Interface.RACW_Stub_Type.
170 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
172 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
173 an alignment on fields of the RETURN type built for the CICO mechanism.
175 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
177 * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
178 a call to a function that returns an unconstrained type with default
179 discriminant. Similarly, avoid doing the conversion to the nominal
180 result type in this case.
182 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
184 * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
185 * gcc-interface/decl.c (is_variable_size): Rename to...
186 (type_has_variable_size): ...this.
187 (adjust_packed): Adjust to above renaming.
188 (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
189 (field_is_artificial): New predicate.
190 (field_is_aliased): Likewise.
191 (field_has_self_size): Likewise.
192 (field_has_variable_size): Likewise.
193 (components_to_record): Record information for the final layout during
194 the first pass on fields.
195 If there is an aliased field placed after a field whose length depends
196 on discriminants, put all the fields of the latter sort, last.
198 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
200 * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
201 * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
202 * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
203 Access-like attribute in a dispatch table if the subprogram is public.
205 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
207 * gcc-interface/gigi.h (create_label_decl): Adjust.
208 * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
209 and invoke gnat_pushdecl on it. Remove obsolete settings.
210 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
212 * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise. Ignore the
213 label for debugging purposes.
215 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
217 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
218 object with an unconstrained nominal subtype and if optimization isn't
219 enabled, create a special VAR_DECL for debugging purposes.
221 2012-01-23 Robert Dewar <dewar@adacore.com>
223 * sem_prag.ads, sem_prag.adb: Minor reformatting.
225 2012-01-23 Robert Dewar <dewar@adacore.com>
227 * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
228 language defined aspect applied to renaming or formal type
229 declaration (not permitted)
231 2012-01-23 Matthew Heaney <heaney@adacore.com>
233 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
234 comment with pragma Assert.
236 2012-01-23 Vincent Pucci <pucci@adacore.com>
238 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
239 to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
240 * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
241 routine. In ASIS mode, convert any PPC pragmas into aspects in generic
242 subprogram declaration in order to enable the analysis of PPC boolean
245 2012-01-23 Robert Dewar <dewar@adacore.com>
247 * sem_ch3.adb (Analyze_Object_Declaration): Properly
248 handle Current_Value for volatile variables (also propagate
249 Treat_As_Volatile from type to object).
251 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
253 * sem_ch12.adb (Install_Body): Detect the case
254 where the enclosing context is a package with a stub body that
255 has already been replaced by the actual body. In such cases,
256 the freeze node for the enclosing context must be inserted after
259 2012-01-23 Ed Schonberg <schonberg@adacore.com>
261 * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
262 subprogram before expanding the pragma into an if-statement with
263 a block, to ensure that when the subprogram is null its body is
264 properly generated before expansion.
266 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
268 * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
269 constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
271 Freeze all eligible subprograms which appear as actuals in
273 (Has_Fully_Defined_Profile): New routine.
274 (Renames_Standard_Subprogram): New routine.
275 (Earlier): Add local variable N. Comment update. Do not use source
276 locations when trying to determine whether one node precedes another.
278 2012-01-23 Gary Dismukes <dismukes@adacore.com>
280 * exp_ch4.adb (Expand_Concatenate): In the case
281 where the result of a concatentation can be null, set the to
282 result have both the low and high bounds of the right operand (not
283 just the high bound, as was the case prior to this fix). Also,
284 fix the saved high bound setting (Last_Opnd_High_Bound) in the
285 empty string literal case (should have been low bound minus one,
286 rather than plus one).
288 2012-01-23 Thomas Quinot <quinot@adacore.com>
290 * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
291 omit statement SCOs for disabled pragmas.
293 2012-01-23 Matthew Heaney <heaney@adacore.com>
295 * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
296 a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
297 a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
298 a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
299 Cursor'Write): Declare in private part.
300 (Reference_Type'Read, Reference_Type'Write): Ditto.
301 (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
303 2012-01-23 Robert Dewar <dewar@adacore.com>
305 * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
308 2012-01-23 Ed Schonberg <schonberg@adacore.com>
310 * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
311 Corresponding_Body on a defaulted null formal subprogram.
312 * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
313 on a defaulted formal subprogram that is a null procedure.
315 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
317 * exp_ch9.adb: Update the comments involving pragma Implemented.
318 * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
319 constant Subp_Alias and local variable Impl_Subp. Properly
320 handle aliases of synchronized wrappers. Code cleanup.
321 (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
322 Name_Optional as part of the condition.
323 * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
324 valid choices of implementation kind.
325 (Check_Arg_Is_One_Of): New routine.
326 * snames.ads-tmlp: Add Name_Optional.
328 2012-01-23 Ed Schonberg <schonberg@adacore.com>
330 * par-ch13.adb: Better error recovery in illegal aspect
333 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
335 * a-calend.adb: Add with clause for Interfaces.C. Add constant
337 (Day_Of_Week): Call the internal UTC_Time_Offset.
338 (Split): Call the internal UTC_Time_Offset.
339 (Time_Of): Call the internal UTC_Time_Offset.
340 (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
341 (UTC_Time_Offset): New library-level routine.
342 * a-calend.ads (UTC_Time_Offset): Remove parameter
343 Is_Historic. Update related comment on usage.
344 * a-catizo.adb (UTC_Time_Offset): Removed.
345 (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
346 * a-caltizo.ads (UTC_Time_Offset): Removed.
347 (UTC_Time_Offset (Time)): Add back the default expression of parameter
350 2012-01-23 Robert Dewar <dewar@adacore.com>
352 * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
353 (pg,po,ps): Make sure each entry starts on new line.
355 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
357 * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
358 the parameter profile of procedure localtime_tzoff and its associated
360 (Day_Of_Week): Do not treat the input date as historical
361 with respect to time zones.
362 (Split): Do not treat the input
363 date as historical with respect to time zones. (Time_Of): Do
364 not treat the input constituents as forming a historical date
365 with respect to time zones.
366 (UTC_Time_Offset): Add new formal
367 parameter Is_Historic. Add local variable Flag. Update the call
369 * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
370 (UTC_Time_Offset (Time)): Update the call to
371 Time_Zone_Operations.UTC_Time_Offset.
372 * sysdep.c (__gnat_localtime_tzoff): Update parameter
373 profile. Split the processing of offsets on Windows into two - one
374 part of historic time stamps and the other for the current time.
376 2012-01-23 Robert Dewar <dewar@adacore.com>
378 * a-calend.adb: Minor reformatting.
380 2012-01-23 Ed Schonberg <schonberg@adacore.com>
382 * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
383 interface in requeue statement.
385 2012-01-23 Cyrille Comar <comar@adacore.com>
387 * projects.texi: Remove references to main units and replace
388 with references to main programs to be coherent with the
391 2012-01-23 Robert Dewar <dewar@adacore.com>
393 * s-utf_32.adb: Minor reformatting.
395 2012-01-23 Vincent Celier <celier@adacore.com>
397 * snames.ads-tmpl: Minor comment addition Indicate that
398 Name_Library_Encapsulated_Options is only used in gprbuild.
400 2012-01-23 Robert Dewar <dewar@adacore.com>
402 * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
405 2012-01-23 Ed Schonberg <schonberg@adacore.com>
407 * snames.ads-tmpl: Add Name_Synchronization.
408 * aspects.ads, aspects.adb: Add Aspect_Synchronization to
409 enumeration type and related maps.
410 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
411 Synchronization, build corresponding pragma Implemented.
412 * sem_util.adb (Implementation_Kind): Handle both explicit and
413 implicit pragma_argument association to retrieve the given
414 synchronization mode.
416 2012-01-23 Robert Dewar <dewar@adacore.com>
418 * sem_ch10.adb, errout.adb: Minor reformatting.
420 2012-01-23 Ed Schonberg <schonberg@adacore.com>
422 * sem_res.adb (Resolve_Actuals): An actual in a call to an
423 Ada 2012 Reference function does not lead to a dangerous order
426 2012-01-23 Gary Dismukes <dismukes@adacore.com>
428 * exp_util.adb (Is_Iterated_Container): Test
429 Is_Entity_Name when searching for calls to the default iterator,
430 to avoid blowing up on indirect calls which have an explicit
431 dereference as the call name.
433 2012-01-23 Thomas Quinot <quinot@adacore.com>
435 * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
436 the complete expanded name, rather than just its Selector_Name.
438 2012-01-23 Thomas Quinot <quinot@adacore.com>
440 * a-textio.adb (Put): Rewrite one-parameter Character version to
441 just call the two-parameter one with Current_Out.
443 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
445 * freeze.adb (Check_Current_Instance): Issue an
446 error when the prefix of 'Unchecked_Access or 'Access does not
447 denote a legal aliased view of a type.
448 (Freeze_Record_Type): Do not halt the processing of record components
449 once the Has_Controlled_Component is set as this bypasses the remaining
451 (Is_Aliased_View_Of_Type): New routine.
453 2012-01-23 Thomas Quinot <quinot@adacore.com>
455 * errout.ads, freeze.adb: Minor reformatting.
457 2012-01-23 Thomas Quinot <quinot@adacore.com>
459 * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
462 2012-01-23 Olivier Hainque <hainque@adacore.com>
464 * adadecode.c (__gnat_decode): Deal with empty input early,
465 preventing potential erroneous memory access later on.
467 2012-01-21 Eric Botcazou <ebotcazou@adacore.com>
470 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
471 renaming, preserve the volatileness through the indirection, if any.
473 2012-01-14 Andreas Schwab <schwab@linux-m68k.org>
475 * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
478 2012-01-10 Pascal Obry <obry@adacore.com>
480 * prj-nmsc.adb (Check_Library_Attributes):
481 Kill check for object/source directories for aggregate libraries.
483 2012-01-10 Matthew Heaney <heaney@adacore.com>
485 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
486 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
487 a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
488 a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
489 a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
490 a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
491 a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
492 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
493 a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
494 container parameter as aliased in/in out.
497 2012-01-10 Bob Duff <duff@adacore.com>
499 * s-os_lib.ads: Improve comment.
501 2012-01-10 Geert Bosch <bosch@adacore.com>
503 * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
506 2012-01-10 Bob Duff <duff@adacore.com>
508 * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
509 checking that the 'Size is correct. If the type is "mod 2**12",
510 for example, it's illegal, but Esize is the 'Object_Size, which
511 will be something like 16 or 32, so the error ('Size = 12) was
513 * gnat_rm.texi: Improve documentation of shift
514 and rotate intrinsics.
516 2012-01-10 Pascal Obry <obry@adacore.com>
518 * prj.adb (For_Every_Project_Imported): Fix
519 implementation to make sure we return each project only once
520 for aggragte libraries. It is fine to return a project twice for
521 aggregate projects, this was the case as a Project_Id is different
522 in each project tree. The new implementation use a table based on
523 the project name to ensure proper detection of duplicate project
524 in aggregate library. A new context is then created to continue
525 retrurning duplicate project for aggregate libraries.
527 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
529 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
530 return value in the variable-sized return type case if the target is
531 an array with fixed size. However, do not create it if this is the
532 expression of an object declaration.
534 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
536 * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
538 2012-01-06 Robert Dewar <dewar@adacore.com>
540 * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
541 s-utf_32.ads: Add pragma Pure
542 * s-utf_32.adb: Suppress warnings on non-static constants (now
545 2012-01-06 Bob Duff <duff@adacore.com>
547 * s-rpc.ads (Read, Write): Add overriding indicators.
549 2012-01-06 Robert Dewar <dewar@adacore.com>
551 * gnat_rm.texi: Add documentation for conventions
552 Ada_Pass_By_Copy and Ada_Pass_By_Reference.
554 2012-01-06 Gary Dismukes <dismukes@adacore.com>
556 * a-tienio.adb (Put): Add exception message on
557 raise statements. Remove unneeded blocks and object declarations.
559 2012-01-06 Robert Dewar <dewar@adacore.com>
561 * sem_prag.adb: Minor reformatting.
563 2012-01-06 Ed Schonberg <schonberg@adacore.com>
565 * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
566 that a selected component within a generic unit has been resolved
567 as a prefixed call with local references.
568 * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
569 component is always visible.
570 * sem_ch4.adb (Analyze_Selected_Component): If the node is a
571 prefixed call in an instance, do not look for visible components
573 * sem_ch12.adb (Reset_Entity): If a selected component has resolved
574 to a prefixed call, mark the node accordingly when prefix and
575 selector are local references.
577 2012-01-02 Eric Botcazou <ebotcazou@adacore.com>
579 * gnatvsn.ads (Current_Year): Bump to 2012.
581 Copyright (C) 2012 Free Software Foundation, Inc.
583 Copying and distribution of this file, with or without modification,
584 are permitted in any medium without royalty provided the copyright
585 notice and this notice are preserved.