]>
Commit | Line | Data |
---|---|---|
6a49f110 AC |
1 | 2011-08-04 Javier Miranda <miranda@adacore.com> |
2 | ||
3 | * exp_strm.adb (Build_Array_Input_Function): if the array type is | |
4 | constrained, do not attempt to build a subtype of it. | |
5 | ||
6 | 2011-08-04 Yannick Moy <moy@adacore.com> | |
7 | ||
8 | * errout.ads Change comments: remove 'R'M as an example where quotes | |
9 | are needed; add ALFA as another case where quotes are not needed | |
10 | * erroutc.adb (Set_Msg_Insertion_Reserved_Word): add ALFA as another | |
11 | case where quotes are not needed. | |
12 | * sem_ch11.adb, sem_ch13.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb, | |
13 | sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_prag.adb, sem_res.adb: | |
14 | Remove all occurrences of 'A'L'F'A | |
15 | ||
16 | 2011-08-04 Ed Schonberg <schonberg@adacore.com> | |
17 | ||
18 | * sem_ch13.adb: check legality of invariant pragma. | |
19 | ||
a4640a39 AC |
20 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> |
21 | ||
22 | * bindgen.adb: Add comments. | |
23 | ||
24 | 2011-08-04 Yannick Moy <moy@adacore.com> | |
25 | ||
26 | * einfo.adb, einfo.ads: Free Flag254 and make Formal_Proof_On a | |
27 | synthesized flag. | |
28 | * sem_prag.adb (Analyze_Pragma): record the pragma Annotate | |
29 | (Formal_Proof, On/Off) in the Rep_Item list of the current subprogram. | |
30 | ||
31 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
32 | ||
33 | * exp_ch7.adb, exp_ch6.adb, sem_ch3.adb, layout.adb, sem_ch5.adb, | |
34 | osint-c.ads, sem_util.ads, gnat1drv.adb, targparm.ads, sem_ch6.adb, | |
35 | sem_ch13.adb, s-pooloc.adb: Minor reformatting. | |
36 | ||
39ade2f9 AC |
37 | 2011-08-04 Thomas Quinot <quinot@adacore.com> |
38 | ||
39 | * s-pooloc.ads, s-pooglo.ads: Minor reformatting | |
40 | ||
41 | 2011-08-04 Thomas Quinot <quinot@adacore.com> | |
42 | ||
43 | PR ada/47880 | |
44 | * s-pooloc.adb (Deallocate): Fix the case of deallocating the only | |
45 | allocated object. | |
46 | ||
47 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
48 | ||
49 | * einfo.ads, exp_ch4.adb: Minor reformatting. | |
50 | ||
51 | 2011-08-04 Jerome Lambourg <lambourg@adacore.com> | |
52 | ||
53 | * back_end.ads (Gen_Or_Update_Object_File): Add more comments. | |
54 | ||
7efc3f2d AC |
55 | 2011-08-04 Ed Schonberg <schonberg@adacore.com> |
56 | ||
57 | * exp_ch4.adb (Expand_Composite_Equality): code cleanup: use component | |
58 | type in all cases to compute list of primitive operations, because full | |
59 | view may be an itype that is not attached to the list of declarations. | |
60 | ||
61 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> | |
62 | ||
63 | * bindgen.adb (Gen_Adafinal_Ada): Generate an early return if the | |
64 | library has already been finalized. | |
65 | (Gen_Adafinal_C): Likewise. | |
66 | (Gen_Adainit_Ada): Generate an early return if the library has | |
67 | already been elaborated. | |
68 | (Gen_Adainit_C): Likewise. | |
69 | (Gen_Output_File_Ada): Generate an elaboration flag. | |
70 | (Gen_Output_File_C): Likewise. | |
71 | ||
f65df609 HK |
72 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> |
73 | ||
74 | * exp_ch4.adb (Expand_Allocator_Expression): Disable the generation of | |
75 | Set_Finalize_Address_Ptr for CodePeer because Finalize_Address was not | |
76 | built in the first place. | |
77 | (Expand_N_Allocator): Disable the generation of Set_Finalize_Address_Ptr | |
78 | for CodePeer because Finalize_Address was not built to begin with. | |
79 | * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Ditto. | |
80 | ||
a0fb8fe8 AC |
81 | 2011-08-04 Pascal Obry <obry@adacore.com> |
82 | ||
83 | * adaint.c (__gnat_tmp_name): Use current process id to create temp | |
84 | filenames, this ensures unicity of filenames across processes. | |
85 | ||
86 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
87 | ||
88 | * bindgen.adb (Gen_Finalize_Library_Ada): Rename generated routine | |
89 | Raise_Controlled to Raise_From_Controlled_Operation. Update the | |
90 | signature of Raise_From_Controlled_Operation by adding flag From_Abort. | |
91 | Add False as the actual to From_Abort in the generated call to | |
92 | Raise_From_Controlled_Operation. | |
93 | ||
94 | 2011-08-04 Jerome Lambourg <lambourg@adacore.com> | |
95 | ||
96 | * osint-c.ads, osint-c.adb (Set_Library_Info_Name): Move to declaration | |
97 | so that the ali file name can be retrieved from outside of this package. | |
98 | * back_end.ads, back_end.adb (Gen_Or_Update_Object_File): New method | |
99 | doing nothing in the general case, but used to update the object file | |
100 | timestamp if directly generated by the backend. | |
101 | * gnat1drv.adb (Gnat1drv): Make sure the object file's timestamp is set | |
102 | to a later time than the ali file one. | |
103 | ||
9534ab17 AC |
104 | 2011-08-04 Yannick Moy <moy@adacore.com> |
105 | ||
106 | * einfo.adb, einfo.ads (Formal_Proof_On): new flag set on subprogram | |
107 | entities whose body contains an Annotate pragma which forces formal | |
108 | proof on this body. | |
109 | * sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, | |
110 | sem_ch6.adb, sem_ch9.adb, sem_res.adb: Adapt call to | |
111 | Mark_Non_ALFA_Subprogram to pass in a message and node. | |
112 | * sem_prag.adb (Analyze_Pragma): add treatment of pragma Annotate | |
113 | (Forma_Proof, On) which sets the flag Formal_Proof_On in the | |
114 | surrounding subprogram. | |
115 | * sem_util.adb, sem_util.ads (Mark_Non_ALFA_Subprogram, | |
116 | Mark_Non_ALFA_Subprogram_Unconditional): if the subprogram being marked | |
117 | as not in ALFA is annotated with Formal_Proof being On, then an error | |
118 | is issued based on the additional parameters for message and node. | |
119 | * snames.ads-tmpl (Name_Formal_Proof): new name for annotation. | |
120 | * gcc-interface/Make-lang.in: Update dependencies. | |
121 | ||
122 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
123 | ||
124 | * exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not generate | |
125 | Finalize_Address when CodePeer is enabled. | |
126 | ||
127 | 2011-08-04 Pascal Obry <obry@adacore.com> | |
128 | ||
129 | * adaint.c (__gnat_tmp_name): Use _tempnam() instead of tempnam() as | |
130 | the latter returns a pointer to a static buffer which is deallocated | |
131 | at the end of the routine. | |
132 | ||
5c0e97dd AC |
133 | 2011-08-04 Yannick Moy <moy@adacore.com> |
134 | ||
135 | * sem_ch3.adb (Array_Type_Declaration): move test for type in ALFA | |
136 | after index creation; mark unconstrained base array type generated as | |
137 | being in/not in ALFA as well | |
138 | (Make_Index): mark subtype created as in/not in ALFA | |
139 | * sem_ch5.adb (Analyze_Iteration_Scheme): mark entity for iterating | |
140 | over a loop as in/not in ALFA, depending on its type and form of loop | |
141 | iteration. | |
142 | ||
143 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
144 | ||
145 | * exp_ch7.adb (Build_Object_Declarations): Initialize flag Abort | |
146 | directly to False on .NET and JVM. | |
147 | ||
7a93c64b YM |
148 | 2011-08-04 Yannick Moy <moy@adacore.com> |
149 | ||
150 | * sem_ch3.adb (Constrain_Enumeration, Constrain_Integer): remove | |
151 | constraint that subtype must come from source code to be in ALFA, so | |
152 | that anonymous subtypes can be in ALFA too. | |
153 | ||
e9a1ed9b YM |
154 | 2011-08-04 Yannick Moy <moy@adacore.com> |
155 | ||
156 | * sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of | |
157 | reference for ALFA mode. | |
158 | * lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make | |
159 | procedure public so as to use it from formal verification back-end. | |
160 | ||
8e293fbd AC |
161 | 2011-08-04 Jerome Lambourg <lambourg@adacore.com> |
162 | ||
163 | * g-comlin.adb (For_Each_Simple_Switch.Is_In_Config): Remove the | |
164 | invalid checks of the Parameter, making Remove_Switch not working | |
165 | correctly. | |
166 | ||
167 | 2011-08-04 Arnaud Charlet <charlet@adacore.com> | |
168 | ||
169 | * targparm.ads: Update header: no run-time exception is needed on this | |
170 | file. | |
171 | ||
172 | 2011-08-04 Vincent Celier <celier@adacore.com> | |
173 | ||
174 | * a-fihema.adb: Use System.IO instead of GNAT.IO | |
175 | ||
176 | 2011-08-04 Thomas Quinot <quinot@adacore.com> | |
177 | ||
178 | * sem_ch3.adb (Access_Definition): Anonymous access to subprogram types | |
179 | are forbidden in Compiler_Unit mode. | |
180 | ||
cfae2bed AC |
181 | 2011-08-04 Robert Dewar <dewar@adacore.com> |
182 | ||
183 | * sem_util.adb: Minor reformatting. | |
184 | ||
185 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
186 | ||
187 | * bindgen.adb (Gen_Finalize_Library_Ada): Update the import string for | |
188 | library-level finalizers. | |
189 | (Gen_Finalize_Library_C): Update the import string for library-level | |
190 | finalizers. | |
191 | (Gen_Finalize_Library_Defs_C): Update the definition name of a | |
192 | library-level finalizer. | |
193 | * exp_ch7.adb: Remove with and use clauses for Stringt. | |
194 | (Create_Finalizer): Remove local variables Conv_Name, Prag_Decl, | |
195 | Spec_Decl. Add local variable Body_Id. The names of library-level | |
196 | finalizers are now manually fully qualified and are no longer external. | |
197 | A single name is now capable of servicing .NET, JVM and non-VM targets. | |
198 | Pragma Export is no longer required to provide visibility for the name. | |
199 | (Create_Finalizer_String): Removed. | |
200 | (New_Finalizer_Name): New routine which mimics New_..._Name. | |
201 | ||
01f0729a AC |
202 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> |
203 | ||
204 | * sem_elab.adb (Check_Internal_Call_Continue): Change the type of the | |
205 | elaboration counter to Standard_Short_Integer. | |
206 | * sem_util.adb (Build_Elaboration_Entity): Likewise. | |
207 | * bindgen.adb (Gen_Elab_Externals_Ada): Adjust to above change. | |
208 | (Gen_Elab_Externals_C): Likewise. | |
209 | ||
210 | 2011-08-04 Ed Falis <falis@adacore.com> | |
211 | ||
212 | * system-vxworks-arm.ads, system-vxworks-sparcv9.ads, | |
213 | system-vxworks-ppc.ads, system-vxworks-m68k.ads, | |
214 | system-vxworks-mips.ads, system-vxworks-x86.ads | |
215 | (Always_Compatible_Rep): set to False for all VxWorks targets. | |
216 | ||
2c1b72d7 AC |
217 | 2011-08-04 Robert Dewar <dewar@adacore.com> |
218 | ||
219 | * par_sco.adb, prj-proc.adb, make.adb, bindgen.adb, prj.adb, prj.ads, | |
220 | makeutl.adb, makeutl.ads, prj-nmsc.adb, exp_ch5.adb, exp_ch12.adb, | |
221 | exp_ch7.ads, exp_util.ads, sem_util.ads, g-comlin.ads, exp_ch6.adb, | |
222 | exp_ch6.ads, lib-xref.ads, exp_ch7.adb, exp_util.adb, exp_dist.adb, | |
223 | exp_strm.adb, gnatcmd.adb, freeze.adb, g-comlin.adb, lib-xref-alfa.adb, | |
224 | sem_attr.adb, sem_prag.adb, sem_util.adb, sem_elab.adb, sem_ch8.adb, | |
225 | sem_ch11.adb, sem_eval.adb, sem_ch13.adb, sem_disp.adb, a-fihema.adb: | |
226 | Minor reformatting and code reorganization. | |
227 | ||
228 | 2011-08-04 Emmanuel Briot <briot@adacore.com> | |
229 | ||
230 | * projects.texi: Added doc for aggregate projects. | |
231 | ||
824e9320 AC |
232 | 2011-08-04 Emmanuel Briot <briot@adacore.com> |
233 | ||
234 | * prj-proc.adb, prj-nmsc.adb, prj-env.adb (Process_Declarative_Items): | |
235 | Add support for overriding the Project_Path in aggregate projects. | |
236 | ||
237 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
238 | ||
239 | * a-cofove.ads: Minor reformatting. | |
240 | ||
241 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
242 | ||
243 | * exp_ch7.adb (Build_Adjust_Or_Finalize_Statements): Update the comment | |
244 | on the generated code. | |
245 | (Build_Finalize_Statements): Update the comment on the generated code. | |
246 | (Build_Initialize_Statements): Update the comment on the generated code. | |
247 | (Build_Object_Declarations): Add local variable Result. The object | |
248 | declarations are now built in sequence. | |
249 | * rtsfind.ads: Add RE_Exception_Occurrence_Access to tables RE_Id and | |
250 | RE_Unit_Table. | |
251 | ||
252 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
253 | ||
254 | * checks.adb, alfa.adb, alfa.ads: Minor reformatting. | |
255 | ||
256 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> | |
257 | ||
258 | * einfo.ads (Elaboration_Entity): Document new definition and use. | |
259 | (Elaboration_Entity_Required): Adjust to above change. | |
260 | * exp_attr.adb (Expand_N_Attribute_Reference): Likewise. | |
261 | * exp_ch12.adb: And with and use for Snames. | |
262 | (Expand_N_Generic_Instantiation): Test 'Elaborated attribute. | |
263 | * exp_util.adb (Set_Elaboration_Flag): Likewise. | |
264 | * sem_attr.adb (Analyze_Attribute) <Check_Library_Unit>: Delete. | |
265 | <Check_Unit_Name>: Deal with N_Expanded_Name. | |
266 | <Attribute_Elaborated>: Extend to all unit names. | |
267 | * sem_elab.adb: And with and use for Uintp. | |
268 | (Check_Internal_Call_Continue): Adjust to Elaboration_Entity change. | |
269 | * sem_util.ads (Build_Elaboration_Entity): Adjust comment. | |
270 | * sem_util.adb (Build_Elaboration_Entity): Change type to Integer. | |
271 | * bindgen.adb (Gen_Elab_Externals_Ada): New local subprogram taken | |
272 | from Gen_Adainit_Ada. | |
273 | (Gen_Elab_Externals_C): Likewise, but taken from Gen_Adainit_C. | |
274 | (Gen_Adafinal_Ada): Remove redundant test. In the non-main program | |
275 | case, do not call System.Standard_Library.Adafinal; instead call | |
276 | finalize_library if needed. | |
277 | (Gen_Adafinal_C): Likewise. | |
278 | (Gen_Adainit_Ada): Do not set SSL.Finalize_Library_Objects in the | |
279 | non-main program case. | |
280 | (Gen_Adainit_C): Generate a couple of external declarations here. | |
281 | In the main program case, set SSL.Finalize_Library_Objects. | |
282 | (Gen_Elab_Calls_Ada): Adjust to Elaboration_Entity change. | |
283 | (Gen_Elab_Calls_C): Likewise. | |
284 | (Gen_Finalize_Library_Ada): Likewise. Skip SAL interface units. | |
285 | (Gen_Finalize_Library_C): Likewise. Generate a full function. | |
286 | (Gen_Main_C): Put back call to Ada_Final and don't finalize library | |
287 | objects here. | |
288 | (Gen_Output_File_Ada): Generate pragma Linker_Destructor for Ada_Final | |
289 | if -a is specified. Call Gen_Elab_Externals_Ada. Move around call to | |
290 | Gen_Adafinal_Ada. | |
291 | (Gen_Output_File_C): Generate __attribute__((destructor)) for Ada_Final | |
292 | if -a is specified. Call Gen_Elab_Externals_C. Remove useless couple | |
293 |