1 2012-01-23 Robert Dewar <dewar@adacore.com>
3 * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
6 2012-01-23 Ed Schonberg <schonberg@adacore.com>
8 * snames.ads-tmpl: Add Name_Synchronization.
9 * aspects.ads, aspects.adb: Add Aspect_Synchronization to
10 enumeration type and related maps.
11 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
12 Synchronization, build corresponding pragma Implemented.
13 * sem_util.adb (Implementation_Kind): Handle both explicit and
14 implicit pragma_argument association to retrieve the given
17 2012-01-23 Robert Dewar <dewar@adacore.com>
19 * sem_ch10.adb, errout.adb: Minor reformatting.
21 2012-01-23 Ed Schonberg <schonberg@adacore.com>
23 * sem_res.adb (Resolve_Actuals): An actual in a call to an
24 Ada 2012 Reference function does not lead to a dangerous order
27 2012-01-23 Gary Dismukes <dismukes@adacore.com>
29 * exp_util.adb (Is_Iterated_Container): Test
30 Is_Entity_Name when searching for calls to the default iterator,
31 to avoid blowing up on indirect calls which have an explicit
32 dereference as the call name.
34 2012-01-23 Thomas Quinot <quinot@adacore.com>
36 * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
37 the complete expanded name, rather than just its Selector_Name.
39 2012-01-23 Thomas Quinot <quinot@adacore.com>
41 * a-textio.adb (Put): Rewrite one-parameter Character version to
42 just call the two-parameter one with Current_Out.
44 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
46 * freeze.adb (Check_Current_Instance): Issue an
47 error when the prefix of 'Unchecked_Access or 'Access does not
48 denote a legal aliased view of a type.
49 (Freeze_Record_Type): Do not halt the processing of record components
50 once the Has_Controlled_Component is set as this bypasses the remaining
52 (Is_Aliased_View_Of_Type): New routine.
54 2012-01-23 Thomas Quinot <quinot@adacore.com>
56 * errout.ads, freeze.adb: Minor reformatting.
58 2012-01-23 Thomas Quinot <quinot@adacore.com>
60 * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
63 2012-01-23 Olivier Hainque <hainque@adacore.com>
65 * adadecode.c (__gnat_decode): Deal with empty input early,
66 preventing potential erroneous memory access later on.
68 2012-01-21 Eric Botcazou <ebotcazou@adacore.com>
71 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
72 renaming, preserve the volatileness through the indirection, if any.
74 2012-01-14 Andreas Schwab <schwab@linux-m68k.org>
76 * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
79 2012-01-10 Pascal Obry <obry@adacore.com>
81 * prj-nmsc.adb (Check_Library_Attributes):
82 Kill check for object/source directories for aggregate libraries.
84 2012-01-10 Matthew Heaney <heaney@adacore.com>
86 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
87 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
88 a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
89 a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
90 a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
91 a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
92 a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
93 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
94 a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
95 container parameter as aliased in/in out.
98 2012-01-10 Bob Duff <duff@adacore.com>
100 * s-os_lib.ads: Improve comment.
102 2012-01-10 Geert Bosch <bosch@adacore.com>
104 * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
107 2012-01-10 Bob Duff <duff@adacore.com>
109 * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
110 checking that the 'Size is correct. If the type is "mod 2**12",
111 for example, it's illegal, but Esize is the 'Object_Size, which
112 will be something like 16 or 32, so the error ('Size = 12) was
114 * gnat_rm.texi: Improve documentation of shift
115 and rotate intrinsics.
117 2012-01-10 Pascal Obry <obry@adacore.com>
119 * prj.adb (For_Every_Project_Imported): Fix
120 implementation to make sure we return each project only once
121 for aggragte libraries. It is fine to return a project twice for
122 aggregate projects, this was the case as a Project_Id is different
123 in each project tree. The new implementation use a table based on
124 the project name to ensure proper detection of duplicate project
125 in aggregate library. A new context is then created to continue
126 retrurning duplicate project for aggregate libraries.
128 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
130 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
131 return value in the variable-sized return type case if the target is
132 an array with fixed size. However, do not create it if this is the
133 expression of an object declaration.
135 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
137 * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
139 2012-01-06 Robert Dewar <dewar@adacore.com>
141 * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
142 s-utf_32.ads: Add pragma Pure
143 * s-utf_32.adb: Suppress warnings on non-static constants (now
146 2012-01-06 Bob Duff <duff@adacore.com>
148 * s-rpc.ads (Read, Write): Add overriding indicators.
150 2012-01-06 Robert Dewar <dewar@adacore.com>
152 * gnat_rm.texi: Add documentation for conventions
153 Ada_Pass_By_Copy and Ada_Pass_By_Reference.
155 2012-01-06 Gary Dismukes <dismukes@adacore.com>
157 * a-tienio.adb (Put): Add exception message on
158 raise statements. Remove unneeded blocks and object declarations.
160 2012-01-06 Robert Dewar <dewar@adacore.com>
162 * sem_prag.adb: Minor reformatting.
164 2012-01-06 Ed Schonberg <schonberg@adacore.com>
166 * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
167 that a selected component within a generic unit has been resolved
168 as a prefixed call with local references.
169 * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
170 component is always visible.
171 * sem_ch4.adb (Analyze_Selected_Component): If the node is a
172 prefixed call in an instance, do not look for visible components
174 * sem_ch12.adb (Reset_Entity): If a selected component has resolved
175 to a prefixed call, mark the node accordingly when prefix and
176 selector are local references.
178 2012-01-02 Eric Botcazou <ebotcazou@adacore.com>
180 * gnatvsn.ads (Current_Year): Bump to 2012.
182 Copyright (C) 2012 Free Software Foundation, Inc.
184 Copying and distribution of this file, with or without modification,
185 are permitted in any medium without royalty provided the copyright
186 notice and this notice are preserved.