]>
Commit | Line | Data |
---|---|---|
d6f39728 | 1 | ------------------------------------------------------------------------------ |
2 | -- -- | |
3 | -- GNAT COMPILER COMPONENTS -- | |
4 | -- -- | |
5 | -- S E M _ E L A B -- | |
6 | -- -- | |
7 | -- B o d y -- | |
8 | -- -- | |
5c61a0ff | 9 | -- Copyright (C) 1997-2004 Free Software Foundation, Inc. -- |
d6f39728 | 10 | -- -- |
11 | -- GNAT is free software; you can redistribute it and/or modify it under -- | |
12 | -- terms of the GNU General Public License as published by the Free Soft- -- | |
13 | -- ware Foundation; either version 2, or (at your option) any later ver- -- | |
14 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- | |
15 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
16 | -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- | |
17 | -- for more details. You should have received a copy of the GNU General -- | |
18 | -- Public License distributed with GNAT; see file COPYING. If not, write -- | |
19 | -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- | |
20 | -- MA 02111-1307, USA. -- | |
21 | -- -- | |
22 | -- GNAT was originally developed by the GNAT team at New York University. -- | |
e78e8c8e | 23 | -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
d6f39728 | 24 | -- -- |
25 | ------------------------------------------------------------------------------ | |
26 | ||
27 | with Atree; use Atree; | |
28 | with Checks; use Checks; | |
29 | with Debug; use Debug; | |
30 | with Einfo; use Einfo; | |
31 | with Elists; use Elists; | |
32 | with Errout; use Errout; | |
9dfe12ae | 33 | with Exp_Tss; use Exp_Tss; |
d6f39728 | 34 | with Exp_Util; use Exp_Util; |
35 | with Expander; use Expander; | |
36 | with Fname; use Fname; | |
37 | with Lib; use Lib; | |
38 | with Lib.Load; use Lib.Load; | |
39 | with Namet; use Namet; | |
40 | with Nlists; use Nlists; | |
41 | with Nmake; use Nmake; | |
42 | with Opt; use Opt; | |
43 | with Output; use Output; | |
44 | with Restrict; use Restrict; | |
1e16c51c | 45 | with Rident; use Rident; |
d6f39728 | 46 | with Sem; use Sem; |
47 | with Sem_Cat; use Sem_Cat; | |
48 | with Sem_Ch7; use Sem_Ch7; | |
49 | with Sem_Ch8; use Sem_Ch8; | |
50 | with Sem_Res; use Sem_Res; | |
51 | with Sem_Util; use Sem_Util; | |
52 | with Sinfo; use Sinfo; | |
53 | with Sinput; use Sinput; | |
54 | with Snames; use Snames; | |
55 | with Stand; use Stand; | |
56 | with Table; | |
57 | with Tbuild; use Tbuild; | |
58 | with Uname; use Uname; | |
59 | ||
60 | package body Sem_Elab is | |
61 | ||
62 | -- The following table records the recursive call chain for output | |
63 | -- in the Output routine. Each entry records the call node and the | |
64 | -- entity of the called routine. The number of entries in the table | |
65 | -- (i.e. the value of Elab_Call.Last) indicates the current depth | |
66 | -- of recursion and is used to identify the outer level. | |
67 | ||
68 | type Elab_Call_Entry is record | |
69 | Cloc : Source_Ptr; | |
70 | Ent : Entity_Id; | |
71 | end record; | |
72 | ||
73 | package Elab_Call is new Table.Table ( | |
74 | Table_Component_Type => Elab_Call_Entry, | |
75 | Table_Index_Type => Int, | |
76 | Table_Low_Bound => 1, | |
77 | Table_Initial => 50, | |
78 | Table_Increment => 100, | |
79 | Table_Name => "Elab_Call"); | |
80 | ||
81 | -- This table is initialized at the start of each outer level call. | |
82 | -- It holds the entities for all subprograms that have been examined | |
83 | -- for this particular outer level call, and is used to prevent both | |
84 | -- infinite recursion, and useless reanalysis of bodies already seen | |
85 | ||
86 | package Elab_Visited is new Table.Table ( | |
87 | Table_Component_Type => Entity_Id, | |
88 | Table_Index_Type => Int, | |
89 | Table_Low_Bound => 1, | |
90 | Table_Initial => 200, | |
91 | Table_Increment => 100, | |
92 | Table_Name => "Elab_Visited"); | |
93 | ||
94 | -- This table stores calls to Check_Internal_Call that are delayed | |
95 | -- until all generics are instantiated, and in particular that all | |
96 | -- generic bodies have been inserted. We need to delay, because we | |
97 | -- need to be able to look through the inserted bodies. | |
98 | ||
99 | type Delay_Element is record | |
100 | N : Node_Id; | |
101 | -- The parameter N from the call to Check_Internal_Call. Note that | |
102 | -- this node may get rewritten over the delay period by expansion | |
103 | -- in the call case (but not in the instantiation case). | |
104 | ||
105 | E : Entity_Id; | |
106 | -- The parameter E from the call to Check_Internal_Call | |
107 | ||
108 | Orig_Ent : Entity_Id; | |
109 | -- The parameter Orig_Ent from the call to Check_Internal_Call | |
110 | ||
111 | Curscop : Entity_Id; | |
112 | -- The current scope of the call. This is restored when we complete | |
113 | -- the delayed call, so that we do this in the right scope. | |
114 | ||
115 | From_Elab_Code : Boolean; | |
116 | -- Save indication of whether this call is from elaboration code | |
117 | ||
118 | Outer_Scope : Entity_Id; | |
119 | -- Save scope of outer level call | |
120 | ||
121 | end record; | |
122 | ||
123 | package Delay_Check is new Table.Table ( | |
124 | Table_Component_Type => Delay_Element, | |
125 | Table_Index_Type => Int, | |
126 | Table_Low_Bound => 1, | |
127 | Table_Initial => 1000, | |
128 | Table_Increment => 100, | |
129 | Table_Name => "Delay_Check"); | |
130 | ||
131 | C_Scope : Entity_Id; | |
132 | -- Top level scope of current scope. We need to compute this only | |
133 | -- once at the outer level, i.e. for a call to Check_Elab_Call from | |
134 | -- outside this unit. | |
135 | ||
136 | Outer_Level_Sloc : Source_Ptr; | |
137 | -- Save Sloc value for outer level call node for comparisons of source | |
138 | -- locations. A body is too late if it appears after the *outer* level | |
139 | -- call, not the particular call that is being analyzed. | |
140 | ||
141 | From_Elab_Code : Boolean; | |
142 | -- This flag shows whether the outer level call currently being examined | |
143 | -- is or is not in elaboration code. We are only interested in calls to | |
144 | -- routines in other units if this flag is True. | |
145 | ||
146 | In_Task_Activation : Boolean := False; | |
147 | -- This flag indicates whether we are performing elaboration checks on | |
148 | -- task procedures, at the point of activation. If true, we do not trace | |
149 | -- internal calls in these procedures, because all local bodies are known | |
150 | -- to be elaborated. | |
151 | ||
152 | Delaying_Elab_Checks : Boolean := True; | |
153 | -- This is set True till the compilation is complete, including the | |
154 | -- insertion of all instance bodies. Then when Check_Elab_Calls is | |
155 | -- called, the delay table is used to make the delayed calls and | |
156 | -- this flag is reset to False, so that the calls are processed | |
157 | ||
158 | ----------------------- | |
159 | -- Local Subprograms -- | |
160 | ----------------------- | |
161 | ||
162 | -- Note: Outer_Scope in all these calls represents the scope of | |
163 | -- interest of the outer level call. If it is set to Standard_Standard, | |
164 | -- then it means the outer level call was at elaboration level, and that | |
165 | -- thus all calls are of interest. If it was set to some other scope, | |
166 | -- then the original call was an inner call, and we are not interested | |
167 | -- in calls that go outside this scope. | |
168 | ||
169 | procedure Check_A_Call | |
170 | (N : Node_Id; | |
171 | E : Entity_Id; | |
172 | Outer_Scope : Entity_Id; | |
173 | Inter_Unit_Only : Boolean; | |
174 | Generate_Warnings : Boolean := True); | |
175 | -- This is the internal recursive routine that is called to check for | |
176 | -- a possible elaboration error. The argument N is a subprogram call | |
177 | -- or generic instantiation to be checked, and E is the entity of | |
178 | -- the called subprogram, or instantiated generic unit. The flag | |
179 | -- Outer_Scope is the outer level scope for the original call. | |
180 | -- Inter_Unit_Only is set if the call is only to be checked in the | |
181 | -- case where it is to another unit (and skipped if within a unit). | |
f15731c4 | 182 | -- Generate_Warnings is set to False to suppress warning messages |
d6f39728 | 183 | -- about missing pragma Elaborate_All's. These messages are not |
184 | -- wanted for inner calls in the dynamic model. | |
185 | ||
186 | procedure Check_Bad_Instantiation (N : Node_Id); | |
187 | -- N is a node for an instantiation (if called with any other node kind, | |
188 | -- Check_Bad_Instantiation ignores the call). This subprogram checks for | |
189 | -- the special case of a generic instantiation of a generic spec in the | |
190 | -- same declarative part as the instantiation where a body is present and | |
191 | -- has not yet been seen. This is an obvious error, but needs to be checked | |
192 | -- specially at the time of the instantiation, since it is a case where we | |
193 | -- cannot insert the body anywhere. If this case is detected, warnings are | |
194 | -- generated, and a raise of Program_Error is inserted. In addition any | |
195 | -- subprograms in the generic spec are stubbed, and the Bad_Instantiation | |
196 | -- flag is set on the instantiation node. The caller in Sem_Ch12 uses this | |
197 | -- flag as an indication that no attempt should be made to insert an | |
198 | -- instance body. | |
199 | ||
200 | procedure Check_Internal_Call | |
201 | (N : Node_Id; | |
202 | E : Entity_Id; | |
203 | Outer_Scope : Entity_Id; | |
204 | Orig_Ent : Entity_Id); | |
205 | -- N is a function call or procedure statement call node and E is | |
206 | -- the entity of the called function, which is within the current | |
207 | -- compilation unit (where subunits count as part of the parent). | |
208 | -- This call checks if this call, or any call within any accessed | |
209 | -- body could cause an ABE, and if so, outputs a warning. Orig_Ent | |
210 | -- differs from E only in the case of renamings, and points to the | |
211 | -- original name of the entity. This is used for error messages. | |
212 | -- Outer_Scope is the outer level scope for the original call. | |
213 | ||
214 | procedure Check_Internal_Call_Continue | |
215 | (N : Node_Id; | |
216 | E : Entity_Id; | |
217 | Outer_Scope : Entity_Id; | |
218 | Orig_Ent : Entity_Id); | |
219 | -- The processing for Check_Internal_Call is divided up into two phases, | |
220 | -- and this represents the second phase. The second phase is delayed if | |
221 | -- Delaying_Elab_Calls is set to True. In this delayed case, the first | |
222 | -- phase makes an entry in the Delay_Check table, which is processed | |
223 | -- when Check_Elab_Calls is called. N, E and Orig_Ent are as for the call | |
224 | -- to Check_Internal_Call. Outer_Scope is the outer level scope for | |
225 | -- the original call. | |
226 | ||
227 | function Has_Generic_Body (N : Node_Id) return Boolean; | |
228 | -- N is a generic package instantiation node, and this routine determines | |
229 | -- if this package spec does in fact have a generic body. If so, then | |
230 | -- True is returned, otherwise False. Note that this is not at all the | |
231 | -- same as checking if the unit requires a body, since it deals with | |
232 | -- the case of optional bodies accurately (i.e. if a body is optional, | |
233 | -- then it looks to see if a body is actually present). Note: this | |
234 | -- function can only do a fully correct job if in generating code mode | |
235 | -- where all bodies have to be present. If we are operating in semantics | |
236 | -- check only mode, then in some cases of optional bodies, a result of | |
237 | -- False may incorrectly be given. In practice this simply means that | |
238 | -- some cases of warnings for incorrect order of elaboration will only | |
239 | -- be given when generating code, which is not a big problem (and is | |
240 | -- inevitable, given the optional body semantics of Ada). | |
241 | ||
242 | procedure Insert_Elab_Check (N : Node_Id; C : Node_Id := Empty); | |
243 | -- Given code for an elaboration check (or unconditional raise if | |
244 | -- the check is not needed), inserts the code in the appropriate | |
245 | -- place. N is the call or instantiation node for which the check | |
246 | -- code is required. C is the test whose failure triggers the raise. | |
247 | ||
248 | procedure Output_Calls (N : Node_Id); | |
249 | -- Outputs chain of calls stored in the Elab_Call table. The caller | |
250 | -- has already generated the main warning message, so the warnings | |
251 | -- generated are all continuation messages. The argument is the | |
252 | -- call node at which the messages are to be placed. | |
253 | ||
254 | function Same_Elaboration_Scope (Scop1, Scop2 : Entity_Id) return Boolean; | |
255 | -- Given two scopes, determine whether they are the same scope from an | |
256 | -- elaboration point of view, i.e. packages and blocks are ignored. | |
257 | ||
258 | procedure Set_C_Scope; | |
259 | -- On entry C_Scope is set to some scope. On return, C_Scope is reset | |
260 | -- to be the enclosing compilation unit of this scope. | |
261 | ||
262 | function Spec_Entity (E : Entity_Id) return Entity_Id; | |
263 | -- Given a compilation unit entity, if it is a spec entity, it is | |
264 | -- returned unchanged. If it is a body entity, then the spec for | |
265 | -- the corresponding spec is returned | |
266 | ||
267 | procedure Supply_Bodies (N : Node_Id); | |
268 | -- Given a node, N, that is either a subprogram declaration or a package | |
269 | -- declaration, this procedure supplies dummy bodies for the subprogram | |
270 | -- or for all subprograms in the package. If the given node is not one | |
271 | -- of these two possibilities, then Supply_Bodies does nothing. The | |
272 | -- dummy body is supplied by setting the subprogram to be Imported with | |
273 | -- convention Stubbed. | |
274 | ||
275 | procedure Supply_Bodies (L : List_Id); | |
276 | -- Calls Supply_Bodies for all elements of the given list L. | |
277 | ||
278 | function Within (E1, E2 : Entity_Id) return Boolean; | |
279 | -- Given two scopes E1 and E2, returns True if E1 is equal to E2, or | |
280 | -- is one of its contained scopes, False otherwise. | |
281 | ||
f15731c4 | 282 | function Within_Elaborate_All (E : Entity_Id) return Boolean; |
283 | -- Before emitting a warning on a scope E for a missing elaborate_all, | |
284 | -- check whether E may be in the context of a directly visible unit | |
285 | -- U to which the pragma applies. This prevents spurious warnings when | |
286 | -- the called entity is renamed within U. | |
287 | ||
d6f39728 | 288 | ------------------ |
289 | -- Check_A_Call -- | |
290 | ------------------ | |
291 | ||
292 | procedure Check_A_Call | |
293 | (N : Node_Id; | |
294 | E : Entity_Id; | |
295 | Outer_Scope : Entity_Id; | |
296 | Inter_Unit_Only : Boolean; | |
297 | Generate_Warnings : Boolean := True) | |
298 | is | |
299 | Loc : constant Source_Ptr := Sloc (N); | |
300 | Ent : Entity_Id; | |
301 | Decl : Node_Id; | |
302 | ||
303 | E_Scope : Entity_Id; | |
5c61a0ff | 304 | -- Top level scope of entity for called subprogram. This |
305 | -- value includes following renamings and derivations, so | |
306 | -- this scope can be in a non-visible unit. This is the | |
307 | -- scope that is to be investigated to see whether an | |
308 | -- elaboration check is required. | |
309 | ||
310 | W_Scope : Entity_Id; | |
311 | -- Top level scope of directly called entity for subprogram. | |
312 | -- This differs from E_Scope in the case where renamings or | |
313 | -- derivations are involved, since it does not follow these | |
314 | -- links, thus W_Scope is always in a visible unit. This is | |
315 | -- the scope for the Elaborate_All if one is needed. | |
d6f39728 | 316 | |
317 | Body_Acts_As_Spec : Boolean; | |
318 | -- Set to true if call is to body acting as spec (no separate spec) | |
319 | ||
320 | Inst_Case : constant Boolean := Nkind (N) in N_Generic_Instantiation; | |
321 | -- Indicates if we have instantiation case | |
322 | ||
323 | Caller_Unit_Internal : Boolean; | |
324 | Callee_Unit_Internal : Boolean; | |
325 | ||
326 | Inst_Caller : Source_Ptr; | |
327 | Inst_Callee : Source_Ptr; | |
328 | ||
329 | Unit_Caller : Unit_Number_Type; | |
330 | Unit_Callee : Unit_Number_Type; | |
331 | ||
d6f39728 | 332 | Cunit_SC : Boolean := False; |
333 | -- Set to suppress dynamic elaboration checks where one of the | |
9dfe12ae | 334 | -- enclosing scopes has Elaboration_Checks_Suppressed set, or else |
335 | -- if a pragma Elaborate (_All) applies to that scope, in which case | |
336 | -- warnings on the scope are also suppressed. For the internal case, | |
337 | -- we ignore this flag. | |
d6f39728 | 338 | |
339 | begin | |
cf428c6c | 340 | -- If the call is known to be within a local Suppress Elaboration |
341 | -- pragma, nothing to check. This can happen in task bodies. | |
342 | ||
343 | if (Nkind (N) = N_Function_Call | |
344 | or else Nkind (N) = N_Procedure_Call_Statement) | |
345 | and then No_Elaboration_Check (N) | |
346 | then | |
347 | return; | |
348 | end if; | |
349 | ||
d6f39728 | 350 | -- Go to parent for derived subprogram, or to original subprogram |
351 | -- in the case of a renaming (Alias covers both these cases) | |
352 | ||
353 | Ent := E; | |
354 | loop | |
9dfe12ae | 355 | if (Suppress_Elaboration_Warnings (Ent) |
356 | or else Elaboration_Checks_Suppressed (Ent)) | |
357 | and then (Inst_Case or else No (Alias (Ent))) | |
358 | then | |
d6f39728 | 359 | return; |
360 | end if; | |
361 | ||
a05205b0 | 362 | -- Nothing to do for imported entities |
d6f39728 | 363 | |
364 | if Is_Imported (Ent) then | |
365 | return; | |
366 | end if; | |
367 | ||
368 | exit when Inst_Case or else No (Alias (Ent)); | |
369 | Ent := Alias (Ent); | |
370 | end loop; | |
371 | ||
372 | Decl := Unit_Declaration_Node (Ent); | |
373 | ||
374 | if Nkind (Decl) = N_Subprogram_Body then | |
375 | Body_Acts_As_Spec := True; | |
376 | ||
377 | elsif Nkind (Decl) = N_Subprogram_Declaration | |
378 | or else Nkind (Decl) = N_Subprogram_Body_Stub | |
379 | or else Inst_Case | |
380 | then | |
381 | Body_Acts_As_Spec := False; | |
382 | ||
383 | -- If we have none of an instantiation, subprogram body or | |
384 | -- subprogram declaration, then it is not a case that we want | |
385 | -- to check. (One case is a call to a generic formal subprogram, | |
386 | -- where we do not want the check in the template). | |
387 | ||
388 | else | |
389 | return; | |
390 | end if; | |
391 | ||
392 | E_Scope := Ent; | |
393 | loop | |
9dfe12ae | 394 | if Elaboration_Checks_Suppressed (E_Scope) |
395 | or else Suppress_Elaboration_Warnings (E_Scope) | |
396 | then | |
d6f39728 | 397 | Cunit_SC := True; |
398 | end if; | |
399 | ||
400 | -- Exit when we get to compilation unit, not counting subunits | |
401 | ||
402 | exit when Is_Compilation_Unit (E_Scope) | |
403 | and then (Is_Child_Unit (E_Scope) | |
404 | or else Scope (E_Scope) = Standard_Standard); | |
405 | ||
406 | -- If we did not find a compilation unit, other than standard, | |
407 | -- then nothing to check (happens in some instantiation cases) | |
408 | ||
409 | if E_Scope = Standard_Standard then | |
410 | return; | |
411 | ||
412 | -- Otherwise move up a scope looking for compilation unit | |
413 | ||
414 | else | |
415 | E_Scope := Scope (E_Scope); | |
416 | end if; | |
417 | end loop; | |
418 | ||
419 | -- No checks needed for pure or preelaborated compilation units | |
420 | ||
421 | if Is_Pure (E_Scope) | |
422 | or else Is_Preelaborated (E_Scope) | |
423 | then | |
424 | return; | |
425 | end if; | |
426 | ||
427 | -- If the generic entity is within a deeper instance than we are, then | |
428 | -- either the instantiation to which we refer itself caused an ABE, in | |
a05205b0 | 429 | -- which case that will be handled separately, or else we know that the |
430 | -- body we need appears as needed at the point of the instantiation. | |
d6f39728 | 431 | -- However, this assumption is only valid if we are in static mode. |
432 | ||
433 | if not Dynamic_Elaboration_Checks | |
434 | and then Instantiation_Depth (Sloc (Ent)) > | |
435 | Instantiation_Depth (Sloc (N)) | |
436 | then | |
437 | return; | |
438 | end if; | |
439 | ||
440 | -- Do not give a warning for a package with no body | |
441 | ||
442 | if Ekind (Ent) = E_Generic_Package | |
443 | and then not Has_Generic_Body (N) | |
444 | then | |
445 | return; | |
446 | end if; | |
447 | ||
448 | -- Case of entity is not in current unit (i.e. with'ed unit case) | |
449 | ||
450 | if E_Scope /= C_Scope then | |
451 | ||
452 | -- We are only interested in such calls if the outer call was from | |
453 | -- elaboration code, or if we are in Dynamic_Elaboration_Checks mode. | |
454 | ||
455 | if not From_Elab_Code and then not Dynamic_Elaboration_Checks then | |
456 | return; | |
457 | end if; | |
458 | ||
9dfe12ae | 459 | -- Nothing to do if some scope said that no checks were required |
d6f39728 | 460 | |
9dfe12ae | 461 | if Cunit_SC then |
d6f39728 | 462 | return; |
463 | end if; | |
464 | ||
465 | -- Nothing to do for a generic instance, because in this case | |
466 | -- the checking was at the point of instantiation of the generic | |
467 | -- However, this shortcut is only applicable in static mode. | |
468 | ||
469 | if Is_Generic_Instance (Ent) and not Dynamic_Elaboration_Checks then | |
470 | return; | |
471 | end if; | |
472 | ||
9dfe12ae | 473 | -- Nothing to do if subprogram with no separate spec. However, |
474 | -- a call to Deep_Initialize may result in a call to a user-defined | |
475 | -- Initialize procedure, which imposes a body dependency. This | |
476 | -- happens only if the type is controlled and the Initialize | |
477 | -- procedure is not inherited. | |
d6f39728 | 478 | |
479 | if Body_Acts_As_Spec then | |
9dfe12ae | 480 | if Is_TSS (Ent, TSS_Deep_Initialize) then |
481 | declare | |
482 | Typ : Entity_Id; | |
483 | Init : Entity_Id; | |
484 | begin | |
485 | Typ := Etype (Next_Formal (First_Formal (Ent))); | |
486 | ||
487 | if not Is_Controlled (Typ) then | |
488 | return; | |
489 | else | |
490 | Init := Find_Prim_Op (Typ, Name_Initialize); | |
491 | ||
492 | if Comes_From_Source (Init) then | |
493 | Ent := Init; | |
494 | else | |
495 | return; | |
496 | end if; | |
497 | end if; | |
498 | end; | |
499 | ||
500 | else | |
501 | return; | |
502 | end if; | |
d6f39728 | 503 | end if; |
504 | ||
505 | -- Check cases of internal units | |
506 | ||
507 | Callee_Unit_Internal := | |
508 | Is_Internal_File_Name | |
509 | (Unit_File_Name (Get_Source_Unit (E_Scope))); | |
510 | ||
511 | -- Do not give a warning if the with'ed unit is internal | |
512 | -- and this is the generic instantiation case (this saves a | |
513 | -- lot of hassle dealing with the Text_IO special child units) | |
514 | ||
515 | if Callee_Unit_Internal and Inst_Case then | |
516 | return; | |
517 | end if; | |
518 | ||
519 | if C_Scope = Standard_Standard then | |
520 | Caller_Unit_Internal := False; | |
521 | else | |
522 | Caller_Unit_Internal := | |
523 | Is_Internal_File_Name | |
524 | (Unit_File_Name (Get_Source_Unit (C_Scope))); | |
525 | end if; | |
526 | ||
527 | -- Do not give a warning if the with'ed unit is internal | |
528 | -- and the caller is not internal (since the binder always | |
529 | -- elaborates internal units first). | |
530 | ||
531 | if Callee_Unit_Internal and (not Caller_Unit_Internal) then | |
532 | return; | |
533 | end if; | |
534 | ||
535 | -- For now, if debug flag -gnatdE is not set, do no checking for | |
536 | -- one internal unit withing another. This fixes the problem with | |
537 | -- the sgi build and storage errors. To be resolved later ??? | |
538 | ||
539 | if (Callee_Unit_Internal and Caller_Unit_Internal) | |
540 | and then not Debug_Flag_EE | |
541 | then | |
542 | return; | |
543 | end if; | |
544 | ||
9dfe12ae | 545 | if Is_TSS (E, TSS_Deep_Initialize) then |
546 | Ent := E; | |
547 | end if; | |
d6f39728 | 548 | |
549 | -- If the call is in an instance, and the called entity is not | |
550 | -- defined in the same instance, then the elaboration issue | |
551 | -- focuses around the unit containing the template, it is | |
552 | -- this unit which requires an Elaborate_All. | |
553 | ||
554 | -- However, if we are doing dynamic elaboration, we need to | |
555 | -- chase the call in the usual manner. | |
556 | ||
557 | -- We do not handle the case of calling a generic formal correctly | |
558 | -- in the static case. See test 4703-004 to explore this gap ??? | |
559 | ||
560 | Inst_Caller := Instantiation (Get_Source_File_Index (Sloc (N))); | |
561 | Inst_Callee := Instantiation (Get_Source_File_Index (Sloc (Ent))); | |
562 | ||
563 | if Inst_Caller = No_Location then | |
564 | Unit_Caller := No_Unit; | |
565 | else | |
566 | Unit_Caller := Get_Source_Unit (N); | |
567 | end if; | |
568 | ||
569 | if Inst_Callee = No_Location then | |
570 | Unit_Callee := No_Unit; | |
571 | else | |
572 | Unit_Callee := Get_Source_Unit (Ent); | |
573 | end if; | |
574 | ||
575 | if Unit_Caller /= No_Unit | |
576 | and then Unit_Callee /= Unit_Caller | |
577 | and then not Dynamic_Elaboration_Checks | |
578 | then | |
579 | E_Scope := Spec_Entity (Cunit_Entity (Unit_Caller)); | |
580 | ||
581 | -- If we don't get a spec entity, just ignore call. Not | |
582 | -- quite clear why this check is necessary. | |
583 | ||
584 | if No (E_Scope) then | |
585 | return; | |
586 | end if; | |
587 | ||
588 | -- Otherwise step to enclosing compilation unit | |
589 | ||
590 | while not Is_Compilation_Unit (E_Scope) loop | |
591 | E_Scope := Scope (E_Scope); | |
592 | end loop; | |
593 | ||
f15731c4 | 594 | -- For the case N is not an instance, or a call within instance |
d6f39728 | 595 | -- We recompute E_Scope for the error message, since we |
596 | -- do NOT want to go to the unit which has the ultimate | |
597 | -- declaration in the case of renaming and derivation and | |
598 | -- we also want to go to the generic unit in the case of | |
599 | -- an instance, and no further. | |
600 | ||
601 | else | |
602 | -- Loop to carefully follow renamings and derivations | |
603 | -- one step outside the current unit, but not further. | |
604 | ||
6c17421b | 605 | if not Inst_Case |
606 | and then Present (Alias (Ent)) | |
607 | then | |
608 | E_Scope := Alias (Ent); | |
609 | else | |
d6f39728 | 610 | E_Scope := Ent; |
6c17421b | 611 | end if; |
612 | ||
613 | loop | |
d6f39728 | 614 | while not Is_Compilation_Unit (E_Scope) loop |
615 | E_Scope := Scope (E_Scope); | |
616 | end loop; | |
617 | ||
618 | -- If E_Scope is the same as C_Scope, it means that there | |
6c17421b | 619 | -- definitely was a local renaming or derivation, and we |
620 | -- are not yet out of the current unit. | |
d6f39728 | 621 | |
622 | exit when E_Scope /= C_Scope; | |
623 | Ent := Alias (Ent); | |
6c17421b | 624 | E_Scope := Ent; |
9dfe12ae | 625 | |
5c61a0ff | 626 | -- If no alias, there is a previous error |
9dfe12ae | 627 | |
628 | if No (Ent) then | |
629 | return; | |
630 | end if; | |
d6f39728 | 631 | end loop; |
632 | end if; | |
633 | ||
f15731c4 | 634 | if Within_Elaborate_All (E_Scope) then |
635 | return; | |
636 | end if; | |
637 | ||
5c61a0ff | 638 | -- Find top level scope for called entity (not following renamings |
639 | -- or derivations). This is where the Elaborate_All will go if it | |
640 | -- is needed. We start with the called entity, except in the case | |
a05205b0 | 641 | -- of an initialization procedure outside the current package, where |
642 | -- the init proc is in the root package, and we start from the entity | |
643 | -- of the name in the call. | |
5c61a0ff | 644 | |
645 | if Is_Entity_Name (Name (N)) | |
646 | and then Is_Init_Proc (Entity (Name (N))) | |
a05205b0 | 647 | and then not In_Same_Extended_Unit (N, Entity (Name (N))) |
5c61a0ff | 648 | then |
649 | W_Scope := Scope (Entity (Name (N))); | |
650 | else | |
651 | W_Scope := E; | |
652 | end if; | |
653 | ||
654 | while not Is_Compilation_Unit (W_Scope) loop | |
655 | W_Scope := Scope (W_Scope); | |
656 | end loop; | |
657 | ||
658 | -- Now check if an elaborate_all (or dynamic check) is needed | |
659 | ||
d6f39728 | 660 | if not Suppress_Elaboration_Warnings (Ent) |
9dfe12ae | 661 | and then not Elaboration_Checks_Suppressed (Ent) |
d6f39728 | 662 | and then not Suppress_Elaboration_Warnings (E_Scope) |
9dfe12ae | 663 | and then not Elaboration_Checks_Suppressed (E_Scope) |
d6f39728 | 664 | and then Elab_Warnings |
665 | and then Generate_Warnings | |
666 | then | |
d6f39728 | 667 | if Inst_Case then |
668 | Error_Msg_NE | |
669 | ("instantiation of& may raise Program_Error?", N, Ent); | |
5c61a0ff | 670 | |
d6f39728 | 671 | else |
9dfe12ae | 672 | if Is_Init_Proc (Entity (Name (N))) |
673 | and then Comes_From_Source (Ent) | |
674 | then | |
675 | Error_Msg_NE | |
5c61a0ff | 676 | ("implicit call to & may raise Program_Error?", N, Ent); |
9dfe12ae | 677 | |
678 | else | |
679 | Error_Msg_NE | |
680 | ("call to & may raise Program_Error?", N, Ent); | |
681 | end if; | |
d6f39728 | 682 | end if; |
683 | ||
684 | Error_Msg_Qual_Level := Nat'Last; | |
685 | Error_Msg_NE | |
5c61a0ff | 686 | ("\missing pragma Elaborate_All for&?", N, W_Scope); |
d6f39728 | 687 | Error_Msg_Qual_Level := 0; |
688 | Output_Calls (N); | |
d6f39728 | 689 | |
690 | -- Set flag to prevent further warnings for same unit | |
691 | -- unless in All_Errors_Mode. | |
692 | ||
693 | if not All_Errors_Mode and not Dynamic_Elaboration_Checks then | |
5c61a0ff | 694 | Set_Suppress_Elaboration_Warnings (W_Scope, True); |
d6f39728 | 695 | end if; |
696 | end if; | |
697 | ||
698 | -- Check for runtime elaboration check required | |
699 | ||
700 | if Dynamic_Elaboration_Checks then | |
701 | if not Elaboration_Checks_Suppressed (Ent) | |
5c61a0ff | 702 | and then not Elaboration_Checks_Suppressed (W_Scope) |
9dfe12ae | 703 | and then not Elaboration_Checks_Suppressed (E_Scope) |
d6f39728 | 704 | and then not Cunit_SC |
705 | then | |
9dfe12ae | 706 | -- Runtime elaboration check required. Generate check of the |
d6f39728 | 707 | -- elaboration Boolean for the unit containing the entity. |
708 | ||
5c61a0ff | 709 | -- Note that for this case, we do check the real unit (the |
710 | -- one from following renamings, since that is the issue!) | |
711 | ||
712 | -- Could this possibly miss a useless but required PE??? | |
713 | ||
d6f39728 | 714 | Insert_Elab_Check (N, |
715 | Make_Attribute_Reference (Loc, | |
716 | Attribute_Name => Name_Elaborated, | |
717 | Prefix => | |
718 | New_Occurrence_Of | |
719 | (Spec_Entity (E_Scope), Loc))); | |
720 | end if; | |
721 | ||
5c61a0ff | 722 | -- Case of static elaboration model |
d6f39728 | 723 | |
724 | else | |
5c61a0ff | 725 | -- Do not do anything if elaboration checks suppressed. Note |
726 | -- that we check Ent here, not E, since we want the real entity | |
727 | -- for the body to see if checks are suppressed for it, not the | |
728 | -- dummy entry for renamings or derivations. | |
729 | ||
730 | if Elaboration_Checks_Suppressed (Ent) | |
731 | or else Elaboration_Checks_Suppressed (E_Scope) | |
732 | or else Elaboration_Checks_Suppressed (W_Scope) | |
d6f39728 | 733 | then |
5c61a0ff | 734 | null; |
735 | ||
736 | -- Here we need to generate an implicit elaborate all | |
737 | ||
738 | else | |
739 | -- Generate elaborate_all warning unless suppressed | |
d6f39728 | 740 | |
5c61a0ff | 741 | if (Elab_Warnings and Generate_Warnings and not Inst_Case) |
742 | and then not Suppress_Elaboration_Warnings (Ent) | |
743 | and then not Suppress_Elaboration_Warnings (E_Scope) | |
744 | and then not Suppress_Elaboration_Warnings (W_Scope) | |
745 | then | |
746 | Error_Msg_Node_2 := W_Scope; | |
747 | Error_Msg_NE | |
748 | ("call to& in elaboration code " & | |
749 | "requires pragma Elaborate_All on&?", N, E); | |
750 | end if; | |
751 | ||
752 | -- Set indication for binder to generate Elaborate_All | |
753 | ||
754 | Set_Elaborate_All_Desirable (W_Scope); | |
755 | Set_Suppress_Elaboration_Warnings (W_Scope, True); | |
756 | end if; | |
d6f39728 | 757 | end if; |
758 | ||
759 | -- Case of entity is in same unit as call or instantiation | |
760 | ||
761 | elsif not Inter_Unit_Only then | |
762 | Check_Internal_Call (N, Ent, Outer_Scope, E); | |
763 | end if; | |
d6f39728 | 764 | end Check_A_Call; |
765 | ||
766 | ----------------------------- | |
767 | -- Check_Bad_Instantiation -- | |
768 | ----------------------------- | |
769 | ||
770 | procedure Check_Bad_Instantiation (N : Node_Id) is | |
d6f39728 | 771 | Ent : Entity_Id; |
772 | ||
773 | begin | |
774 | -- Nothing to do if we do not have an instantiation (happens in some | |
775 | -- error cases, and also in the formal package declaration case) | |
776 | ||
777 | if Nkind (N) not in N_Generic_Instantiation then | |
778 | return; | |
779 | ||
f15731c4 | 780 | -- Nothing to do if serious errors detected (avoid cascaded errors) |
d6f39728 | 781 | |
f15731c4 | 782 | elsif Serious_Errors_Detected /= 0 then |
d6f39728 | 783 | return; |
784 | ||
785 | -- Nothing to do if not in full analysis mode | |
786 | ||
787 | elsif not Full_Analysis then | |
788 | return; | |
789 | ||
790 | -- Nothing to do if inside a generic template | |
791 | ||
792 | elsif Inside_A_Generic then | |
793 | return; | |
794 | ||
795 | -- Nothing to do if a library level instantiation | |
796 | ||
797 | elsif Nkind (Parent (N)) = N_Compilation_Unit then | |
798 | return; | |
799 | ||
800 | -- Nothing to do if we are compiling a proper body for semantic | |
801 | -- purposes only. The generic body may be in another proper body. | |
802 | ||
803 | elsif | |
804 | Nkind (Parent (Unit_Declaration_Node (Main_Unit_Entity))) = N_Subunit | |
805 | then | |
806 | return; | |
807 | end if; | |
808 | ||
f15731c4 | 809 | Ent := Get_Generic_Entity (N); |
d6f39728 | 810 | |
811 | -- The case we are interested in is when the generic spec is in the | |
812 | -- current declarative part | |
813 | ||
814 | if not Same_Elaboration_Scope (Current_Scope, Scope (Ent)) | |
a05205b0 | 815 | or else not In_Same_Extended_Unit (N, Ent) |
d6f39728 | 816 | then |
817 | return; | |
818 | end if; | |
819 | ||
820 | -- If the generic entity is within a deeper instance than we are, then | |
821 | -- either the instantiation to which we refer itself caused an ABE, in | |
822 | -- which case that will be handled separately. Otherwise, we know that | |
823 | -- the body we need appears as needed at the point of the instantiation. | |
824 | -- If they are both at the same level but not within the same instance | |
825 | -- then the body of the generic will be in the earlier instance. | |
826 | ||
827 | declare | |
828 | D1 : constant Int := Instantiation_Depth (Sloc (Ent)); | |
829 | D2 : constant Int := Instantiation_Depth (Sloc (N)); | |
830 | ||
831 | begin | |
832 | if D1 > D2 then | |
833 | return; | |
834 | ||
835 | elsif D1 = D2 | |
836 | and then Is_Generic_Instance (Scope (Ent)) | |
837 | and then not In_Open_Scopes (Scope (Ent)) | |
838 | then | |
839 | return; | |
840 | end if; | |
841 | end; | |
842 | ||
843 | -- Now we can proceed, if the entity being called has a completion, | |
844 | -- then we are definitely OK, since we have already seen the body. | |
845 | ||
846 | if Has_Completion (Ent) then | |
847 | return; | |
848 | end if; | |
849 | ||
850 | -- If there is no body, then nothing to do | |
851 | ||
852 | if not Has_Generic_Body (N) then | |
853 | return; | |
854 | end if; | |
855 | ||
856 | -- Here we definitely have a bad instantiation | |
857 | ||
858 | Error_Msg_NE | |
859 | ("?cannot instantiate& before body seen", N, Ent); | |
860 | ||
861 | if Present (Instance_Spec (N)) then | |
862 | Supply_Bodies (Instance_Spec (N)); | |
863 | end if; | |
864 | ||
865 | Error_Msg_N | |
866 | ("\?Program_Error will be raised at run time", N); | |
867 | Insert_Elab_Check (N); | |
868 | Set_ABE_Is_Certain (N); | |
869 | ||
870 | end Check_Bad_Instantiation; | |
871 | ||
872 | --------------------- | |
873 | -- Check_Elab_Call -- | |
874 | --------------------- | |
875 | ||
876 | procedure Check_Elab_Call | |
877 | (N : Node_Id; | |
878 | Outer_Scope : Entity_Id := Empty) | |
879 | is | |
d6f39728 | 880 | Ent : Entity_Id; |
881 | P : Node_Id; | |
882 | ||
cf428c6c | 883 | function Get_Called_Ent return Entity_Id; |
884 | -- Retrieve called entity. If this is a call to a protected subprogram, | |
885 | -- entity is a selected component. The callable entity may be absent, | |
886 | -- in which case there is no check to perform. This happens with | |
887 | -- non-analyzed calls in nested generics. | |
888 | ||
889 | -------------------- | |
890 | -- Get_Called_Ent -- | |
891 | -------------------- | |
892 | ||
893 | function Get_Called_Ent return Entity_Id is | |
894 | Nam : Node_Id; | |
895 | ||
896 | begin | |
897 | Nam := Name (N); | |
898 | ||
899 | if No (Nam) then | |
900 | return Empty; | |
901 | ||
902 | elsif Nkind (Nam) = N_Selected_Component then | |
903 | return Entity (Selector_Name (Nam)); | |
904 | ||
905 | elsif not Is_Entity_Name (Nam) then | |
906 | return Empty; | |
907 | ||
908 | else | |
909 | return Entity (Nam); | |
910 | end if; | |
911 | end Get_Called_Ent; | |
912 | ||
913 | -- Start of processing for Check_Elab_Call | |
914 | ||
d6f39728 | 915 | begin |
916 | -- For an entry call, check relevant restriction | |
917 | ||
918 | if Nkind (N) = N_Entry_Call_Statement | |
919 | and then not In_Subprogram_Or_Concurrent_Unit | |
920 | then | |
921 | Check_Restriction (No_Entry_Calls_In_Elaboration_Code, N); | |
922 | ||
923 | -- Nothing to do if this is not a call (happens in some error | |
924 | -- conditions, and in some cases where rewriting occurs). | |
925 | ||
926 | elsif Nkind (N) /= N_Function_Call | |
927 | and then Nkind (N) /= N_Procedure_Call_Statement | |
928 | then | |
929 | return; | |
930 | ||
931 | -- Nothing to do if this is a call already rewritten for elab checking. | |
932 | ||
933 | elsif Nkind (Parent (N)) = N_Conditional_Expression then | |
934 | return; | |
935 | ||
936 | -- Nothing to do if inside a generic template | |
937 | ||
938 | elsif Inside_A_Generic | |
939 | and then not Present (Enclosing_Generic_Body (N)) | |
940 | then | |
941 | return; | |
942 | end if; | |
943 | ||
944 | -- Here we have a call at elaboration time which must be checked | |
945 | ||
946 | if Debug_Flag_LL then | |
947 | Write_Str (" Check_Elab_Call: "); | |
948 | ||
949 | if No (Name (N)) | |
950 | or else not Is_Entity_Name (Name (N)) | |
951 | then | |
952 | Write_Str ("<<not entity name>> "); | |
953 | else | |
954 | Write_Name (Chars (Entity (Name (N)))); | |
955 | end if; | |
956 | ||
957 | Write_Str (" call at "); | |
958 | Write_Location (Sloc (N)); | |
959 | Write_Eol; | |
960 | end if; | |
961 | ||
962 | -- Climb up the tree to make sure we are not inside a | |
963 | -- default expression of a parameter specification or | |
964 | -- a record component, since in both these cases, we | |
965 | -- will be doing the actual call later, not now, and it | |
966 | -- is at the time of the actual call (statically speaking) | |
967 | -- that we must do our static check, not at the time of | |
03e3a723 | 968 | -- its initial analysis). However, we have to check calls |
969 | -- within component definitions (e.g., a function call | |
970 | -- that determines an array component bound), so we | |
971 | -- terminate the loop in that case. | |
d6f39728 | 972 | |
973 | P := Parent (N); | |
974 | while Present (P) loop | |
975 | if Nkind (P) = N_Parameter_Specification | |
976 | or else | |
977 | Nkind (P) = N_Component_Declaration | |
978 | then | |
979 | return; | |
03e3a723 | 980 | |
981 | -- The call occurs within the constraint of a component, | |
982 | -- so it must be checked. | |
983 | ||
984 | elsif Nkind (P) = N_Component_Definition then | |
985 | exit; | |
986 | ||
d6f39728 | 987 | else |
988 | P := Parent (P); | |
989 | end if; | |
990 | end loop; | |
991 | ||
992 | -- Stuff that happens only at the outer level | |
993 | ||
994 | if No (Outer_Scope) then | |
995 | Elab_Visited.Set_Last (0); | |
996 | ||
997 | -- Nothing to do if current scope is Standard (this is a bit | |
998 | -- odd, but it happens in the case of generic instantiations). | |
999 | ||
1000 | C_Scope := Current_Scope; | |
1001 | ||
1002 | if C_Scope = Standard_Standard then | |
1003 | return; | |
1004 | end if; | |
1005 | ||
1006 | -- First case, we are in elaboration code | |
1007 | ||
1008 | From_Elab_Code := not In_Subprogram_Or_Concurrent_Unit; | |
d6f39728 | 1009 | if From_Elab_Code then |
1010 | ||
1011 | -- Complain if call that comes from source in preelaborated | |
1012 | -- unit and we are not inside a subprogram (i.e. we are in | |
1013 | -- elab code) | |
1014 | ||
1015 | if Comes_From_Source (N) | |
1016 | and then In_Preelaborated_Unit | |
f15731c4 | 1017 | and then not In_Inlined_Body |
d6f39728 | 1018 | then |
1019 | Error_Msg_N | |
1020 | ("non-static call not allowed in preelaborated unit", N); | |
1021 | return; | |
1022 | end if; | |
1023 | ||
1024 | -- Second case, we are inside a subprogram or concurrent unit | |
1025 | -- i.e, we are not in elaboration code. | |
1026 | ||
1027 | else | |
1028 | -- In this case, the issue is whether we are inside the | |
1029 | -- declarative part of the unit in which we live, or inside | |
1030 | -- its statements. In the latter case, there is no issue of | |
1031 | -- ABE calls at this level (a call from outside to the unit | |
1032 | -- in which we live might cause an ABE, but that will be | |
1033 | -- detected when we analyze that outer level call, as it | |
1034 | -- recurses into the called unit). | |
1035 | ||
1036 | -- Climb up the tree, doing this test, and also testing | |
1037 | -- for being inside a default expression, which, as | |
1038 | -- discussed above, is not checked at this stage. | |
1039 | ||
1040 | declare | |
1041 | P : Node_Id; | |
1042 | L : List_Id; | |
1043 | ||
1044 | begin | |
1045 | P := N; | |
1046 | loop | |
1047 | -- If we find a parentless subtree, it seems safe to | |
1048 | -- assume that we are not in a declarative part and | |
1049 | -- that no checking is required. | |
1050 | ||
1051 | if No (P) then | |
1052 | return; | |
1053 | end if; | |
1054 | ||
1055 | if Is_List_Member (P) then | |
1056 | L := List_Containing (P); | |
1057 | P := Parent (L); | |
1058 | else | |
1059 | L := No_List; | |
1060 | P := Parent (P); | |
1061 | end if; | |
1062 | ||
1063 | exit when Nkind (P) = N_Subunit; | |
1064 | ||
1065 | -- Filter out case of default expressions, where | |
1066 | -- we do not do the check at this stage. | |
1067 | ||
1068 | if Nkind (P) = N_Parameter_Specification | |
1069 | or else | |
1070 | Nkind (P) = N_Component_Declaration | |
1071 | then | |
1072 | return; | |
1073 | end if; | |
1074 | ||
1075 | if Nkind (P) = N_Subprogram_Body | |
1076 | or else | |
1077 | Nkind (P) = N_Protected_Body | |
1078 | or else | |
1079 | Nkind (P) = N_Task_Body | |
1080 | or else | |
1081 | Nkind (P) = N_Block_Statement | |
1082 | then | |
1083 | if L = Declarations (P) then | |
1084 | exit; | |
1085 | ||
1086 | -- We are not in elaboration code, but we are doing | |
1087 | -- dynamic elaboration checks, in this case, we still | |
1088 | -- need to do the call, since the subprogram we are in | |
1089 | -- could be called from another unit, also in dynamic | |
1090 | -- elaboration check mode, at elaboration time. | |
1091 | ||
1092 | elsif Dynamic_Elaboration_Checks then | |
1093 | ||
1094 | -- This is a rather new check, going into version | |
1095 | -- 3.14a1 for the first time (V1.80 of this unit), | |
1096 | -- so we provide a debug flag to enable it. That | |
1097 | -- way we have an easy work around for regressions | |
1098 | -- that are caused by this new check. This debug | |
1099 | -- flag can be removed later. | |
1100 | ||
1101 | if Debug_Flag_DD then | |
1102 | return; | |
1103 | end if; | |
1104 | ||
1105 | -- Do the check in this case | |
1106 | ||
1107 | exit; | |
1108 | ||
cf428c6c | 1109 | elsif Nkind (P) = N_Task_Body then |
1110 | ||
1111 | -- The check is deferred until Check_Task_Activation | |
1112 | -- but we need to capture local suppress pragmas | |
1113 | -- that may inhibit checks on this call. | |
1114 | ||
1115 | Ent := Get_Called_Ent; | |
1116 | ||
1117 | if No (Ent) then | |
1118 | return; | |
1119 | ||
1120 | elsif Elaboration_Checks_Suppressed (Current_Scope) | |
1121 | or else Elaboration_Checks_Suppressed (Ent) | |
1122 | or else Elaboration_Checks_Suppressed (Scope (Ent)) | |
1123 | then | |
1124 | Set_No_Elaboration_Check (N); | |
1125 | end if; | |
1126 | ||
1127 | return; | |
1128 | ||
d6f39728 | 1129 | -- Static model, call is not in elaboration code, we |
1130 | -- never need to worry, because in the static model | |
1131 | -- the top level caller always takes care of things. | |
1132 | ||
1133 | else | |
1134 | return; | |
1135 | end if; | |
1136 | end if; | |
1137 | end loop; | |
1138 | end; | |
1139 | end if; | |
1140 | end if; | |
1141 | ||
cf428c6c | 1142 | Ent := Get_Called_Ent; |
d6f39728 | 1143 | |
1144 | if No (Ent) then | |
1145 | return; | |
1146 | end if; | |
1147 | ||
1148 | -- Nothing to do if this is a recursive call (i.e. a call to | |
1149 | -- an entity that is already in the Elab_Call stack) | |
1150 | ||
1151 | for J in 1 .. Elab_Visited.Last loop | |
1152 | if Ent = Elab_Visited.Table (J) then | |
1153 | return; | |
1154 | end if; | |
1155 | end loop; | |
1156 | ||
1157 | -- See if we need to analyze this call. We analyze it if either of | |
1158 | -- the following conditions is met: | |
1159 | ||
1160 | -- It is an inner level call (since in this case it was triggered | |
1161 | -- by an outer level call from elaboration code), but only if the | |
1162 | -- call is within the scope of the original outer level call. | |
1163 | ||
1164 | -- It is an outer level call from elaboration code, or the called | |
1165 | -- entity is in the same elaboration scope. | |
1166 | ||
1167 | -- And in these cases, we will check both inter-unit calls and | |
1168 | -- intra-unit (within a single unit) calls. | |
1169 | ||
1170 | C_Scope := Current_Scope; | |
1171 | ||
1172 | -- If not outer level call, then we follow it if it is within | |
1173 | -- the original scope of the outer call. | |
1174 | ||
1175 | if Present (Outer_Scope) | |
1176 | and then Within (Scope (Ent), Outer_Scope) | |
1177 | then | |
1178 | Set_C_Scope; | |
1179 | Check_A_Call (N, Ent, Outer_Scope, Inter_Unit_Only => False); | |
1180 | ||
1181 | elsif Elaboration_Checks_Suppressed (Current_Scope) then | |
1182 | null; | |
1183 | ||
1184 | elsif From_Elab_Code then | |
1185 | Set_C_Scope; | |
1186 | Check_A_Call (N, Ent, Standard_Standard, Inter_Unit_Only => False); | |
1187 | ||
1188 | elsif Same_Elaboration_Scope (C_Scope, Scope (Ent)) then | |
1189 | Set_C_Scope; | |
1190 | Check_A_Call (N, Ent, Scope (Ent), Inter_Unit_Only => False); | |
1191 | ||
1192 | -- If none of those cases holds, but Dynamic_Elaboration_Checks mode | |
1193 | -- is set, then we will do the check, but only in the inter-unit case | |
da253936 | 1194 | -- (this is to accommodate unguarded elaboration calls from other units |
d6f39728 | 1195 | -- in which this same mode is set). We don't want warnings in this case, |
1196 | -- it would generate warnings having nothing to do with elaboration. | |
1197 | ||
1198 | elsif Dynamic_Elaboration_Checks then | |
1199 | Set_C_Scope; | |
1200 | Check_A_Call | |
1201 | (N, | |
1202 | Ent, | |
1203 | Standard_Standard, | |
1204 | Inter_Unit_Only => True, | |
1205 | Generate_Warnings => False); | |
1206 | ||
9dfe12ae | 1207 | -- Otherwise nothing to do |
1208 | ||
d6f39728 | 1209 | else |
1210 | return; | |
1211 | end if; | |
9dfe12ae | 1212 | |
1213 | -- A call to an Init_Proc in elaboration code may bring additional | |
1214 | -- dependencies, if some of the record components thereof have | |
1215 | -- initializations that are function calls that come from source. | |
1216 | -- We treat the current node as a call to each of these functions, | |
1217 | -- to check their elaboration impact. | |
1218 | ||
1219 | if Is_Init_Proc (Ent) | |
1220 | and then From_Elab_Code | |
1221 | then | |
1222 | Process_Init_Proc : declare | |
1223 | Unit_Decl : constant Node_Id := Unit_Declaration_Node (Ent); | |
1224 | ||
1225 | function Process (Nod : Node_Id) return Traverse_Result; | |
1226 | -- Find subprogram calls within body of init_proc for | |
1227 | -- Traverse instantiation below. | |
1228 | ||
1229 | function Process (Nod : Node_Id) return Traverse_Result is | |
1230 | Func : Entity_Id; | |
1231 | ||
1232 | begin | |
1233 | if (Nkind (Nod) = N_Function_Call | |
1234 | or else Nkind (Nod) = N_Procedure_Call_Statement) | |
1235 | and then Is_Entity_Name (Name (Nod)) | |
1236 | then | |
1237 | Func := Entity (Name (Nod)); | |
1238 | ||
1239 | if Comes_From_Source (Func) then | |
1240 | Check_A_Call | |
1241 | (N, Func, Standard_Standard, Inter_Unit_Only => True); | |
1242 | end if; | |
1243 | ||
1244 | return OK; | |
1245 | ||
1246 | else | |
1247 | return OK; | |
1248 | end if; | |
1249 | end Process; | |
1250 | ||
1251 | procedure Traverse_Body is new Traverse_Proc (Process); | |
1252 | ||
1253 | -- Start of processing for Process_Init_Proc | |
1254 | ||
1255 | begin | |
1256 | if Nkind (Unit_Decl) = N_Subprogram_Body then | |
1257 | Traverse_Body (Handled_Statement_Sequence (Unit_Decl)); | |
1258 | end if; | |
1259 | end Process_Init_Proc; | |
1260 | end if; | |
d6f39728 | 1261 | end Check_Elab_Call; |
1262 | ||
1263 | ---------------------- | |
1264 | -- Check_Elab_Calls -- | |
1265 | ---------------------- | |
1266 | ||
1267 | procedure Check_Elab_Calls is | |
1268 | begin | |
1269 | -- If expansion is disabled, do not generate any checks. Also | |
1270 | -- skip checks if any subunits are missing because in either | |
1271 | -- case we lack the full information that we need, and no object | |
1272 | -- file will be created in any case. | |
1273 | ||
36504070 | 1274 | if not Expander_Active |
1275 | or else Is_Generic_Unit (Cunit_Entity (Main_Unit)) | |
1276 | or else Subunits_Missing | |
1277 | then | |
d6f39728 | 1278 | return; |
1279 | end if; | |
1280 | ||
1281 | -- Skip delayed calls if we had any errors | |
1282 | ||
f15731c4 | 1283 | if Serious_Errors_Detected = 0 then |
d6f39728 | 1284 | Delaying_Elab_Checks := False; |
1285 | Expander_Mode_Save_And_Set (True); | |
1286 | ||
1287 | for J in Delay_Check.First .. Delay_Check.Last loop | |
1288 | New_Scope (Delay_Check.Table (J).Curscop); | |
1289 | From_Elab_Code := Delay_Check.Table (J).From_Elab_Code; | |
1290 | ||
1291 | Check_Internal_Call_Continue ( | |
1292 | N => Delay_Check.Table (J).N, | |
1293 | E => Delay_Check.Table (J).E, | |
1294 | Outer_Scope => Delay_Check.Table (J).Outer_Scope, | |
1295 | Orig_Ent => Delay_Check.Table (J).Orig_Ent); | |
1296 | ||
1297 | Pop_Scope; | |
1298 | end loop; | |
1299 | ||
1300 | -- Set Delaying_Elab_Checks back on for next main compilation | |
1301 | ||
1302 | Expander_Mode_Restore; | |
1303 | Delaying_Elab_Checks := True; | |
1304 | end if; | |
1305 | end Check_Elab_Calls; | |
1306 | ||
1307 | ------------------------------ | |
1308 | -- Check_Elab_Instantiation -- | |
1309 | ------------------------------ | |
1310 | ||
1311 | procedure Check_Elab_Instantiation | |
1312 | (N : Node_Id; | |
1313 | Outer_Scope : Entity_Id := Empty) | |
1314 | is | |
9dfe12ae | 1315 | Ent : Entity_Id; |
d6f39728 | 1316 | |
1317 | begin | |
1318 | -- Check for and deal with bad instantiation case. There is some | |
1319 | -- duplicated code here, but we will worry about this later ??? | |
1320 | ||
1321 | Check_Bad_Instantiation (N); | |
1322 | ||
1323 | if ABE_Is_Certain (N) then | |
1324 | return; | |
1325 | end if; | |
1326 | ||
1327 | -- Nothing to do if we do not have an instantiation (happens in some | |
1328 | -- error cases, and also in the formal package declaration case) | |
1329 | ||
1330 | if Nkind (N) not in N_Generic_Instantiation then | |
1331 | return; | |
1332 | end if; | |
1333 | ||
1334 | -- Nothing to do if inside a generic template | |
1335 | ||
1336 | if Inside_A_Generic then | |
1337 | return; | |
1338 | end if; | |
1339 | ||
f15731c4 | 1340 | Ent := Get_Generic_Entity (N); |
d6f39728 | 1341 | From_Elab_Code := not In_Subprogram_Or_Concurrent_Unit; |
1342 | ||
1343 | -- See if we need to analyze this instantiation. We analyze it if | |
1344 | -- either of the following conditions is met: | |
1345 | ||
1346 | -- It is an inner level instantiation (since in this case it was | |
1347 | -- triggered by an outer level call from elaboration code), but | |
1348 | -- only if the instantiation is within the scope of the original | |
1349 | -- outer level call. | |
1350 | ||
1351 | -- It is an outer level instantiation from elaboration code, or the | |
1352 | -- instantiated entity is in the same elaboratoin scope. | |
1353 | ||
1354 | -- And in these cases, we will check both the inter-unit case and | |
1355 | -- the intra-unit (within a single unit) case. | |
1356 | ||
1357 | C_Scope := Current_Scope; | |
1358 | ||
1359 | if Present (Outer_Scope) | |
1360 | and then Within (Scope (Ent), Outer_Scope) | |
1361 | then | |
1362 | Set_C_Scope; | |
1363 | Check_A_Call (N, Ent, Outer_Scope, Inter_Unit_Only => False); | |
1364 | ||
1365 | elsif From_Elab_Code then | |
1366 | Set_C_Scope; | |
1367 | Check_A_Call (N, Ent, Standard_Standard, Inter_Unit_Only => False); | |
1368 | ||
1369 | elsif Same_Elaboration_Scope (C_Scope, Scope (Ent)) then | |
1370 | Set_C_Scope; | |
1371 | Check_A_Call (N, Ent, Scope (Ent), Inter_Unit_Only => False); | |
1372 | ||
1373 | -- If none of those cases holds, but Dynamic_Elaboration_Checks mode | |
1374 | -- is set, then we will do the check, but only in the inter-unit case | |
da253936 | 1375 | -- (this is to accommodate unguarded elaboration calls from other units |
d6f39728 | 1376 | -- in which this same mode is set). We inhibit warnings in this case, |
1377 | -- since this instantiation is not occurring in elaboration code. | |
1378 | ||
1379 | elsif Dynamic_Elaboration_Checks then | |
1380 | Set_C_Scope; | |
1381 | Check_A_Call | |
1382 | (N, | |
1383 | Ent, | |
1384 | Standard_Standard, | |
1385 | Inter_Unit_Only => True, | |
1386 | Generate_Warnings => False); | |
1387 | ||
1388 | else | |
1389 | return; | |
1390 | end if; | |
1391 | end Check_Elab_Instantiation; | |
1392 | ||
1393 | ------------------------- | |
1394 | -- Check_Internal_Call -- | |
1395 | ------------------------- | |
1396 | ||
1397 | procedure Check_Internal_Call | |
1398 | (N : Node_Id; | |
1399 | E : Entity_Id; | |
1400 | Outer_Scope : Entity_Id; | |
1401 | Orig_Ent : Entity_Id) | |
1402 | is | |
1403 | Inst_Case : constant Boolean := Nkind (N) in N_Generic_Instantiation; | |
1404 | ||
1405 | begin | |
1406 | -- If not function or procedure call or instantiation, then ignore | |
1407 | -- call (this happens in some error case and rewriting cases) | |
1408 | ||
1409 | if Nkind (N) /= N_Function_Call | |
1410 | and then | |
1411 | Nkind (N) /= N_Procedure_Call_Statement | |
1412 | and then | |
1413 | not Inst_Case | |
1414 | then | |
1415 | return; | |
1416 | ||
1417 | -- Nothing to do if this is a call or instantiation that has | |
1418 | -- already been found to be a sure ABE | |
1419 | ||
1420 | elsif ABE_Is_Certain (N) then | |
1421 | return; | |
1422 | ||
1423 | -- Nothing to do if errors already detected (avoid cascaded errors) | |
1424 | ||
f15731c4 | 1425 | elsif Serious_Errors_Detected /= 0 then |
d6f39728 | 1426 | return; |
1427 | ||
1428 | -- Nothing to do if not in full analysis mode | |
1429 | ||
1430 | elsif not Full_Analysis then | |
1431 | return; | |
1432 | ||
1433 | -- Nothing to do if within a default expression, since the call | |
1434 | -- is not actualy being made at this time. | |
1435 | ||
1436 | elsif In_Default_Expression then | |
1437 | return; | |
1438 | ||
1439 | -- Nothing to do for call to intrinsic subprogram | |
1440 | ||
1441 | elsif Is_Intrinsic_Subprogram (E) then | |
1442 | return; | |
1443 | ||
1444 | -- No need to trace local calls if checking task activation, because | |
1445 | -- other local bodies are elaborated already. | |
1446 | ||
1447 | elsif In_Task_Activation then | |
1448 | return; | |
1449 | end if; | |
1450 | ||
1451 | -- Delay this call if we are still delaying calls | |
1452 | ||
1453 | if Delaying_Elab_Checks then | |
1454 | Delay_Check.Increment_Last; | |
1455 | Delay_Check.Table (Delay_Check.Last) := | |
1456 | (N => N, | |
1457 | E => E, | |
1458 | Orig_Ent => Orig_Ent, | |
1459 | Curscop => Current_Scope, | |
1460 | Outer_Scope => Outer_Scope, | |
1461 | From_Elab_Code => From_Elab_Code); | |
1462 | return; | |
1463 | ||
1464 | -- Otherwise, call phase 2 continuation right now | |
1465 | ||
1466 | else | |
1467 | Check_Internal_Call_Continue (N, E, Outer_Scope, Orig_Ent); | |
1468 | end if; | |
1469 | ||
1470 | end Check_Internal_Call; | |
1471 | ||
1472 | ---------------------------------- | |
1473 | -- Check_Internal_Call_Continue -- | |
1474 | ---------------------------------- | |
1475 | ||
1476 | procedure Check_Internal_Call_Continue | |
1477 | (N : Node_Id; | |
1478 | E : Entity_Id; | |
1479 | Outer_Scope : Entity_Id; | |
1480 | Orig_Ent : Entity_Id) | |
1481 | is | |
1482 | Loc : constant Source_Ptr := Sloc (N); | |
1483 | Inst_Case : constant Boolean := Is_Generic_Unit (E); | |
1484 | ||
1485 | Sbody : Node_Id; | |
1486 | Ebody : Entity_Id; | |
1487 | ||
1488 | function Process (N : Node_Id) return Traverse_Result; | |
1489 | -- Function applied to each node as we traverse the body. | |
1490 | -- Checks for call that needs checking, and if so checks | |
1491 | -- it. Always returns OK, so entire tree is traversed. | |
1492 | ||
9dfe12ae | 1493 | ------------- |
1494 | -- Process -- | |
1495 | ------------- | |
1496 | ||
d6f39728 | 1497 | function Process (N : Node_Id) return Traverse_Result is |
1498 | begin | |
1499 | -- If user has specified that there are no entry calls in elaboration | |
1500 | -- code, do not trace past an accept statement, because the rendez- | |
1501 | -- vous will happen after elaboration. | |
1502 | ||
1503 | if (Nkind (Original_Node (N)) = N_Accept_Statement | |
1504 | or else Nkind (Original_Node (N)) = N_Selective_Accept) | |
1e16c51c | 1505 | and then Restriction_Active (No_Entry_Calls_In_Elaboration_Code) |
d6f39728 | 1506 | then |
1507 | return Abandon; | |
1508 | ||
1509 | -- If we have a subprogram call, check it | |
1510 | ||
1511 | elsif Nkind (N) = N_Function_Call | |
1512 | or else Nkind (N) = N_Procedure_Call_Statement | |
1513 | then | |
1514 | Check_Elab_Call (N, Outer_Scope); | |
1515 | return OK; | |
1516 | ||
1517 | -- If we have a generic instantiation, check it | |
1518 | ||
1519 | elsif Nkind (N) in N_Generic_Instantiation then | |
1520 | Check_Elab_Instantiation (N, Outer_Scope); | |
1521 | return OK; | |
1522 | ||
1523 | -- Skip subprogram bodies that come from source (wait for | |
1524 | -- call to analyze these). The reason for the come from | |
1525 | -- source test is to avoid catching task bodies. | |
1526 | ||
1527 | -- For task bodies, we should really avoid these too, waiting | |
1528 | -- for the task activation, but that's too much trouble to | |
1529 | -- catch for now, so we go in unconditionally. This is not | |
1530 | -- so terrible, it means the error backtrace is not quite | |
1531 | -- complete, and we are too eager to scan bodies of tasks | |
1532 | -- that are unused, but this is hardly very significant! | |
1533 | ||
1534 | elsif Nkind (N) = N_Subprogram_Body | |
1535 | and then Comes_From_Source (N) | |
1536 | then | |
1537 | return Skip; | |
1538 | ||
1539 | else | |
1540 | return OK; | |
1541 | end if; | |
1542 | end Process; | |
1543 | ||
1544 | procedure Traverse is new Atree.Traverse_Proc; | |
1545 | -- Traverse procedure using above Process function | |
1546 | ||
1547 | -- Start of processing for Check_Internal_Call_Continue | |
1548 | ||
1549 | begin | |
1550 | -- Save outer level call if at outer level | |
1551 | ||
1552 | if Elab_Call.Last = 0 then | |
1553 | Outer_Level_Sloc := Loc; | |
1554 | end if; | |
1555 | ||
1556 | Elab_Visited.Increment_Last; | |
1557 | Elab_Visited.Table (Elab_Visited.Last) := E; | |
1558 | ||
1559 | -- If the call is to a function that renames a literal, no check | |
1560 | -- is needed. | |
1561 | ||
1562 | if Ekind (E) = E_Enumeration_Literal then | |
1563 | return; | |
1564 | end if; | |
1565 | ||
1566 | Sbody := Unit_Declaration_Node (E); | |
1567 | ||
1568 | if Nkind (Sbody) /= N_Subprogram_Body | |
1569 | and then | |
1570 | Nkind (Sbody) /= N_Package_Body | |
1571 | then | |
1572 | Ebody := Corresponding_Body (Sbody); | |
1573 | ||
1574 | if No (Ebody) then | |
1575 | return; | |
1576 | else | |
1577 | Sbody := Unit_Declaration_Node (Ebody); | |
1578 | end if; | |
1579 | end if; | |
1580 | ||
1581 | -- If the body appears after the outer level call or | |
1582 | -- instantiation then we have an error case handled below. | |
1583 | ||
1584 | if Earlier_In_Extended_Unit (Outer_Level_Sloc, Sloc (Sbody)) | |
1585 | and then not In_Task_Activation | |
1586 | then | |
1587 | null; | |
1588 | ||
1589 | -- If we have the instantiation case we are done, since we now | |
1590 | -- know that the body of the generic appeared earlier. | |
1591 | ||
1592 | elsif Inst_Case then | |
1593 | return; | |
1594 | ||
1595 | -- Otherwise we have a call, so we trace through the called | |
1596 | -- body to see if it has any problems .. | |
1597 | ||
1598 | else | |
1599 | pragma Assert (Nkind (Sbody) = N_Subprogram_Body); | |
1600 | ||
1601 | Elab_Call.Increment_Last; | |
1602 | Elab_Call.Table (Elab_Call.Last).Cloc := Loc; | |
1603 | Elab_Call.Table (Elab_Call.Last).Ent := E; | |
1604 | ||
1605 | if Debug_Flag_LL then | |
1606 | Write_Str ("Elab_Call.Last = "); | |
1607 | Write_Int (Int (Elab_Call.Last)); | |
1608 | Write_Str (" Ent = "); | |
1609 | Write_Name (Chars (E)); | |
1610 | Write_Str (" at "); | |
1611 | Write_Location (Sloc (N)); | |
1612 | Write_Eol; | |
1613 | end if; | |
1614 | ||
1615 | -- Now traverse declarations and statements of subprogram body. | |
1616 | -- Note that we cannot simply Traverse (Sbody), since traverse | |
1617 | -- does not normally visit subprogram bodies. | |
1618 | ||
1619 | declare | |
1620 | Decl : Node_Id := First (Declarations (Sbody)); | |
1621 | ||
1622 | begin | |
1623 | while Present (Decl) loop | |
1624 | Traverse (Decl); | |
1625 | Next (Decl); | |
1626 | end loop; | |
1627 | end; | |
1628 | ||
1629 | Traverse (Handled_Statement_Sequence (Sbody)); | |
1630 | ||
1631 | Elab_Call.Decrement_Last; | |
1632 | return; | |
1633 | end if; | |
1634 | ||
1635 | -- Here is the case of calling a subprogram where the body has | |
1636 | -- not yet been encountered, a warning message is needed. | |
1637 | ||
d6f39728 | 1638 | -- If we have nothing in the call stack, then this is at the |
1639 | -- outer level, and the ABE is bound to occur. | |
1640 | ||
1641 | if Elab_Call.Last = 0 then | |
d6f39728 | 1642 | if Inst_Case then |
1643 | Error_Msg_NE | |
1644 | ("?cannot instantiate& before body seen", N, Orig_Ent); | |
1645 | else | |
1646 | Error_Msg_NE | |
1647 | ("?cannot call& before body seen", N, Orig_Ent); | |
1648 | end if; | |
1649 | ||
1650 | Error_Msg_N | |
1651 | ("\?Program_Error will be raised at run time", N); | |
1652 | Insert_Elab_Check (N); | |
1653 | ||
1654 | -- Call is not at outer level | |
1655 | ||
1656 | else | |
1657 | -- Deal with dynamic elaboration check | |
1658 | ||
1659 | if not Elaboration_Checks_Suppressed (E) then | |
1660 | Set_Elaboration_Entity_Required (E); | |
1661 | ||
1662 | -- Case of no elaboration entity allocated yet | |
1663 | ||
1664 | if No (Elaboration_Entity (E)) then | |
1665 | ||
1666 | -- Create object declaration for elaboration entity, and put it | |
1667 | -- just in front of the spec of the subprogram or generic unit, | |
1668 | -- in the same scope as this unit. | |
1669 | ||
1670 | declare | |
1671 | Loce : constant Source_Ptr := Sloc (E); | |
1672 | Ent : constant Entity_Id := | |
1673 | Make_Defining_Identifier (Loc, | |
1674 | Chars => New_External_Name (Chars (E), 'E')); | |
1675 | ||
1676 | begin | |
1677 | Set_Elaboration_Entity (E, Ent); | |
1678 | New_Scope (Scope (E)); | |
1679 | ||
1680 | Insert_Action (Declaration_Node (E), | |
1681 | Make_Object_Declaration (Loce, | |
1682 | Defining_Identifier => Ent, | |
1683 | Object_Definition => | |
1684 | New_Occurrence_Of (Standard_Boolean, Loce), | |
1685 | Expression => New_Occurrence_Of (Standard_False, Loce))); | |
1686 | ||
1687 | -- Set elaboration flag at the point of the body | |
1688 | ||
1689 | Set_Elaboration_Flag (Sbody, E); | |
1690 | ||
9dfe12ae | 1691 | -- Kill current value indication. This is necessary |
1692 | -- because the tests of this flag are inserted out of | |
1693 | -- sequence and must not pick up bogus indications of | |
1694 | -- the wrong constant value. Also, this is never a true | |
1695 | -- constant, since one way or another, it gets reset. | |
1696 | ||
1697 | Set_Current_Value (Ent, Empty); | |
1698 | Set_Is_True_Constant (Ent, False); | |
d6f39728 | 1699 | Pop_Scope; |
1700 | end; | |
1701 | end if; | |
1702 | ||
1703 | -- Generate check of the elaboration Boolean | |
1704 | ||
1705 | Insert_Elab_Check (N, | |
1706 | New_Occurrence_Of (Elaboration_Entity (E), Loc)); | |
1707 | end if; | |
1708 | ||
1709 | -- Generate the warning | |
1710 | ||
9dfe12ae | 1711 | if not Suppress_Elaboration_Warnings (E) |
1712 | and then not Elaboration_Checks_Suppressed (E) | |
1713 | then | |
d6f39728 | 1714 | if Inst_Case then |
1715 | Error_Msg_NE | |
1716 | ("instantiation of& may occur before body is seen?", | |
1717 | N, Orig_Ent); | |
1718 | else | |
1719 | Error_Msg_NE | |
1720 | ("call to& may occur before body is seen?", N, Orig_Ent); | |
1721 | end if; | |
1722 | ||
1723 | Error_Msg_N | |
1724 | ("\Program_Error may be raised at run time?", N); | |
1725 | ||
1726 | Output_Calls (N); | |
1727 | end if; | |
1728 | end if; | |
1729 | ||
d6f39728 | 1730 | -- Set flag to suppress further warnings on same subprogram |
1731 | -- unless in all errors mode | |
1732 | ||
1733 | if not All_Errors_Mode then | |
1734 | Set_Suppress_Elaboration_Warnings (E); | |
1735 | end if; | |
1736 | end Check_Internal_Call_Continue; | |
1737 | ||
9dfe12ae | 1738 | --------------------------- |
1739 | -- Check_Task_Activation -- | |
1740 | --------------------------- | |
d6f39728 | 1741 | |
1742 | procedure Check_Task_Activation (N : Node_Id) is | |
1743 | Loc : constant Source_Ptr := Sloc (N); | |
9dfe12ae | 1744 | Inter_Procs : constant Elist_Id := New_Elmt_List; |
1745 | Intra_Procs : constant Elist_Id := New_Elmt_List; | |
d6f39728 | 1746 | Ent : Entity_Id; |
1747 | P : Entity_Id; | |
1748 | Task_Scope : Entity_Id; | |
1749 | Cunit_SC : Boolean := False; | |
1750 | Decl : Node_Id; | |
1751 | Elmt : Elmt_Id; | |
d6f39728 | 1752 | Enclosing : Entity_Id; |
1753 | ||
1754 | procedure Add_Task_Proc (Typ : Entity_Id); | |
1755 | -- Add to Task_Procs the task body procedure(s) of task types in Typ. | |
1756 | -- For record types, this procedure recurses over component types. | |
1757 | ||
1758 | procedure Collect_Tasks (Decls : List_Id); | |
1759 | -- Collect the types of the tasks that are to be activated in the given | |
1760 | -- list of declarations, in order to perform elaboration checks on the | |
1761 | -- corresponding task procedures which are called implicitly here. | |
1762 | ||
1763 | function Outer_Unit (E : Entity_Id) return Entity_Id; | |
1764 | -- find enclosing compilation unit of Entity, ignoring subunits, or | |
1765 | -- else enclosing subprogram. If E is not a package, there is no need | |
1766 | -- for inter-unit elaboration checks. | |
1767 | ||
1768 | ------------------- | |
1769 | -- Add_Task_Proc -- | |
1770 | ------------------- | |
1771 | ||
1772 | procedure Add_Task_Proc (Typ : Entity_Id) is | |
1773 | Comp : Entity_Id; | |
1774 | Proc : Entity_Id := Empty; | |
1775 | ||
1776 | begin | |
1777 | if Is_Task_Type (Typ) then | |
1778 | Proc := Get_Task_Body_Procedure (Typ); | |
1779 | ||
1780 | elsif Is_Array_Type (Typ) | |
1781 | and then Has_Task (Base_Type (Typ)) | |
1782 | then | |
1783 | Add_Task_Proc (Component_Type (Typ)); | |
1784 | ||
1785 | elsif Is_Record_Type (Typ) | |
1786 | and then Has_Task (Base_Type (Typ)) | |
1787 | then | |
1788 | Comp := First_Component (Typ); | |
1789 | ||
1790 | while Present (Comp) loop | |
1791 | Add_Task_Proc (Etype (Comp)); | |
1792 | Comp := Next_Component (Comp); | |
1793 | end loop; | |
1794 | end if; | |
1795 | ||
1796 | -- If the task type is another unit, we will perform the usual | |
1797 | -- elaboration check on its enclosing unit. If the type is in the | |
1798 | -- same unit, we can trace the task body as for an internal call, | |
1799 | -- but we only need to examine other external calls, because at | |
1800 | -- the point the task is activated, internal subprogram bodies | |
1801 | -- will have been elaborated already. We keep separate lists for | |
1802 | -- each kind of task. | |
1803 | ||
f15731c4 | 1804 | -- Skip this test if errors have occurred, since in this case |
1805 | -- we can get false indications. | |
1806 | ||
9dfe12ae | 1807 | if Serious_Errors_Detected /= 0 then |
f15731c4 | 1808 | return; |
1809 | end if; | |
1810 | ||
d6f39728 | 1811 | if Present (Proc) then |
1812 | if Outer_Unit (Scope (Proc)) = Enclosing then | |
1813 | ||
1814 | if No (Corresponding_Body (Unit_Declaration_Node (Proc))) | |
1815 | and then | |
1816 | (not Is_Generic_Instance (Scope (Proc)) | |
1817 | or else | |
1818 | Scope (Proc) = Scope (Defining_Identifier (Decl))) | |
1819 | then | |
1820 | Error_Msg_N | |
1821 | ("task will be activated before elaboration of its body?", | |
1822 | Decl); | |
1823 | Error_Msg_N | |
1824 | ("Program_Error will be raised at run-time?", Decl); | |
1825 | ||
1826 | elsif | |
1827 | Present (Corresponding_Body (Unit_Declaration_Node (Proc))) | |
1828 | then | |
1829 | Append_Elmt (Proc, Intra_Procs); | |
1830 | end if; | |
1831 | ||
1832 | else | |
1833 | Elmt := First_Elmt (Inter_Procs); | |
1834 | ||
1835 | -- No need for multiple entries of the same type. | |
1836 | ||
1837 | while Present (Elmt) loop | |
1838 | if Node (Elmt) = Proc then | |
1839 | return; | |
1840 | end if; | |
1841 | ||
1842 | Next_Elmt (Elmt); | |
1843 | end loop; | |
1844 | ||
1845 | Append_Elmt (Proc, Inter_Procs); | |
1846 | end if; | |
1847 | end if; | |
1848 | end Add_Task_Proc; | |
1849 | ||
1850 | ------------------- | |
1851 | -- Collect_Tasks -- | |
1852 | ------------------- | |
1853 | ||
1854 | procedure Collect_Tasks (Decls : List_Id) is | |
1855 | begin | |
1856 | if Present (Decls) then | |
1857 | Decl := First (Decls); | |
1858 | ||
1859 | while Present (Decl) loop | |
1860 | ||
1861 | if Nkind (Decl) = N_Object_Declaration | |
1862 | and then Has_Task (Etype (Defining_Identifier (Decl))) | |
1863 | then | |
1864 | Add_Task_Proc (Etype (Defining_Identifier (Decl))); | |
1865 | end if; | |
1866 | ||
1867 | Next (Decl); | |
1868 | end loop; | |
1869 | end if; | |
1870 | end Collect_Tasks; | |
1871 | ||
1872 | ---------------- | |
1873 | -- Outer_Unit -- | |
1874 | ---------------- | |
1875 | ||
1876 | function Outer_Unit (E : Entity_Id) return Entity_Id is | |
1877 | Outer : Entity_Id := E; | |
1878 | ||
1879 | begin | |
1880 | while Present (Outer) loop | |
9dfe12ae | 1881 | if Elaboration_Checks_Suppressed (Outer) then |
d6f39728 | 1882 | Cunit_SC := True; |
1883 | end if; | |
1884 | ||
1885 | exit when Is_Child_Unit (Outer) | |
1886 | or else Scope (Outer) = Standard_Standard | |
1887 | or else Ekind (Outer) /= E_Package; | |
1888 | Outer := Scope (Outer); | |
1889 | end loop; | |
1890 | ||
1891 | return Outer; | |
1892 | end Outer_Unit; | |
1893 | ||
1894 | -- Start of processing for Check_Task_Activation | |
1895 | ||
1896 | begin | |
1897 | Enclosing := Outer_Unit (Current_Scope); | |
1898 | ||
1899 | -- Find all tasks declared in the current unit. | |
1900 | ||
1901 | if Nkind (N) = N_Package_Body then | |
1902 | P := Unit_Declaration_Node (Corresponding_Spec (N)); | |
1903 | ||
1904 | Collect_Tasks (Declarations (N)); | |
1905 | Collect_Tasks (Visible_Declarations (Specification (P))); | |
1906 | Collect_Tasks (Private_Declarations (Specification (P))); | |
1907 | ||
1908 | elsif Nkind (N) = N_Package_Declaration then | |
1909 | Collect_Tasks (Visible_Declarations (Specification (N))); | |
1910 | Collect_Tasks (Private_Declarations (Specification (N))); | |
1911 | ||
1912 | else | |
1913 | Collect_Tasks (Declarations (N)); | |
1914 | end if; | |
1915 | ||
1916 | -- We only perform detailed checks in all tasks are library level | |
1917 | -- entities. If the master is a subprogram or task, activation will | |
1918 | -- depend on the activation of the master itself. | |
1919 | -- Should dynamic checks be added in the more general case??? | |
1920 | ||
1921 | if Ekind (Enclosing) /= E_Package then | |
1922 | return; | |
1923 | end if; | |
1924 | ||
1925 | -- For task types defined in other units, we want the unit containing | |
1926 | -- the task body to be elaborated before the current one. | |
1927 | ||
1928 | Elmt := First_Elmt (Inter_Procs); | |
1929 | ||
1930 | while Present (Elmt) loop | |
1931 | Ent := Node (Elmt); | |
1932 | Task_Scope := Outer_Unit (Scope (Ent)); | |
1933 | ||
1934 | if not Is_Compilation_Unit (Task_Scope) then | |
1935 | null; | |
1936 | ||
9dfe12ae | 1937 | elsif Suppress_Elaboration_Warnings (Task_Scope) |
1938 | or else Elaboration_Checks_Suppressed (Task_Scope) | |
1939 | then | |
d6f39728 | 1940 | null; |
1941 | ||
1942 | elsif Dynamic_Elaboration_Checks then | |
1943 | if not Elaboration_Checks_Suppressed (Ent) | |
1944 | and then not Cunit_SC | |
1e16c51c | 1945 | and then |
1946 | not Restriction_Active (No_Entry_Calls_In_Elaboration_Code) | |
d6f39728 | 1947 | then |
1948 | -- Runtime elaboration check required. generate check of the | |
1949 | -- elaboration Boolean for the unit containing the entity. | |
1950 | ||
1951 | Insert_Elab_Check (N, | |
1952 | Make_Attribute_Reference (Loc, | |
1953 | Attribute_Name => Name_Elaborated, | |
1954 | Prefix => | |
1955 | New_Occurrence_Of | |
1956 | (Spec_Entity (Task_Scope), Loc))); | |
1957 | end if; | |
1958 | ||
1959 | else | |
9dfe12ae | 1960 | -- Force the binder to elaborate other unit first |
d6f39728 | 1961 | |
1962 | if not Suppress_Elaboration_Warnings (Ent) | |
9dfe12ae | 1963 | and then not Elaboration_Checks_Suppressed (Ent) |
d6f39728 | 1964 | and then Elab_Warnings |
1965 | and then not Suppress_Elaboration_Warnings (Task_Scope) | |
9dfe12ae | 1966 | and then not Elaboration_Checks_Suppressed (Task_Scope) |
d6f39728 | 1967 | then |
1968 | Error_Msg_Node_2 := Task_Scope; | |
1969 | Error_Msg_NE ("activation of an instance of task type&" & | |
1970 | " requires pragma Elaborate_All on &?", N, Ent); | |
1971 | end if; | |
1972 | ||
1973 | Set_Elaborate_All_Desirable (Task_Scope); | |
1974 | Set_Suppress_Elaboration_Warnings (Task_Scope); | |
1975 | end if; | |
1976 | ||
1977 | Next_Elmt (Elmt); | |
1978 | end loop; | |
1979 | ||
1980 | -- For tasks declared in the current unit, trace other calls within | |
1981 | -- the task procedure bodies, which are available. | |
1982 | ||
1983 | In_Task_Activation := True; | |
1984 | Elmt := First_Elmt (Intra_Procs); | |
1985 | ||
1986 | while Present (Elmt) loop | |
1987 | Ent := Node (Elmt); | |
1988 | Check_Internal_Call_Continue (N, Ent, Enclosing, Ent); | |
1989 | Next_Elmt (Elmt); | |
1990 | end loop; | |
1991 | ||
1992 | In_Task_Activation := False; | |
1993 | end Check_Task_Activation; | |
1994 | ||
1995 | ---------------------- | |
1996 | -- Has_Generic_Body -- | |
1997 | ---------------------- | |
1998 | ||
1999 | function Has_Generic_Body (N : Node_Id) return Boolean is | |
f15731c4 | 2000 | Ent : constant Entity_Id := Get_Generic_Entity (N); |
d6f39728 | 2001 | Decl : constant Node_Id := Unit_Declaration_Node (Ent); |
2002 | Scop : Entity_Id; | |
2003 | ||
2004 | function Find_Body_In (E : Entity_Id; N : Node_Id) return Node_Id; | |
2005 | -- Determine if the list of nodes headed by N and linked by Next | |
2006 | -- contains a package body for the package spec entity E, and if | |
2007 | -- so return the package body. If not, then returns Empty. | |
2008 | ||
2009 | function Load_Package_Body (Nam : Unit_Name_Type) return Node_Id; | |
2010 | -- This procedure is called load the unit whose name is given by Nam. | |
2011 | -- This unit is being loaded to see whether it contains an optional | |
2012 | -- generic body. The returned value is the loaded unit, which is | |
2013 | -- always a package body (only package bodies can contain other | |
2014 | -- entities in the sense in which Has_Generic_Body is interested). | |
2015 | -- We only attempt to load bodies if we are generating code. If we | |
2016 | -- are in semantics check only mode, then it would be wrong to load | |
2017 | -- bodies that are not required from a semantic point of view, so | |
2018 | -- in this case we return Empty. The result is that the caller may | |
2019 | -- incorrectly decide that a generic spec does not have a body when | |
2020 | -- in fact it does, but the only harm in this is that some warnings | |
2021 | -- on elaboration problems may be lost in semantic checks only mode, | |
2022 | -- which is not big loss. We also return Empty if we go for a body | |
2023 | -- and it is not there. | |
2024 | ||
2025 | function Locate_Corresponding_Body (PE : Entity_Id) return Node_Id; | |
2026 | -- PE is the entity for a package spec. This function locates the | |
2027 | -- corresponding package body, returning Empty if none is found. | |
2028 | -- The package body returned is fully parsed but may not yet be | |
2029 | -- analyzed, so only syntactic fields should be referenced. | |
2030 | ||
2031 | ------------------ | |
2032 | -- Find_Body_In -- | |
2033 | ------------------ | |
2034 | ||
2035 | function Find_Body_In (E : Entity_Id; N : Node_Id) return Node_Id is | |
2036 | Nod : Node_Id; | |
2037 | ||
2038 | begin | |
2039 | Nod := N; | |
2040 | while Present (Nod) loop | |
2041 | ||
2042 | -- If we found the package body we are looking for, return it | |
2043 | ||
2044 | if Nkind (Nod) = N_Package_Body | |
2045 | and then Chars (Defining_Unit_Name (Nod)) = Chars (E) | |
2046 | then | |
2047 | return Nod; | |
2048 | ||
2049 | -- If we found the stub for the body, go after the subunit, | |
2050 | -- loading it if necessary. | |
2051 | ||
2052 | elsif Nkind (Nod) = N_Package_Body_Stub | |
2053 | and then Chars (Defining_Identifier (Nod)) = Chars (E) | |
2054 | then | |
2055 | if Present (Library_Unit (Nod)) then | |
2056 | return Unit (Library_Unit (Nod)); | |
2057 | ||
2058 | else | |
2059 | return Load_Package_Body (Get_Unit_Name (Nod)); | |
2060 | end if; | |
2061 | ||
2062 | -- If neither package body nor stub, keep looking on chain | |
2063 | ||
2064 | else | |
2065 | Next (Nod); | |
2066 | end if; | |
2067 | end loop; | |
2068 | ||
2069 | return Empty; | |
2070 | end Find_Body_In; | |
2071 | ||
2072 | ----------------------- | |
2073 | -- Load_Package_Body -- | |
2074 | ----------------------- | |
2075 | ||
2076 | function Load_Package_Body (Nam : Unit_Name_Type) return Node_Id is | |
2077 | U : Unit_Number_Type; | |
2078 | ||
2079 | begin | |
2080 | if Operating_Mode /= Generate_Code then | |
2081 | return Empty; | |
2082 | else | |
2083 | U := | |
2084 | Load_Unit | |
2085 | (Load_Name => Nam, | |
2086 | Required => False, | |
2087 | Subunit => False, | |
2088 | Error_Node => N); | |
2089 | ||
2090 | if U = No_Unit then | |
2091 | return Empty; | |
2092 | else | |
2093 | return Unit (Cunit (U)); | |
2094 | end if; | |
2095 | end if; | |
2096 | end Load_Package_Body; | |
2097 | ||
2098 | ------------------------------- | |
2099 | -- Locate_Corresponding_Body -- | |
2100 | ------------------------------- | |
2101 | ||
2102 | function Locate_Corresponding_Body (PE : Entity_Id) return Node_Id is | |
2103 | Spec : constant Node_Id := Declaration_Node (PE); | |
2104 | Decl : constant Node_Id := Parent (Spec); | |
2105 | Scop : constant Entity_Id := Scope (PE); | |
2106 | PBody : Node_Id; | |
2107 | ||
2108 | begin | |
2109 | if Is_Library_Level_Entity (PE) then | |
2110 | ||
2111 | -- If package is a library unit that requires a body, we have | |
2112 | -- no choice but to go after that body because it might contain | |
2113 | -- an optional body for the original generic package. | |
2114 | ||
2115 | if Unit_Requires_Body (PE) then | |
2116 | ||
2117 | -- Load the body. Note that we are a little careful here to | |
2118 | -- use Spec to get the unit number, rather than PE or Decl, | |
2119 | -- since in the case where the package is itself a library | |
2120 | -- level instantiation, Spec will properly reference the | |
2121 | -- generic template, which is what we really want. | |
2122 | ||
2123 | return | |
2124 | Load_Package_Body | |
2125 | (Get_Body_Name (Unit_Name (Get_Source_Unit (Spec)))); | |
2126 | ||
2127 | -- But if the package is a library unit that does NOT require | |
2128 | -- a body, then no body is permitted, so we are sure that there | |
2129 | -- is no body for the original generic package. | |
2130 | ||
2131 | else | |
2132 | return Empty; | |
2133 | end if; | |
2134 | ||
2135 | -- Otherwise look and see if we are embedded in a further package | |
2136 | ||
2137 | elsif Is_Package (Scop) then | |
2138 | ||
2139 | -- If so, get the body of the enclosing package, and look in | |
2140 | -- its package body for the package body we are looking for. | |
2141 | ||
2142 | PBody := Locate_Corresponding_Body (Scop); | |
2143 | ||
2144 | if No (PBody) then | |
2145 | return Empty; | |
2146 | else | |
2147 | return Find_Body_In (PE, First (Declarations (PBody))); | |
2148 | end if; | |
2149 | ||
2150 | -- If we are not embedded in a further package, then the body | |
2151 | -- must be in the same declarative part as we are. | |
2152 | ||
2153 | else | |
2154 | return Find_Body_In (PE, Next (Decl)); | |
2155 | end if; | |
2156 | end Locate_Corresponding_Body; | |
2157 | ||
2158 | -- Start of processing for Has_Generic_Body | |
2159 | ||
2160 | begin | |
2161 | if Present (Corresponding_Body (Decl)) then | |
2162 | return True; | |
2163 | ||
2164 | elsif Unit_Requires_Body (Ent) then | |
2165 | return True; | |
2166 | ||
2167 | -- Compilation units cannot have optional bodies | |
2168 | ||
2169 | elsif Is_Compilation_Unit (Ent) then | |
2170 | return False; | |
2171 | ||
2172 | -- Otherwise look at what scope we are in | |
2173 | ||
2174 | else | |
2175 | Scop := Scope (Ent); | |
2176 | ||
2177 | -- Case of entity is in other than a package spec, in this case | |
2178 | -- the body, if present, must be in the same declarative part. | |
2179 | ||
2180 | if not Is_Package (Scop) then | |
2181 | declare | |
2182 | P : Node_Id; | |
2183 | ||
2184 | begin | |
2185 | P := Declaration_Node (Ent); | |
2186 | ||
2187 | -- Declaration node may get us a spec, so if so, go to | |
2188 | -- the parent declaration. | |
2189 | ||
2190 | while not Is_List_Member (P) loop | |
2191 | P := Parent (P); | |
2192 | end loop; | |
2193 | ||
2194 | return Present (Find_Body_In (Ent, Next (P))); | |
2195 | end; | |
2196 | ||
2197 | -- If the entity is in a package spec, then we have to locate | |
2198 | -- the corresponding package body, and look there. | |
2199 | ||
2200 | else | |
2201 | declare | |
2202 | PBody : constant Node_Id := Locate_Corresponding_Body (Scop); | |
2203 | ||
2204 | begin | |
2205 | if No (PBody) then | |
2206 | return False; | |
2207 | else | |
2208 | return | |
2209 | Present | |
2210 | (Find_Body_In (Ent, (First (Declarations (PBody))))); | |
2211 | end if; | |
2212 | end; | |
2213 | end if; | |
2214 | end if; | |
2215 | end Has_Generic_Body; | |
2216 | ||
2217 | ----------------------- | |
2218 | -- Insert_Elab_Check -- | |
2219 | ----------------------- | |
2220 | ||
2221 | procedure Insert_Elab_Check (N : Node_Id; C : Node_Id := Empty) is | |
2222 | Nod : Node_Id; | |
2223 | Loc : constant Source_Ptr := Sloc (N); | |
2224 | ||
2225 | begin | |
2226 | -- If expansion is disabled, do not generate any checks. Also | |
2227 | -- skip checks if any subunits are missing because in either | |
2228 | -- case we lack the full information that we need, and no object | |
2229 | -- file will be created in any case. | |
2230 | ||
2231 | if not Expander_Active or else Subunits_Missing then | |
2232 | return; | |
2233 | end if; | |
2234 | ||
2235 | -- If we have a generic instantiation, where Instance_Spec is set, | |
2236 | -- then this field points to a generic instance spec that has | |
2237 | -- been inserted before the instantiation node itself, so that | |
2238 | -- is where we want to insert a check. | |
2239 | ||
2240 | if Nkind (N) in N_Generic_Instantiation | |
2241 | and then Present (Instance_Spec (N)) | |
2242 | then | |
2243 | Nod := Instance_Spec (N); | |
2244 | else | |
2245 | Nod := N; | |
2246 | end if; | |
2247 | ||
2248 | -- If we are inserting at the top level, insert in Aux_Decls | |
2249 | ||
2250 | if Nkind (Parent (Nod)) = N_Compilation_Unit then | |
2251 | declare | |
2252 | ADN : constant Node_Id := Aux_Decls_Node (Parent (Nod)); | |
2253 | R : Node_Id; | |
2254 | ||
2255 | begin | |
2256 | if No (C) then | |
f15731c4 | 2257 | R := |
2258 | Make_Raise_Program_Error (Loc, | |
2259 | Reason => PE_Access_Before_Elaboration); | |
d6f39728 | 2260 | else |
f15731c4 | 2261 | R := |
2262 | Make_Raise_Program_Error (Loc, | |
2263 | Condition => Make_Op_Not (Loc, C), | |
2264 | Reason => PE_Access_Before_Elaboration); | |
d6f39728 | 2265 | end if; |
2266 | ||
2267 | if No (Declarations (ADN)) then | |
2268 | Set_Declarations (ADN, New_List (R)); | |
2269 | else | |
2270 | Append_To (Declarations (ADN), R); | |
2271 | end if; | |
2272 | ||
2273 | Analyze (R); | |
2274 | end; | |
2275 | ||
2276 | -- Otherwise just insert before the node in question. However, if | |
2277 | -- the context of the call has already been analyzed, an insertion | |
2278 | -- will not work if it depends on subsequent expansion (e.g. a call in | |
2279 | -- a branch of a short-circuit). In that case we replace the call with | |
2280 | -- a conditional expression, or with a Raise if it is unconditional. | |
2281 | -- Unfortunately this does not work if the call has a dynamic size, | |
2282 | -- because gigi regards it as a dynamic-sized temporary. If such a call | |
2283 | -- appears in a short-circuit expression, the elaboration check will be | |
9dfe12ae | 2284 | -- missed (rare enough ???). Otherwise, the code below inserts the check |
2285 | -- at the appropriate place before the call. Same applies in the even | |
2286 | -- rarer case the return type has a known size but is unconstrained. | |
d6f39728 | 2287 | |
2288 | else | |
2289 | if Nkind (N) = N_Function_Call | |
2290 | and then Analyzed (Parent (N)) | |
2291 | and then Size_Known_At_Compile_Time (Etype (N)) | |
9dfe12ae | 2292 | and then |
2293 | (not Has_Discriminants (Etype (N)) | |
2294 | or else Is_Constrained (Etype (N))) | |
2295 | ||
d6f39728 | 2296 | then |
2297 | declare | |
2298 | Typ : constant Entity_Id := Etype (N); | |
d6f39728 | 2299 | Chk : constant Boolean := Do_Range_Check (N); |
2300 | ||
f15731c4 | 2301 | R : constant Node_Id := |
2302 | Make_Raise_Program_Error (Loc, | |
2303 | Reason => PE_Access_Before_Elaboration); | |
2304 | ||
d6f39728 | 2305 | begin |
2306 | Set_Etype (R, Typ); | |
2307 | ||
2308 | if No (C) then | |
2309 | Rewrite (N, R); | |
2310 | ||
2311 | else | |
2312 | Rewrite (N, | |
2313 | Make_Conditional_Expression (Loc, | |
2314 | Expressions => New_List (C, Relocate_Node (N), R))); | |
2315 | end if; | |
2316 | ||
2317 | Analyze_And_Resolve (N, Typ); | |
2318 | ||
2319 | -- If the original call requires a range check, so does the | |
2320 | -- conditional expression. | |
2321 | ||
2322 | if Chk then | |
2323 | Enable_Range_Check (N); | |
2324 | else | |
2325 | Set_Do_Range_Check (N, False); | |
2326 | end if; | |
2327 | end; | |
2328 | ||
2329 | else | |
2330 | if No (C) then | |
2331 | Insert_Action (Nod, | |
f15731c4 | 2332 | Make_Raise_Program_Error (Loc, |
2333 | Reason => PE_Access_Before_Elaboration)); | |
d6f39728 | 2334 | else |
2335 | Insert_Action (Nod, | |
2336 | Make_Raise_Program_Error (Loc, | |
2337 | Condition => | |
2338 | Make_Op_Not (Loc, | |
f15731c4 | 2339 | Right_Opnd => C), |
2340 | Reason => PE_Access_Before_Elaboration)); | |
d6f39728 | 2341 | end if; |
2342 | end if; | |
2343 | end if; | |
2344 | end Insert_Elab_Check; | |
2345 | ||
2346 | ------------------ | |
2347 | -- Output_Calls -- | |
2348 | ------------------ | |
2349 | ||
2350 | procedure Output_Calls (N : Node_Id) is | |
2351 | Ent : Entity_Id; | |
2352 | ||
2353 | function Is_Printable_Error_Name (Nm : Name_Id) return Boolean; | |
2354 | -- An internal function, used to determine if a name, Nm, is either | |
2355 | -- a non-internal name, or is an internal name that is printable | |
2356 | -- by the error message circuits (i.e. it has a single upper | |
2357 | -- case letter at the end). | |
2358 | ||
2359 | function Is_Printable_Error_Name (Nm : Name_Id) return Boolean is | |
2360 | begin | |
2361 | if not Is_Internal_Name (Nm) then | |
2362 | return True; | |
2363 | ||
2364 | elsif Name_Len = 1 then | |
2365 | return False; | |
2366 | ||
2367 | else | |
2368 | Name_Len := Name_Len - 1; | |
2369 | return not Is_Internal_Name; | |
2370 | end if; | |
2371 | end Is_Printable_Error_Name; | |
2372 | ||
2373 | -- Start of processing for Output_Calls | |
2374 | ||
2375 | begin | |
2376 | for J in reverse 1 .. Elab_Call.Last loop | |
2377 | Error_Msg_Sloc := Elab_Call.Table (J).Cloc; | |
2378 | ||
2379 | Ent := Elab_Call.Table (J).Ent; | |
2380 | ||
2381 | if Is_Generic_Unit (Ent) then | |
2382 | Error_Msg_NE ("\?& instantiated #", N, Ent); | |
2383 | ||
9dfe12ae | 2384 | elsif Is_Init_Proc (Ent) then |
d6f39728 | 2385 | Error_Msg_N ("\?initialization procedure called #", N); |
2386 | ||
2387 | elsif Is_Printable_Error_Name (Chars (Ent)) then | |
2388 | Error_Msg_NE ("\?& called #", N, Ent); | |
2389 | ||
2390 | else | |
2391 | Error_Msg_N ("\? called #", N); | |
2392 | end if; | |
2393 | end loop; | |
2394 | end Output_Calls; | |
2395 | ||
2396 | ---------------------------- | |
2397 | -- Same_Elaboration_Scope -- | |
2398 | ---------------------------- | |
2399 | ||
2400 | function Same_Elaboration_Scope (Scop1, Scop2 : Entity_Id) return Boolean is | |
2401 | S1 : Entity_Id := Scop1; | |
2402 | S2 : Entity_Id := Scop2; | |
2403 | ||
2404 | begin | |
2405 | while S1 /= Standard_Standard | |
2406 | and then (Ekind (S1) = E_Package | |
2407 | or else | |
2408 | Ekind (S1) = E_Block) | |
2409 | loop | |
2410 | S1 := Scope (S1); | |
2411 | end loop; | |
2412 | ||
2413 | while S2 /= Standard_Standard | |
2414 | and then (Ekind (S2) = E_Package | |
2415 | or else | |
2416 | Ekind (S2) = E_Protected_Type | |
2417 | or else | |
2418 | Ekind (S2) = E_Block) | |
2419 | loop | |
2420 | S2 := Scope (S2); | |
2421 | end loop; | |
2422 | ||
2423 | return S1 = S2; | |
2424 | end Same_Elaboration_Scope; | |
2425 | ||
2426 | ----------------- | |
2427 | -- Set_C_Scope -- | |
2428 | ----------------- | |
2429 | ||
2430 | procedure Set_C_Scope is | |
2431 | begin | |
2432 | while not Is_Compilation_Unit (C_Scope) loop | |
2433 | C_Scope := Scope (C_Scope); | |
2434 | end loop; | |
2435 | end Set_C_Scope; | |
2436 | ||
2437 | ----------------- | |
2438 | -- Spec_Entity -- | |
2439 | ----------------- | |
2440 | ||
2441 | function Spec_Entity (E : Entity_Id) return Entity_Id is | |
2442 | Decl : Node_Id; | |
2443 | ||
2444 | begin | |
2445 | -- Check for case of body entity | |
2446 | -- Why is the check for E_Void needed??? | |
2447 | ||
2448 | if Ekind (E) = E_Void | |
2449 | or else Ekind (E) = E_Subprogram_Body | |
2450 | or else Ekind (E) = E_Package_Body | |
2451 | then | |
2452 | Decl := E; | |
2453 | ||
2454 | loop | |
2455 | Decl := Parent (Decl); | |
2456 | exit when Nkind (Decl) in N_Proper_Body; | |
2457 | end loop; | |
2458 | ||
2459 | return Corresponding_Spec (Decl); | |
2460 | ||
2461 | else | |
2462 | return E; | |
2463 | end if; | |
2464 | end Spec_Entity; | |
2465 | ||
2466 | ------------------- | |
2467 | -- Supply_Bodies -- | |
2468 | ------------------- | |
2469 | ||
2470 | procedure Supply_Bodies (N : Node_Id) is | |
2471 | begin | |
2472 | if Nkind (N) = N_Subprogram_Declaration then | |
2473 | declare | |
2474 | Ent : constant Entity_Id := Defining_Unit_Name (Specification (N)); | |
2475 | ||
2476 | begin | |
2477 | Set_Is_Imported (Ent); | |
2478 | Set_Convention (Ent, Convention_Stubbed); | |
2479 | end; | |
2480 | ||
2481 | elsif Nkind (N) = N_Package_Declaration then | |
2482 | declare | |
2483 | Spec : constant Node_Id := Specification (N); | |
2484 | ||
2485 | begin | |
2486 | New_Scope (Defining_Unit_Name (Spec)); | |
2487 | Supply_Bodies (Visible_Declarations (Spec)); | |
2488 | Supply_Bodies (Private_Declarations (Spec)); | |
2489 | Pop_Scope; | |
2490 | end; | |
2491 | end if; | |
2492 | end Supply_Bodies; | |
2493 | ||
2494 | procedure Supply_Bodies (L : List_Id) is | |
2495 | Elmt : Node_Id; | |
2496 | ||
2497 | begin | |
2498 | if Present (L) then | |
2499 | Elmt := First (L); | |
2500 | while Present (Elmt) loop | |
2501 | Supply_Bodies (Elmt); | |
2502 | Next (Elmt); | |
2503 | end loop; | |
2504 | end if; | |
2505 | end Supply_Bodies; | |
2506 | ||
2507 | ------------ | |
2508 | -- Within -- | |
2509 | ------------ | |
2510 | ||
2511 | function Within (E1, E2 : Entity_Id) return Boolean is | |
2512 | Scop : Entity_Id; | |
2513 | ||
2514 | begin | |
2515 | Scop := E1; | |
2516 | ||
2517 | loop | |
2518 | if Scop = E2 then | |
2519 | return True; | |
2520 | ||
2521 | elsif Scop = Standard_Standard then | |
2522 | return False; | |
2523 | ||
2524 | else | |
2525 | Scop := Scope (Scop); | |
2526 | end if; | |
2527 | end loop; | |
2528 | ||
2529 | raise Program_Error; | |
2530 | end Within; | |
2531 | ||
f15731c4 | 2532 | -------------------------- |
2533 | -- Within_Elaborate_All -- | |
2534 | -------------------------- | |
2535 | ||
2536 | function Within_Elaborate_All (E : Entity_Id) return Boolean is | |
2537 | Item : Node_Id; | |
2538 | Item2 : Node_Id; | |
2539 | Elab_Id : Entity_Id; | |
2540 | Par : Node_Id; | |
2541 | ||
2542 | begin | |
2543 | Item := First (Context_Items (Cunit (Current_Sem_Unit))); | |
2544 | ||
2545 | while Present (Item) loop | |
2546 | if Nkind (Item) = N_Pragma | |
2547 | and then Get_Pragma_Id (Chars (Item)) = Pragma_Elaborate_All | |
2548 | then | |
9dfe12ae | 2549 | if Error_Posted (Item) then |
2550 | ||
2551 | -- Some previous error on the pragma itself | |
2552 | ||
2553 | return False; | |
2554 | end if; | |
2555 | ||
f15731c4 | 2556 | Elab_Id := |
2557 | Entity ( | |
2558 | Expression (First (Pragma_Argument_Associations (Item)))); | |
9dfe12ae | 2559 | |
f15731c4 | 2560 | Par := Parent (Unit_Declaration_Node (Elab_Id)); |
2561 | Item2 := First (Context_Items (Par)); | |
2562 | ||
2563 | while Present (Item2) loop | |
2564 | if Nkind (Item2) = N_With_Clause | |
2565 | and then Entity (Name (Item2)) = E | |
2566 | then | |
2567 | return True; | |
2568 | end if; | |
2569 | ||
2570 | Next (Item2); | |
2571 | end loop; | |
2572 | end if; | |
2573 | ||
2574 | Next (Item); | |
2575 | end loop; | |
2576 | ||
2577 | return False; | |
2578 | end Within_Elaborate_All; | |
2579 | ||
d6f39728 | 2580 | end Sem_Elab; |