1*c87b03e5Sespie /* stu.c -- Implementation File (module.c template V1.0)
2*c87b03e5Sespie Copyright (C) 1995, 1996, 1997, 2002 Free Software Foundation, Inc.
3*c87b03e5Sespie Contributed by James Craig Burley.
4*c87b03e5Sespie
5*c87b03e5Sespie This file is part of GNU Fortran.
6*c87b03e5Sespie
7*c87b03e5Sespie GNU Fortran is free software; you can redistribute it and/or modify
8*c87b03e5Sespie it under the terms of the GNU General Public License as published by
9*c87b03e5Sespie the Free Software Foundation; either version 2, or (at your option)
10*c87b03e5Sespie any later version.
11*c87b03e5Sespie
12*c87b03e5Sespie GNU Fortran is distributed in the hope that it will be useful,
13*c87b03e5Sespie but WITHOUT ANY WARRANTY; without even the implied warranty of
14*c87b03e5Sespie MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15*c87b03e5Sespie GNU General Public License for more details.
16*c87b03e5Sespie
17*c87b03e5Sespie You should have received a copy of the GNU General Public License
18*c87b03e5Sespie along with GNU Fortran; see the file COPYING. If not, write to
19*c87b03e5Sespie the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20*c87b03e5Sespie 02111-1307, USA.
21*c87b03e5Sespie
22*c87b03e5Sespie */
23*c87b03e5Sespie
24*c87b03e5Sespie /* Include files. */
25*c87b03e5Sespie
26*c87b03e5Sespie #include "proj.h"
27*c87b03e5Sespie #include "bld.h"
28*c87b03e5Sespie #include "com.h"
29*c87b03e5Sespie #include "equiv.h"
30*c87b03e5Sespie #include "global.h"
31*c87b03e5Sespie #include "info.h"
32*c87b03e5Sespie #include "implic.h"
33*c87b03e5Sespie #include "intrin.h"
34*c87b03e5Sespie #include "stu.h"
35*c87b03e5Sespie #include "storag.h"
36*c87b03e5Sespie #include "sta.h"
37*c87b03e5Sespie #include "symbol.h"
38*c87b03e5Sespie #include "target.h"
39*c87b03e5Sespie
40*c87b03e5Sespie /* Externals defined here. */
41*c87b03e5Sespie
42*c87b03e5Sespie
43*c87b03e5Sespie /* Simple definitions and enumerations. */
44*c87b03e5Sespie
45*c87b03e5Sespie
46*c87b03e5Sespie /* Internal typedefs. */
47*c87b03e5Sespie
48*c87b03e5Sespie
49*c87b03e5Sespie /* Private include files. */
50*c87b03e5Sespie
51*c87b03e5Sespie
52*c87b03e5Sespie /* Internal structure definitions. */
53*c87b03e5Sespie
54*c87b03e5Sespie
55*c87b03e5Sespie /* Static objects accessed by functions in this module. */
56*c87b03e5Sespie
57*c87b03e5Sespie
58*c87b03e5Sespie /* Static functions (internal). */
59*c87b03e5Sespie
60*c87b03e5Sespie static void ffestu_list_exec_transition_ (ffebld list);
61*c87b03e5Sespie static bool ffestu_symter_end_transition_ (ffebld expr);
62*c87b03e5Sespie static bool ffestu_symter_exec_transition_ (ffebld expr);
63*c87b03e5Sespie static bool ffestu_dummies_transition_ (ffesymbol (*symfunc) (ffesymbol),
64*c87b03e5Sespie ffebld list);
65*c87b03e5Sespie
66*c87b03e5Sespie /* Internal macros. */
67*c87b03e5Sespie
68*c87b03e5Sespie #define ffestu_equiv_(s) (((ffesymbol_equiv (s) == NULL) \
69*c87b03e5Sespie || (ffeequiv_common (ffesymbol_equiv (s)) == NULL)) ? FFEINFO_whereLOCAL \
70*c87b03e5Sespie : FFEINFO_whereCOMMON)
71*c87b03e5Sespie
72*c87b03e5Sespie /* Update symbol info just before end of unit. */
73*c87b03e5Sespie
74*c87b03e5Sespie ffesymbol
ffestu_sym_end_transition(ffesymbol s)75*c87b03e5Sespie ffestu_sym_end_transition (ffesymbol s)
76*c87b03e5Sespie {
77*c87b03e5Sespie ffeinfoKind skd;
78*c87b03e5Sespie ffeinfoWhere swh;
79*c87b03e5Sespie ffeinfoKind nkd;
80*c87b03e5Sespie ffeinfoWhere nwh;
81*c87b03e5Sespie ffesymbolAttrs sa;
82*c87b03e5Sespie ffesymbolAttrs na;
83*c87b03e5Sespie ffesymbolState ss;
84*c87b03e5Sespie ffesymbolState ns;
85*c87b03e5Sespie bool needs_type = TRUE; /* Implicit type assignment might be
86*c87b03e5Sespie necessary. */
87*c87b03e5Sespie
88*c87b03e5Sespie assert (s != NULL);
89*c87b03e5Sespie ss = ffesymbol_state (s);
90*c87b03e5Sespie sa = ffesymbol_attrs (s);
91*c87b03e5Sespie skd = ffesymbol_kind (s);
92*c87b03e5Sespie swh = ffesymbol_where (s);
93*c87b03e5Sespie
94*c87b03e5Sespie switch (ss)
95*c87b03e5Sespie {
96*c87b03e5Sespie case FFESYMBOL_stateUNCERTAIN:
97*c87b03e5Sespie if ((swh == FFEINFO_whereDUMMY)
98*c87b03e5Sespie && (ffesymbol_numentries (s) == 0))
99*c87b03e5Sespie { /* Not actually in any dummy list! */
100*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
101*c87b03e5Sespie return s;
102*c87b03e5Sespie }
103*c87b03e5Sespie else if (((swh == FFEINFO_whereLOCAL)
104*c87b03e5Sespie || (swh == FFEINFO_whereNONE))
105*c87b03e5Sespie && (skd == FFEINFO_kindENTITY)
106*c87b03e5Sespie && ffestu_symter_end_transition_ (ffesymbol_dims (s)))
107*c87b03e5Sespie { /* Bad dimension expressions. */
108*c87b03e5Sespie ffesymbol_error (s, NULL);
109*c87b03e5Sespie return s;
110*c87b03e5Sespie }
111*c87b03e5Sespie break;
112*c87b03e5Sespie
113*c87b03e5Sespie case FFESYMBOL_stateUNDERSTOOD:
114*c87b03e5Sespie if ((swh == FFEINFO_whereLOCAL)
115*c87b03e5Sespie && ((skd == FFEINFO_kindFUNCTION)
116*c87b03e5Sespie || (skd == FFEINFO_kindSUBROUTINE)))
117*c87b03e5Sespie {
118*c87b03e5Sespie int n_args;
119*c87b03e5Sespie ffebld list;
120*c87b03e5Sespie ffebld item;
121*c87b03e5Sespie ffeglobalArgSummary as;
122*c87b03e5Sespie ffeinfoBasictype bt;
123*c87b03e5Sespie ffeinfoKindtype kt;
124*c87b03e5Sespie bool array;
125*c87b03e5Sespie const char *name = NULL;
126*c87b03e5Sespie
127*c87b03e5Sespie ffestu_dummies_transition_ (ffecom_sym_end_transition,
128*c87b03e5Sespie ffesymbol_dummyargs (s));
129*c87b03e5Sespie
130*c87b03e5Sespie n_args = ffebld_list_length (ffesymbol_dummyargs (s));
131*c87b03e5Sespie ffeglobal_proc_def_nargs (s, n_args);
132*c87b03e5Sespie for (list = ffesymbol_dummyargs (s), n_args = 0;
133*c87b03e5Sespie list != NULL;
134*c87b03e5Sespie list = ffebld_trail (list), ++n_args)
135*c87b03e5Sespie {
136*c87b03e5Sespie item = ffebld_head (list);
137*c87b03e5Sespie array = FALSE;
138*c87b03e5Sespie if (item != NULL)
139*c87b03e5Sespie {
140*c87b03e5Sespie bt = ffeinfo_basictype (ffebld_info (item));
141*c87b03e5Sespie kt = ffeinfo_kindtype (ffebld_info (item));
142*c87b03e5Sespie array = (ffeinfo_rank (ffebld_info (item)) > 0);
143*c87b03e5Sespie switch (ffebld_op (item))
144*c87b03e5Sespie {
145*c87b03e5Sespie case FFEBLD_opSTAR:
146*c87b03e5Sespie as = FFEGLOBAL_argsummaryALTRTN;
147*c87b03e5Sespie break;
148*c87b03e5Sespie
149*c87b03e5Sespie case FFEBLD_opSYMTER:
150*c87b03e5Sespie name = ffesymbol_text (ffebld_symter (item));
151*c87b03e5Sespie as = FFEGLOBAL_argsummaryNONE;
152*c87b03e5Sespie
153*c87b03e5Sespie switch (ffeinfo_kind (ffebld_info (item)))
154*c87b03e5Sespie {
155*c87b03e5Sespie case FFEINFO_kindFUNCTION:
156*c87b03e5Sespie as = FFEGLOBAL_argsummaryFUNC;
157*c87b03e5Sespie break;
158*c87b03e5Sespie
159*c87b03e5Sespie case FFEINFO_kindSUBROUTINE:
160*c87b03e5Sespie as = FFEGLOBAL_argsummarySUBR;
161*c87b03e5Sespie break;
162*c87b03e5Sespie
163*c87b03e5Sespie case FFEINFO_kindNONE:
164*c87b03e5Sespie as = FFEGLOBAL_argsummaryPROC;
165*c87b03e5Sespie break;
166*c87b03e5Sespie
167*c87b03e5Sespie default:
168*c87b03e5Sespie break;
169*c87b03e5Sespie }
170*c87b03e5Sespie
171*c87b03e5Sespie if (as != FFEGLOBAL_argsummaryNONE)
172*c87b03e5Sespie break;
173*c87b03e5Sespie
174*c87b03e5Sespie /* Fall through. */
175*c87b03e5Sespie default:
176*c87b03e5Sespie if (bt == FFEINFO_basictypeCHARACTER)
177*c87b03e5Sespie as = FFEGLOBAL_argsummaryDESCR;
178*c87b03e5Sespie else
179*c87b03e5Sespie as = FFEGLOBAL_argsummaryREF;
180*c87b03e5Sespie break;
181*c87b03e5Sespie }
182*c87b03e5Sespie }
183*c87b03e5Sespie else
184*c87b03e5Sespie {
185*c87b03e5Sespie as = FFEGLOBAL_argsummaryNONE;
186*c87b03e5Sespie bt = FFEINFO_basictypeNONE;
187*c87b03e5Sespie kt = FFEINFO_kindtypeNONE;
188*c87b03e5Sespie }
189*c87b03e5Sespie ffeglobal_proc_def_arg (s, n_args, name, as, bt, kt, array);
190*c87b03e5Sespie }
191*c87b03e5Sespie }
192*c87b03e5Sespie else if (swh == FFEINFO_whereDUMMY)
193*c87b03e5Sespie {
194*c87b03e5Sespie if (ffesymbol_numentries (s) == 0)
195*c87b03e5Sespie { /* Not actually in any dummy list! */
196*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
197*c87b03e5Sespie return s;
198*c87b03e5Sespie }
199*c87b03e5Sespie if (ffestu_symter_end_transition_ (ffesymbol_dims (s)))
200*c87b03e5Sespie { /* Bad dimension expressions. */
201*c87b03e5Sespie ffesymbol_error (s, NULL);
202*c87b03e5Sespie return s;
203*c87b03e5Sespie }
204*c87b03e5Sespie }
205*c87b03e5Sespie else if ((swh == FFEINFO_whereLOCAL)
206*c87b03e5Sespie && ffestu_symter_end_transition_ (ffesymbol_dims (s)))
207*c87b03e5Sespie { /* Bad dimension expressions. */
208*c87b03e5Sespie ffesymbol_error (s, NULL);
209*c87b03e5Sespie return s;
210*c87b03e5Sespie }
211*c87b03e5Sespie
212*c87b03e5Sespie ffestorag_end_layout (s);
213*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
214*c87b03e5Sespie return s;
215*c87b03e5Sespie
216*c87b03e5Sespie default:
217*c87b03e5Sespie assert ("bad status" == NULL);
218*c87b03e5Sespie return s;
219*c87b03e5Sespie }
220*c87b03e5Sespie
221*c87b03e5Sespie ns = FFESYMBOL_stateUNDERSTOOD;
222*c87b03e5Sespie na = sa = ffesymbol_attrs (s);
223*c87b03e5Sespie
224*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsACTUALARG
225*c87b03e5Sespie | FFESYMBOL_attrsADJUSTABLE
226*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
227*c87b03e5Sespie | FFESYMBOL_attrsARRAY
228*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
229*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
230*c87b03e5Sespie | FFESYMBOL_attrsSFARG
231*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
232*c87b03e5Sespie
233*c87b03e5Sespie nkd = skd;
234*c87b03e5Sespie nwh = swh;
235*c87b03e5Sespie
236*c87b03e5Sespie /* Figure out what kind of object we've got based on previous declarations
237*c87b03e5Sespie of or references to the object. */
238*c87b03e5Sespie
239*c87b03e5Sespie if (sa & FFESYMBOL_attrsEXTERNAL)
240*c87b03e5Sespie {
241*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsACTUALARG
242*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
243*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
244*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
245*c87b03e5Sespie
246*c87b03e5Sespie if (sa & FFESYMBOL_attrsTYPE)
247*c87b03e5Sespie nwh = FFEINFO_whereGLOBAL;
248*c87b03e5Sespie else
249*c87b03e5Sespie /* Not TYPE. */
250*c87b03e5Sespie {
251*c87b03e5Sespie if (sa & FFESYMBOL_attrsDUMMY)
252*c87b03e5Sespie { /* Not TYPE. */
253*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN; /* FUNCTION/SUBROUTINE. */
254*c87b03e5Sespie needs_type = FALSE; /* Don't assign type to SUBROUTINE! */
255*c87b03e5Sespie }
256*c87b03e5Sespie else if (sa & FFESYMBOL_attrsACTUALARG)
257*c87b03e5Sespie { /* Not DUMMY or TYPE. */
258*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN; /* FUNCTION/SUBROUTINE. */
259*c87b03e5Sespie needs_type = FALSE; /* Don't assign type to SUBROUTINE! */
260*c87b03e5Sespie }
261*c87b03e5Sespie else
262*c87b03e5Sespie /* Not ACTUALARG, DUMMY, or TYPE. */
263*c87b03e5Sespie { /* This is an assumption, essentially. */
264*c87b03e5Sespie nkd = FFEINFO_kindBLOCKDATA;
265*c87b03e5Sespie nwh = FFEINFO_whereGLOBAL;
266*c87b03e5Sespie needs_type = FALSE;
267*c87b03e5Sespie }
268*c87b03e5Sespie }
269*c87b03e5Sespie }
270*c87b03e5Sespie else if (sa & FFESYMBOL_attrsDUMMY)
271*c87b03e5Sespie {
272*c87b03e5Sespie assert (!(sa & FFESYMBOL_attrsEXTERNAL)); /* Handled above. */
273*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsDUMMY
274*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
275*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
276*c87b03e5Sespie
277*c87b03e5Sespie /* Honestly, this appears to be a guess. I can't find anyplace in the
278*c87b03e5Sespie standard that makes clear whether this unreferenced dummy argument
279*c87b03e5Sespie is an ENTITY or a FUNCTION. And yet, for the f2c interface, picking
280*c87b03e5Sespie one is critical for CHARACTER entities because it determines whether
281*c87b03e5Sespie to expect an additional argument specifying the length of an ENTITY
282*c87b03e5Sespie that is not expected (or needed) for a FUNCTION. HOWEVER, F90 makes
283*c87b03e5Sespie this guess a correct one, and it does seem that the Section 18 Notes
284*c87b03e5Sespie in Appendix B of F77 make it clear the F77 standard at least
285*c87b03e5Sespie intended to make this guess correct as well, so this seems ok. */
286*c87b03e5Sespie
287*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
288*c87b03e5Sespie }
289*c87b03e5Sespie else if (sa & FFESYMBOL_attrsARRAY)
290*c87b03e5Sespie {
291*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsARRAY
292*c87b03e5Sespie | FFESYMBOL_attrsADJUSTABLE
293*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
294*c87b03e5Sespie
295*c87b03e5Sespie if (ffestu_symter_end_transition_ (ffesymbol_dims (s)))
296*c87b03e5Sespie {
297*c87b03e5Sespie ffesymbol_error (s, NULL);
298*c87b03e5Sespie return s;
299*c87b03e5Sespie }
300*c87b03e5Sespie
301*c87b03e5Sespie if (sa & FFESYMBOL_attrsADJUSTABLE)
302*c87b03e5Sespie { /* Not actually in any dummy list! */
303*c87b03e5Sespie if (ffe_is_pedantic ()
304*c87b03e5Sespie /* xgettext:no-c-format */
305*c87b03e5Sespie && ffebad_start_msg ("Local adjustable symbol `%A' at %0",
306*c87b03e5Sespie FFEBAD_severityPEDANTIC))
307*c87b03e5Sespie {
308*c87b03e5Sespie ffebad_string (ffesymbol_text (s));
309*c87b03e5Sespie ffebad_here (0, ffesymbol_where_line (s),
310*c87b03e5Sespie ffesymbol_where_column (s));
311*c87b03e5Sespie ffebad_finish ();
312*c87b03e5Sespie }
313*c87b03e5Sespie }
314*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
315*c87b03e5Sespie }
316*c87b03e5Sespie else if (sa & FFESYMBOL_attrsSFARG)
317*c87b03e5Sespie {
318*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsSFARG
319*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
320*c87b03e5Sespie
321*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
322*c87b03e5Sespie }
323*c87b03e5Sespie else if (sa & FFESYMBOL_attrsTYPE)
324*c87b03e5Sespie {
325*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsARRAY
326*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
327*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
328*c87b03e5Sespie | FFESYMBOL_attrsSFARG))); /* Handled above. */
329*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsTYPE
330*c87b03e5Sespie | FFESYMBOL_attrsADJUSTABLE
331*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
332*c87b03e5Sespie | FFESYMBOL_attrsARRAY
333*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
334*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
335*c87b03e5Sespie | FFESYMBOL_attrsSFARG)));
336*c87b03e5Sespie
337*c87b03e5Sespie if (sa & FFESYMBOL_attrsANYLEN)
338*c87b03e5Sespie { /* Can't touch this. */
339*c87b03e5Sespie ffesymbol_signal_change (s);
340*c87b03e5Sespie ffesymbol_set_state (s, FFESYMBOL_stateUNDERSTOOD);
341*c87b03e5Sespie ffesymbol_resolve_intrin (s);
342*c87b03e5Sespie s = ffecom_sym_learned (s);
343*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
344*c87b03e5Sespie ffestorag_end_layout (s);
345*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
346*c87b03e5Sespie return s;
347*c87b03e5Sespie }
348*c87b03e5Sespie
349*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
350*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
351*c87b03e5Sespie }
352*c87b03e5Sespie else
353*c87b03e5Sespie assert ("unexpected attribute set" == NULL);
354*c87b03e5Sespie
355*c87b03e5Sespie /* Now see what we've got for a new object: NONE means a new error cropped
356*c87b03e5Sespie up; ANY means an old error to be ignored; otherwise, everything's ok,
357*c87b03e5Sespie update the object (symbol) and continue on. */
358*c87b03e5Sespie
359*c87b03e5Sespie if (na == FFESYMBOL_attrsetNONE)
360*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
361*c87b03e5Sespie else if (!(na & FFESYMBOL_attrsANY))
362*c87b03e5Sespie {
363*c87b03e5Sespie ffesymbol_signal_change (s);
364*c87b03e5Sespie ffesymbol_set_attrs (s, na); /* Establish new info. */
365*c87b03e5Sespie ffesymbol_set_state (s, ns);
366*c87b03e5Sespie ffesymbol_set_info (s,
367*c87b03e5Sespie ffeinfo_new (ffesymbol_basictype (s),
368*c87b03e5Sespie ffesymbol_kindtype (s),
369*c87b03e5Sespie ffesymbol_rank (s),
370*c87b03e5Sespie nkd,
371*c87b03e5Sespie nwh,
372*c87b03e5Sespie ffesymbol_size (s)));
373*c87b03e5Sespie if (needs_type && !ffeimplic_establish_symbol (s))
374*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
375*c87b03e5Sespie else
376*c87b03e5Sespie ffesymbol_resolve_intrin (s);
377*c87b03e5Sespie s = ffecom_sym_learned (s);
378*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
379*c87b03e5Sespie ffestorag_end_layout (s);
380*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
381*c87b03e5Sespie }
382*c87b03e5Sespie
383*c87b03e5Sespie return s;
384*c87b03e5Sespie }
385*c87b03e5Sespie
386*c87b03e5Sespie /* ffestu_sym_exec_transition -- Update symbol just before first exec stmt
387*c87b03e5Sespie
388*c87b03e5Sespie ffesymbol s;
389*c87b03e5Sespie ffestu_sym_exec_transition(s); */
390*c87b03e5Sespie
391*c87b03e5Sespie ffesymbol
ffestu_sym_exec_transition(ffesymbol s)392*c87b03e5Sespie ffestu_sym_exec_transition (ffesymbol s)
393*c87b03e5Sespie {
394*c87b03e5Sespie ffeinfoKind skd;
395*c87b03e5Sespie ffeinfoWhere swh;
396*c87b03e5Sespie ffeinfoKind nkd;
397*c87b03e5Sespie ffeinfoWhere nwh;
398*c87b03e5Sespie ffesymbolAttrs sa;
399*c87b03e5Sespie ffesymbolAttrs na;
400*c87b03e5Sespie ffesymbolState ss;
401*c87b03e5Sespie ffesymbolState ns;
402*c87b03e5Sespie ffeintrinGen gen;
403*c87b03e5Sespie ffeintrinSpec spec;
404*c87b03e5Sespie ffeintrinImp imp;
405*c87b03e5Sespie bool needs_type = TRUE; /* Implicit type assignment might be
406*c87b03e5Sespie necessary. */
407*c87b03e5Sespie bool resolve_intrin = TRUE; /* Might need to resolve intrinsic. */
408*c87b03e5Sespie
409*c87b03e5Sespie assert (s != NULL);
410*c87b03e5Sespie
411*c87b03e5Sespie sa = ffesymbol_attrs (s);
412*c87b03e5Sespie skd = ffesymbol_kind (s);
413*c87b03e5Sespie swh = ffesymbol_where (s);
414*c87b03e5Sespie ss = ffesymbol_state (s);
415*c87b03e5Sespie
416*c87b03e5Sespie switch (ss)
417*c87b03e5Sespie {
418*c87b03e5Sespie case FFESYMBOL_stateNONE:
419*c87b03e5Sespie return s; /* Assume caller will handle it. */
420*c87b03e5Sespie
421*c87b03e5Sespie case FFESYMBOL_stateSEEN:
422*c87b03e5Sespie break;
423*c87b03e5Sespie
424*c87b03e5Sespie case FFESYMBOL_stateUNCERTAIN:
425*c87b03e5Sespie ffestorag_exec_layout (s);
426*c87b03e5Sespie return s; /* Already processed this one, or not
427*c87b03e5Sespie necessary. */
428*c87b03e5Sespie
429*c87b03e5Sespie case FFESYMBOL_stateUNDERSTOOD:
430*c87b03e5Sespie if (skd == FFEINFO_kindNAMELIST)
431*c87b03e5Sespie {
432*c87b03e5Sespie ffebld_end_list (ffesymbol_ptr_to_listbottom (s));
433*c87b03e5Sespie ffestu_list_exec_transition_ (ffesymbol_namelist (s));
434*c87b03e5Sespie }
435*c87b03e5Sespie else if ((swh == FFEINFO_whereLOCAL)
436*c87b03e5Sespie && ((skd == FFEINFO_kindFUNCTION)
437*c87b03e5Sespie || (skd == FFEINFO_kindSUBROUTINE)))
438*c87b03e5Sespie {
439*c87b03e5Sespie ffestu_dummies_transition_ (ffecom_sym_exec_transition,
440*c87b03e5Sespie ffesymbol_dummyargs (s));
441*c87b03e5Sespie if ((skd == FFEINFO_kindFUNCTION)
442*c87b03e5Sespie && !ffeimplic_establish_symbol (s))
443*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
444*c87b03e5Sespie }
445*c87b03e5Sespie
446*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
447*c87b03e5Sespie ffestorag_exec_layout (s);
448*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
449*c87b03e5Sespie return s;
450*c87b03e5Sespie
451*c87b03e5Sespie default:
452*c87b03e5Sespie assert ("bad status" == NULL);
453*c87b03e5Sespie return s;
454*c87b03e5Sespie }
455*c87b03e5Sespie
456*c87b03e5Sespie ns = FFESYMBOL_stateUNDERSTOOD; /* Only a few UNCERTAIN exceptions. */
457*c87b03e5Sespie
458*c87b03e5Sespie na = sa;
459*c87b03e5Sespie nkd = skd;
460*c87b03e5Sespie nwh = swh;
461*c87b03e5Sespie
462*c87b03e5Sespie assert (!(sa & FFESYMBOL_attrsANY));
463*c87b03e5Sespie
464*c87b03e5Sespie if (sa & FFESYMBOL_attrsCOMMON)
465*c87b03e5Sespie {
466*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS
467*c87b03e5Sespie | FFESYMBOL_attrsARRAY
468*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
469*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
470*c87b03e5Sespie | FFESYMBOL_attrsINIT
471*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
472*c87b03e5Sespie | FFESYMBOL_attrsSFARG
473*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
474*c87b03e5Sespie
475*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
476*c87b03e5Sespie nwh = FFEINFO_whereCOMMON;
477*c87b03e5Sespie }
478*c87b03e5Sespie else if (sa & FFESYMBOL_attrsRESULT)
479*c87b03e5Sespie { /* Result variable for function. */
480*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsANYLEN
481*c87b03e5Sespie | FFESYMBOL_attrsRESULT
482*c87b03e5Sespie | FFESYMBOL_attrsSFARG
483*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
484*c87b03e5Sespie
485*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
486*c87b03e5Sespie nwh = FFEINFO_whereRESULT;
487*c87b03e5Sespie }
488*c87b03e5Sespie else if (sa & FFESYMBOL_attrsSFUNC)
489*c87b03e5Sespie { /* Statement function. */
490*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsSFUNC
491*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
492*c87b03e5Sespie
493*c87b03e5Sespie nkd = FFEINFO_kindFUNCTION;
494*c87b03e5Sespie nwh = FFEINFO_whereCONSTANT;
495*c87b03e5Sespie }
496*c87b03e5Sespie else if (sa & FFESYMBOL_attrsEXTERNAL)
497*c87b03e5Sespie {
498*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsDUMMY
499*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
500*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
501*c87b03e5Sespie
502*c87b03e5Sespie if (sa & FFESYMBOL_attrsTYPE)
503*c87b03e5Sespie {
504*c87b03e5Sespie nkd = FFEINFO_kindFUNCTION;
505*c87b03e5Sespie
506*c87b03e5Sespie if (sa & FFESYMBOL_attrsDUMMY)
507*c87b03e5Sespie nwh = FFEINFO_whereDUMMY;
508*c87b03e5Sespie else
509*c87b03e5Sespie {
510*c87b03e5Sespie if (ffesta_is_entry_valid)
511*c87b03e5Sespie {
512*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, GLOBAL. */
513*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
514*c87b03e5Sespie }
515*c87b03e5Sespie else
516*c87b03e5Sespie nwh = FFEINFO_whereGLOBAL;
517*c87b03e5Sespie }
518*c87b03e5Sespie }
519*c87b03e5Sespie else
520*c87b03e5Sespie /* No TYPE. */
521*c87b03e5Sespie {
522*c87b03e5Sespie nkd = FFEINFO_kindNONE; /* FUNCTION, SUBROUTINE, BLOCKDATA. */
523*c87b03e5Sespie needs_type = FALSE; /* Only gets type if FUNCTION. */
524*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
525*c87b03e5Sespie
526*c87b03e5Sespie if (sa & FFESYMBOL_attrsDUMMY)
527*c87b03e5Sespie nwh = FFEINFO_whereDUMMY; /* Not BLOCKDATA. */
528*c87b03e5Sespie else
529*c87b03e5Sespie {
530*c87b03e5Sespie if (ffesta_is_entry_valid)
531*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, GLOBAL. */
532*c87b03e5Sespie else
533*c87b03e5Sespie nwh = FFEINFO_whereGLOBAL;
534*c87b03e5Sespie }
535*c87b03e5Sespie }
536*c87b03e5Sespie }
537*c87b03e5Sespie else if (sa & FFESYMBOL_attrsDUMMY)
538*c87b03e5Sespie {
539*c87b03e5Sespie assert (!(sa & FFESYMBOL_attrsEXTERNAL)); /* Handled above. */
540*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTABLE /* Possible. */
541*c87b03e5Sespie | FFESYMBOL_attrsADJUSTS /* Possible. */
542*c87b03e5Sespie | FFESYMBOL_attrsANYLEN /* Possible. */
543*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE /* Possible. */
544*c87b03e5Sespie | FFESYMBOL_attrsARRAY /* Possible. */
545*c87b03e5Sespie | FFESYMBOL_attrsDUMMY /* Have it. */
546*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
547*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Possible. */
548*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
549*c87b03e5Sespie
550*c87b03e5Sespie nwh = FFEINFO_whereDUMMY;
551*c87b03e5Sespie
552*c87b03e5Sespie if (ffestu_symter_exec_transition_ (ffesymbol_dims (s)))
553*c87b03e5Sespie na = FFESYMBOL_attrsetNONE;
554*c87b03e5Sespie
555*c87b03e5Sespie if (sa & (FFESYMBOL_attrsADJUSTS
556*c87b03e5Sespie | FFESYMBOL_attrsARRAY
557*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
558*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
559*c87b03e5Sespie | FFESYMBOL_attrsSFARG))
560*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
561*c87b03e5Sespie else if (sa & FFESYMBOL_attrsDUMMY) /* Still okay. */
562*c87b03e5Sespie {
563*c87b03e5Sespie if (!(sa & FFESYMBOL_attrsTYPE))
564*c87b03e5Sespie needs_type = FALSE; /* Don't assign type to SUBROUTINE! */
565*c87b03e5Sespie nkd = FFEINFO_kindNONE; /* ENTITY, FUNCTION, SUBROUTINE. */
566*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
567*c87b03e5Sespie }
568*c87b03e5Sespie }
569*c87b03e5Sespie else if (sa & FFESYMBOL_attrsADJUSTS)
570*c87b03e5Sespie { /* Must be DUMMY or COMMON at some point. */
571*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsCOMMON
572*c87b03e5Sespie | FFESYMBOL_attrsDUMMY))); /* Handled above. */
573*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS /* Have it. */
574*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
575*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
576*c87b03e5Sespie | FFESYMBOL_attrsEQUIV /* Possible. */
577*c87b03e5Sespie | FFESYMBOL_attrsINIT /* Possible. */
578*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST /* Possible. */
579*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Possible. */
580*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
581*c87b03e5Sespie
582*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
583*c87b03e5Sespie
584*c87b03e5Sespie if (sa & FFESYMBOL_attrsEQUIV)
585*c87b03e5Sespie {
586*c87b03e5Sespie if ((ffesymbol_equiv (s) == NULL)
587*c87b03e5Sespie || (ffeequiv_common (ffesymbol_equiv (s)) == NULL))
588*c87b03e5Sespie na = FFESYMBOL_attrsetNONE; /* Not equiv'd into COMMON. */
589*c87b03e5Sespie else
590*c87b03e5Sespie nwh = FFEINFO_whereCOMMON;
591*c87b03e5Sespie }
592*c87b03e5Sespie else if (!ffesta_is_entry_valid
593*c87b03e5Sespie || (sa & (FFESYMBOL_attrsINIT
594*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST)))
595*c87b03e5Sespie na = FFESYMBOL_attrsetNONE;
596*c87b03e5Sespie else
597*c87b03e5Sespie nwh = FFEINFO_whereDUMMY;
598*c87b03e5Sespie }
599*c87b03e5Sespie else if (sa & FFESYMBOL_attrsSAVE)
600*c87b03e5Sespie {
601*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsARRAY
602*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
603*c87b03e5Sespie | FFESYMBOL_attrsINIT
604*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
605*c87b03e5Sespie | FFESYMBOL_attrsSAVE
606*c87b03e5Sespie | FFESYMBOL_attrsSFARG
607*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
608*c87b03e5Sespie
609*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
610*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
611*c87b03e5Sespie }
612*c87b03e5Sespie else if (sa & FFESYMBOL_attrsEQUIV)
613*c87b03e5Sespie {
614*c87b03e5Sespie assert (!(sa & FFESYMBOL_attrsCOMMON)); /* Handled above. */
615*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS /* Possible. */
616*c87b03e5Sespie | FFESYMBOL_attrsARRAY /* Possible. */
617*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
618*c87b03e5Sespie | FFESYMBOL_attrsEQUIV /* Have it. */
619*c87b03e5Sespie | FFESYMBOL_attrsINIT /* Possible. */
620*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST /* Possible. */
621*c87b03e5Sespie | FFESYMBOL_attrsSAVE /* Possible. */
622*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Possible. */
623*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
624*c87b03e5Sespie
625*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
626*c87b03e5Sespie nwh = ffestu_equiv_ (s);
627*c87b03e5Sespie }
628*c87b03e5Sespie else if (sa & FFESYMBOL_attrsNAMELIST)
629*c87b03e5Sespie {
630*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTS
631*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
632*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
633*c87b03e5Sespie | FFESYMBOL_attrsSAVE))); /* Handled above. */
634*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS
635*c87b03e5Sespie | FFESYMBOL_attrsARRAY /* Possible. */
636*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
637*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
638*c87b03e5Sespie | FFESYMBOL_attrsINIT /* Possible. */
639*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST /* Have it. */
640*c87b03e5Sespie | FFESYMBOL_attrsSAVE
641*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Possible. */
642*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
643*c87b03e5Sespie
644*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
645*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
646*c87b03e5Sespie }
647*c87b03e5Sespie else if (sa & FFESYMBOL_attrsINIT)
648*c87b03e5Sespie {
649*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTS
650*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
651*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
652*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
653*c87b03e5Sespie | FFESYMBOL_attrsSAVE))); /* Handled above. */
654*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS
655*c87b03e5Sespie | FFESYMBOL_attrsARRAY /* Possible. */
656*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
657*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
658*c87b03e5Sespie | FFESYMBOL_attrsINIT /* Have it. */
659*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
660*c87b03e5Sespie | FFESYMBOL_attrsSAVE
661*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Possible. */
662*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
663*c87b03e5Sespie
664*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
665*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
666*c87b03e5Sespie }
667*c87b03e5Sespie else if (sa & FFESYMBOL_attrsSFARG)
668*c87b03e5Sespie {
669*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTS
670*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
671*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
672*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
673*c87b03e5Sespie | FFESYMBOL_attrsINIT
674*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
675*c87b03e5Sespie | FFESYMBOL_attrsRESULT
676*c87b03e5Sespie | FFESYMBOL_attrsSAVE))); /* Handled above. */
677*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTS
678*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
679*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
680*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
681*c87b03e5Sespie | FFESYMBOL_attrsINIT
682*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
683*c87b03e5Sespie | FFESYMBOL_attrsRESULT
684*c87b03e5Sespie | FFESYMBOL_attrsSAVE
685*c87b03e5Sespie | FFESYMBOL_attrsSFARG /* Have it. */
686*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
687*c87b03e5Sespie
688*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
689*c87b03e5Sespie
690*c87b03e5Sespie if (ffesta_is_entry_valid)
691*c87b03e5Sespie {
692*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, LOCAL. */
693*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
694*c87b03e5Sespie }
695*c87b03e5Sespie else
696*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
697*c87b03e5Sespie }
698*c87b03e5Sespie else if (sa & (FFESYMBOL_attrsADJUSTABLE | FFESYMBOL_attrsANYSIZE))
699*c87b03e5Sespie {
700*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTABLE
701*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
702*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
703*c87b03e5Sespie | FFESYMBOL_attrsARRAY
704*c87b03e5Sespie | FFESYMBOL_attrsTYPE)));
705*c87b03e5Sespie
706*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
707*c87b03e5Sespie
708*c87b03e5Sespie if (ffestu_symter_exec_transition_ (ffesymbol_dims (s)))
709*c87b03e5Sespie na = FFESYMBOL_attrsetNONE;
710*c87b03e5Sespie
711*c87b03e5Sespie if (sa & (FFESYMBOL_attrsANYLEN | FFESYMBOL_attrsANYSIZE))
712*c87b03e5Sespie nwh = FFEINFO_whereDUMMY;
713*c87b03e5Sespie else if (sa & (FFESYMBOL_attrsADJUSTABLE | FFESYMBOL_attrsANYSIZE))
714*c87b03e5Sespie /* Still okay. */
715*c87b03e5Sespie {
716*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, LOCAL. */
717*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
718*c87b03e5Sespie }
719*c87b03e5Sespie }
720*c87b03e5Sespie else if (sa & FFESYMBOL_attrsARRAY)
721*c87b03e5Sespie {
722*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTABLE
723*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
724*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
725*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
726*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
727*c87b03e5Sespie | FFESYMBOL_attrsINIT
728*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
729*c87b03e5Sespie | FFESYMBOL_attrsSAVE))); /* Handled above. */
730*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTABLE
731*c87b03e5Sespie | FFESYMBOL_attrsANYLEN /* Possible. */
732*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
733*c87b03e5Sespie | FFESYMBOL_attrsARRAY /* Have it. */
734*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
735*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
736*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
737*c87b03e5Sespie | FFESYMBOL_attrsINIT
738*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
739*c87b03e5Sespie | FFESYMBOL_attrsSAVE
740*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Possible. */
741*c87b03e5Sespie
742*c87b03e5Sespie nkd = FFEINFO_kindENTITY;
743*c87b03e5Sespie
744*c87b03e5Sespie if (sa & FFESYMBOL_attrsANYLEN)
745*c87b03e5Sespie {
746*c87b03e5Sespie assert (ffesta_is_entry_valid); /* Already diagnosed. */
747*c87b03e5Sespie nwh = FFEINFO_whereDUMMY;
748*c87b03e5Sespie }
749*c87b03e5Sespie else
750*c87b03e5Sespie {
751*c87b03e5Sespie if (ffesta_is_entry_valid)
752*c87b03e5Sespie {
753*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, LOCAL. */
754*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
755*c87b03e5Sespie }
756*c87b03e5Sespie else
757*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
758*c87b03e5Sespie }
759*c87b03e5Sespie }
760*c87b03e5Sespie else if (sa & FFESYMBOL_attrsANYLEN)
761*c87b03e5Sespie {
762*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTABLE
763*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
764*c87b03e5Sespie | FFESYMBOL_attrsARRAY
765*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
766*c87b03e5Sespie | FFESYMBOL_attrsRESULT))); /* Handled above. */
767*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTABLE
768*c87b03e5Sespie | FFESYMBOL_attrsANYLEN /* Have it. */
769*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
770*c87b03e5Sespie | FFESYMBOL_attrsARRAY
771*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
772*c87b03e5Sespie | FFESYMBOL_attrsRESULT
773*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Have it too. */
774*c87b03e5Sespie
775*c87b03e5Sespie if (ffesta_is_entry_valid)
776*c87b03e5Sespie {
777*c87b03e5Sespie nkd = FFEINFO_kindNONE; /* ENTITY, FUNCTION. */
778*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, INTRINSIC, RESULT. */
779*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
780*c87b03e5Sespie resolve_intrin = FALSE;
781*c87b03e5Sespie }
782*c87b03e5Sespie else if (ffeintrin_is_intrinsic (ffesymbol_text (s), NULL, FALSE,
783*c87b03e5Sespie &gen, &spec, &imp))
784*c87b03e5Sespie {
785*c87b03e5Sespie ffesymbol_signal_change (s);
786*c87b03e5Sespie ffesymbol_set_state (s, FFESYMBOL_stateUNDERSTOOD);
787*c87b03e5Sespie ffesymbol_set_generic (s, gen);
788*c87b03e5Sespie ffesymbol_set_specific (s, spec);
789*c87b03e5Sespie ffesymbol_set_implementation (s, imp);
790*c87b03e5Sespie ffesymbol_set_info (s,
791*c87b03e5Sespie ffeinfo_new (FFEINFO_basictypeNONE,
792*c87b03e5Sespie FFEINFO_kindtypeNONE,
793*c87b03e5Sespie 0,
794*c87b03e5Sespie FFEINFO_kindNONE,
795*c87b03e5Sespie FFEINFO_whereINTRINSIC,
796*c87b03e5Sespie FFETARGET_charactersizeNONE));
797*c87b03e5Sespie ffesymbol_resolve_intrin (s);
798*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
799*c87b03e5Sespie ffestorag_exec_layout (s);
800*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
801*c87b03e5Sespie return s;
802*c87b03e5Sespie }
803*c87b03e5Sespie else
804*c87b03e5Sespie { /* SPECIAL: can't have CHAR*(*) var in
805*c87b03e5Sespie PROGRAM/BLOCKDATA, unless it isn't
806*c87b03e5Sespie referenced anywhere in the code. */
807*c87b03e5Sespie ffesymbol_signal_change (s); /* Can't touch this. */
808*c87b03e5Sespie ffesymbol_set_state (s, FFESYMBOL_stateUNDERSTOOD);
809*c87b03e5Sespie ffesymbol_resolve_intrin (s);
810*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
811*c87b03e5Sespie ffestorag_exec_layout (s);
812*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
813*c87b03e5Sespie return s;
814*c87b03e5Sespie }
815*c87b03e5Sespie }
816*c87b03e5Sespie else if (sa & FFESYMBOL_attrsTYPE)
817*c87b03e5Sespie {
818*c87b03e5Sespie assert (!(sa & (FFESYMBOL_attrsADJUSTABLE
819*c87b03e5Sespie | FFESYMBOL_attrsADJUSTS
820*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
821*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
822*c87b03e5Sespie | FFESYMBOL_attrsARRAY
823*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
824*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
825*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
826*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
827*c87b03e5Sespie | FFESYMBOL_attrsINIT
828*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
829*c87b03e5Sespie | FFESYMBOL_attrsRESULT
830*c87b03e5Sespie | FFESYMBOL_attrsSAVE
831*c87b03e5Sespie | FFESYMBOL_attrsSFARG
832*c87b03e5Sespie | FFESYMBOL_attrsSFUNC)));
833*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsADJUSTABLE
834*c87b03e5Sespie | FFESYMBOL_attrsADJUSTS
835*c87b03e5Sespie | FFESYMBOL_attrsANYLEN
836*c87b03e5Sespie | FFESYMBOL_attrsANYSIZE
837*c87b03e5Sespie | FFESYMBOL_attrsARRAY
838*c87b03e5Sespie | FFESYMBOL_attrsCOMMON
839*c87b03e5Sespie | FFESYMBOL_attrsDUMMY
840*c87b03e5Sespie | FFESYMBOL_attrsEQUIV
841*c87b03e5Sespie | FFESYMBOL_attrsEXTERNAL
842*c87b03e5Sespie | FFESYMBOL_attrsINIT
843*c87b03e5Sespie | FFESYMBOL_attrsINTRINSIC /* UNDERSTOOD. */
844*c87b03e5Sespie | FFESYMBOL_attrsNAMELIST
845*c87b03e5Sespie | FFESYMBOL_attrsRESULT
846*c87b03e5Sespie | FFESYMBOL_attrsSAVE
847*c87b03e5Sespie | FFESYMBOL_attrsSFARG
848*c87b03e5Sespie | FFESYMBOL_attrsSFUNC
849*c87b03e5Sespie | FFESYMBOL_attrsTYPE))); /* Have it. */
850*c87b03e5Sespie
851*c87b03e5Sespie nkd = FFEINFO_kindNONE; /* ENTITY, FUNCTION. */
852*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, GLOBAL, INTRINSIC, LOCAL, RESULT. */
853*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN;
854*c87b03e5Sespie resolve_intrin = FALSE;
855*c87b03e5Sespie }
856*c87b03e5Sespie else if (sa & (FFESYMBOL_attrsCBLOCK | FFESYMBOL_attrsSAVECBLOCK))
857*c87b03e5Sespie { /* COMMON block. */
858*c87b03e5Sespie assert (!(sa & ~(FFESYMBOL_attrsCBLOCK
859*c87b03e5Sespie | FFESYMBOL_attrsSAVECBLOCK)));
860*c87b03e5Sespie
861*c87b03e5Sespie if (sa & FFESYMBOL_attrsCBLOCK)
862*c87b03e5Sespie ffebld_end_list (ffesymbol_ptr_to_listbottom (s));
863*c87b03e5Sespie else
864*c87b03e5Sespie ffesymbol_set_commonlist (s, NULL);
865*c87b03e5Sespie ffestu_list_exec_transition_ (ffesymbol_commonlist (s));
866*c87b03e5Sespie nkd = FFEINFO_kindCOMMON;
867*c87b03e5Sespie nwh = FFEINFO_whereLOCAL;
868*c87b03e5Sespie needs_type = FALSE;
869*c87b03e5Sespie }
870*c87b03e5Sespie else
871*c87b03e5Sespie { /* First seen in stmt func definition. */
872*c87b03e5Sespie assert (sa == FFESYMBOL_attrsetNONE);
873*c87b03e5Sespie assert ("Why are we here again?" == NULL); /* ~~~~~ */
874*c87b03e5Sespie
875*c87b03e5Sespie nkd = FFEINFO_kindNONE; /* ENTITY, FUNCTION. */
876*c87b03e5Sespie nwh = FFEINFO_whereNONE; /* DUMMY, GLOBAL, LOCAL. */
877*c87b03e5Sespie ns = FFESYMBOL_stateUNCERTAIN; /* Will get repromoted by caller. */
878*c87b03e5Sespie needs_type = FALSE;
879*c87b03e5Sespie }
880*c87b03e5Sespie
881*c87b03e5Sespie if (na == FFESYMBOL_attrsetNONE)
882*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
883*c87b03e5Sespie else if (!(na & FFESYMBOL_attrsANY)
884*c87b03e5Sespie && (needs_type || (nkd != skd) || (nwh != swh)
885*c87b03e5Sespie || (na != sa) || (ns != ss)))
886*c87b03e5Sespie {
887*c87b03e5Sespie ffesymbol_signal_change (s);
888*c87b03e5Sespie ffesymbol_set_attrs (s, na); /* Establish new info. */
889*c87b03e5Sespie ffesymbol_set_state (s, ns);
890*c87b03e5Sespie if ((ffesymbol_common (s) == NULL)
891*c87b03e5Sespie && (ffesymbol_equiv (s) != NULL))
892*c87b03e5Sespie ffesymbol_set_common (s, ffeequiv_common (ffesymbol_equiv (s)));
893*c87b03e5Sespie ffesymbol_set_info (s,
894*c87b03e5Sespie ffeinfo_new (ffesymbol_basictype (s),
895*c87b03e5Sespie ffesymbol_kindtype (s),
896*c87b03e5Sespie ffesymbol_rank (s),
897*c87b03e5Sespie nkd,
898*c87b03e5Sespie nwh,
899*c87b03e5Sespie ffesymbol_size (s)));
900*c87b03e5Sespie if (needs_type && !ffeimplic_establish_symbol (s))
901*c87b03e5Sespie ffesymbol_error (s, ffesta_tokens[0]);
902*c87b03e5Sespie else if (resolve_intrin)
903*c87b03e5Sespie ffesymbol_resolve_intrin (s);
904*c87b03e5Sespie ffesymbol_reference (s, NULL, FALSE);
905*c87b03e5Sespie ffestorag_exec_layout (s);
906*c87b03e5Sespie ffesymbol_signal_unreported (s); /* For debugging purposes. */
907*c87b03e5Sespie }
908*c87b03e5Sespie
909*c87b03e5Sespie return s;
910*c87b03e5Sespie }
911*c87b03e5Sespie
912*c87b03e5Sespie /* ffestu_list_exec_transition_ -- Update SYMTERs in ITEM list w/in symbol
913*c87b03e5Sespie
914*c87b03e5Sespie ffebld list;
915*c87b03e5Sespie ffestu_list_exec_transition_(list);
916*c87b03e5Sespie
917*c87b03e5Sespie list contains an FFEBLD_opITEM list of SYMTERs (possibly STARs and
918*c87b03e5Sespie other things, too, but we'll ignore the known ones). For each SYMTER,
919*c87b03e5Sespie we run sym_exec_transition_ on the corresponding ffesymbol (a recursive
920*c87b03e5Sespie call, since that's the function that's calling us) to update it's
921*c87b03e5Sespie information. Then we copy that information into the SYMTER.
922*c87b03e5Sespie
923*c87b03e5Sespie Make sure we don't get called recursively ourselves! */
924*c87b03e5Sespie
925*c87b03e5Sespie static void
ffestu_list_exec_transition_(ffebld list)926*c87b03e5Sespie ffestu_list_exec_transition_ (ffebld list)
927*c87b03e5Sespie {
928*c87b03e5Sespie static bool in_progress = FALSE;
929*c87b03e5Sespie ffebld item;
930*c87b03e5Sespie ffesymbol symbol;
931*c87b03e5Sespie
932*c87b03e5Sespie assert (!in_progress);
933*c87b03e5Sespie in_progress = TRUE;
934*c87b03e5Sespie
935*c87b03e5Sespie for (; list != NULL; list = ffebld_trail (list))
936*c87b03e5Sespie {
937*c87b03e5Sespie if ((item = ffebld_head (list)) == NULL)
938*c87b03e5Sespie continue; /* Try next item. */
939*c87b03e5Sespie
940*c87b03e5Sespie switch (ffebld_op (item))
941*c87b03e5Sespie {
942*c87b03e5Sespie case FFEBLD_opSTAR:
943*c87b03e5Sespie break;
944*c87b03e5Sespie
945*c87b03e5Sespie case FFEBLD_opSYMTER:
946*c87b03e5Sespie symbol = ffebld_symter (item);
947*c87b03e5Sespie if (symbol == NULL)
948*c87b03e5Sespie break; /* Detached from stmt func dummy list. */
949*c87b03e5Sespie symbol = ffecom_sym_exec_transition (symbol);
950*c87b03e5Sespie assert (ffesymbol_kind (symbol) != FFEINFO_kindNONE);
951*c87b03e5Sespie assert (ffesymbol_where (symbol) != FFEINFO_whereNONE);
952*c87b03e5Sespie ffebld_set_info (item, ffesymbol_info (symbol));
953*c87b03e5Sespie break;
954*c87b03e5Sespie
955*c87b03e5Sespie default:
956*c87b03e5Sespie assert ("Unexpected item on list" == NULL);
957*c87b03e5Sespie break;
958*c87b03e5Sespie }
959*c87b03e5Sespie }
960*c87b03e5Sespie
961*c87b03e5Sespie in_progress = FALSE;
962*c87b03e5Sespie }
963*c87b03e5Sespie
964*c87b03e5Sespie /* ffestu_symter_end_transition_ -- Update SYMTERs in expr w/in symbol
965*c87b03e5Sespie
966*c87b03e5Sespie ffebld expr;
967*c87b03e5Sespie ffestu_symter_end_transition_(expr);
968*c87b03e5Sespie
969*c87b03e5Sespie Any SYMTER in expr's tree with whereNONE gets updated to the
970*c87b03e5Sespie (recursively transitioned) sym it identifies (DUMMY or COMMON). */
971*c87b03e5Sespie
972*c87b03e5Sespie static bool
ffestu_symter_end_transition_(ffebld expr)973*c87b03e5Sespie ffestu_symter_end_transition_ (ffebld expr)
974*c87b03e5Sespie {
975*c87b03e5Sespie ffesymbol symbol;
976*c87b03e5Sespie bool any = FALSE;
977*c87b03e5Sespie
978*c87b03e5Sespie /* Label used for tail recursion (reset expr and go here instead of calling
979*c87b03e5Sespie self). */
980*c87b03e5Sespie
981*c87b03e5Sespie tail: /* :::::::::::::::::::: */
982*c87b03e5Sespie
983*c87b03e5Sespie if (expr == NULL)
984*c87b03e5Sespie return any;
985*c87b03e5Sespie
986*c87b03e5Sespie switch (ffebld_op (expr))
987*c87b03e5Sespie {
988*c87b03e5Sespie case FFEBLD_opITEM:
989*c87b03e5Sespie while (ffebld_trail (expr) != NULL)
990*c87b03e5Sespie {
991*c87b03e5Sespie if (ffestu_symter_end_transition_ (ffebld_head (expr)))
992*c87b03e5Sespie any = TRUE;
993*c87b03e5Sespie expr = ffebld_trail (expr);
994*c87b03e5Sespie }
995*c87b03e5Sespie expr = ffebld_head (expr);
996*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
997*c87b03e5Sespie
998*c87b03e5Sespie case FFEBLD_opSYMTER:
999*c87b03e5Sespie symbol = ffecom_sym_end_transition (ffebld_symter (expr));
1000*c87b03e5Sespie if ((symbol != NULL)
1001*c87b03e5Sespie && ffesymbol_attr (symbol, FFESYMBOL_attrANY))
1002*c87b03e5Sespie any = TRUE;
1003*c87b03e5Sespie ffebld_set_info (expr, ffesymbol_info (symbol));
1004*c87b03e5Sespie break;
1005*c87b03e5Sespie
1006*c87b03e5Sespie case FFEBLD_opANY:
1007*c87b03e5Sespie return TRUE;
1008*c87b03e5Sespie
1009*c87b03e5Sespie default:
1010*c87b03e5Sespie break;
1011*c87b03e5Sespie }
1012*c87b03e5Sespie
1013*c87b03e5Sespie switch (ffebld_arity (expr))
1014*c87b03e5Sespie {
1015*c87b03e5Sespie case 2:
1016*c87b03e5Sespie if (ffestu_symter_end_transition_ (ffebld_left (expr)))
1017*c87b03e5Sespie any = TRUE;
1018*c87b03e5Sespie expr = ffebld_right (expr);
1019*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
1020*c87b03e5Sespie
1021*c87b03e5Sespie case 1:
1022*c87b03e5Sespie expr = ffebld_left (expr);
1023*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
1024*c87b03e5Sespie
1025*c87b03e5Sespie default:
1026*c87b03e5Sespie break;
1027*c87b03e5Sespie }
1028*c87b03e5Sespie
1029*c87b03e5Sespie return any;
1030*c87b03e5Sespie }
1031*c87b03e5Sespie
1032*c87b03e5Sespie /* ffestu_symter_exec_transition_ -- Update SYMTERs in expr w/in symbol
1033*c87b03e5Sespie
1034*c87b03e5Sespie ffebld expr;
1035*c87b03e5Sespie ffestu_symter_exec_transition_(expr);
1036*c87b03e5Sespie
1037*c87b03e5Sespie Any SYMTER in expr's tree with whereNONE gets updated to the
1038*c87b03e5Sespie (recursively transitioned) sym it identifies (DUMMY or COMMON). */
1039*c87b03e5Sespie
1040*c87b03e5Sespie static bool
ffestu_symter_exec_transition_(ffebld expr)1041*c87b03e5Sespie ffestu_symter_exec_transition_ (ffebld expr)
1042*c87b03e5Sespie {
1043*c87b03e5Sespie ffesymbol symbol;
1044*c87b03e5Sespie bool any = FALSE;
1045*c87b03e5Sespie
1046*c87b03e5Sespie /* Label used for tail recursion (reset expr and go here instead of calling
1047*c87b03e5Sespie self). */
1048*c87b03e5Sespie
1049*c87b03e5Sespie tail: /* :::::::::::::::::::: */
1050*c87b03e5Sespie
1051*c87b03e5Sespie if (expr == NULL)
1052*c87b03e5Sespie return any;
1053*c87b03e5Sespie
1054*c87b03e5Sespie switch (ffebld_op (expr))
1055*c87b03e5Sespie {
1056*c87b03e5Sespie case FFEBLD_opITEM:
1057*c87b03e5Sespie while (ffebld_trail (expr) != NULL)
1058*c87b03e5Sespie {
1059*c87b03e5Sespie if (ffestu_symter_exec_transition_ (ffebld_head (expr)))
1060*c87b03e5Sespie any = TRUE;
1061*c87b03e5Sespie expr = ffebld_trail (expr);
1062*c87b03e5Sespie }
1063*c87b03e5Sespie expr = ffebld_head (expr);
1064*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
1065*c87b03e5Sespie
1066*c87b03e5Sespie case FFEBLD_opSYMTER:
1067*c87b03e5Sespie symbol = ffecom_sym_exec_transition (ffebld_symter (expr));
1068*c87b03e5Sespie if ((symbol != NULL)
1069*c87b03e5Sespie && ffesymbol_attr (symbol, FFESYMBOL_attrANY))
1070*c87b03e5Sespie any = TRUE;
1071*c87b03e5Sespie ffebld_set_info (expr, ffesymbol_info (symbol));
1072*c87b03e5Sespie break;
1073*c87b03e5Sespie
1074*c87b03e5Sespie case FFEBLD_opANY:
1075*c87b03e5Sespie return TRUE;
1076*c87b03e5Sespie
1077*c87b03e5Sespie default:
1078*c87b03e5Sespie break;
1079*c87b03e5Sespie }
1080*c87b03e5Sespie
1081*c87b03e5Sespie switch (ffebld_arity (expr))
1082*c87b03e5Sespie {
1083*c87b03e5Sespie case 2:
1084*c87b03e5Sespie if (ffestu_symter_exec_transition_ (ffebld_left (expr)))
1085*c87b03e5Sespie any = TRUE;
1086*c87b03e5Sespie expr = ffebld_right (expr);
1087*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
1088*c87b03e5Sespie
1089*c87b03e5Sespie case 1:
1090*c87b03e5Sespie expr = ffebld_left (expr);
1091*c87b03e5Sespie goto tail; /* :::::::::::::::::::: */
1092*c87b03e5Sespie
1093*c87b03e5Sespie default:
1094*c87b03e5Sespie break;
1095*c87b03e5Sespie }
1096*c87b03e5Sespie
1097*c87b03e5Sespie return any;
1098*c87b03e5Sespie }
1099*c87b03e5Sespie
1100*c87b03e5Sespie /* ffestu_dummies_transition_ -- Update SYMTERs in ITEM list w/in entry
1101*c87b03e5Sespie
1102*c87b03e5Sespie ffebld list;
1103*c87b03e5Sespie ffesymbol symfunc(ffesymbol s);
1104*c87b03e5Sespie if (ffestu_dummies_transition_(symfunc,list))
1105*c87b03e5Sespie // One or more items are still UNCERTAIN.
1106*c87b03e5Sespie
1107*c87b03e5Sespie list contains an FFEBLD_opITEM list of SYMTERs (possibly STARs and
1108*c87b03e5Sespie other things, too, but we'll ignore the known ones). For each SYMTER,
1109*c87b03e5Sespie we run symfunc on the corresponding ffesymbol (a recursive
1110*c87b03e5Sespie call, since that's the function that's calling us) to update it's
1111*c87b03e5Sespie information. Then we copy that information into the SYMTER.
1112*c87b03e5Sespie
1113*c87b03e5Sespie Return TRUE if any of the SYMTER's has incomplete information.
1114*c87b03e5Sespie
1115*c87b03e5Sespie Make sure we don't get called recursively ourselves! */
1116*c87b03e5Sespie
1117*c87b03e5Sespie static bool
ffestu_dummies_transition_(ffesymbol (* symfunc)(ffesymbol),ffebld list)1118*c87b03e5Sespie ffestu_dummies_transition_ (ffesymbol (*symfunc) (ffesymbol), ffebld list)
1119*c87b03e5Sespie {
1120*c87b03e5Sespie static bool in_progress = FALSE;
1121*c87b03e5Sespie ffebld item;
1122*c87b03e5Sespie ffesymbol symbol;
1123*c87b03e5Sespie bool uncertain = FALSE;
1124*c87b03e5Sespie
1125*c87b03e5Sespie assert (!in_progress);
1126*c87b03e5Sespie in_progress = TRUE;
1127*c87b03e5Sespie
1128*c87b03e5Sespie for (; list != NULL; list = ffebld_trail (list))
1129*c87b03e5Sespie {
1130*c87b03e5Sespie if ((item = ffebld_head (list)) == NULL)
1131*c87b03e5Sespie continue; /* Try next item. */
1132*c87b03e5Sespie
1133*c87b03e5Sespie switch (ffebld_op (item))
1134*c87b03e5Sespie {
1135*c87b03e5Sespie case FFEBLD_opSTAR:
1136*c87b03e5Sespie break;
1137*c87b03e5Sespie
1138*c87b03e5Sespie case FFEBLD_opSYMTER:
1139*c87b03e5Sespie symbol = ffebld_symter (item);
1140*c87b03e5Sespie if (symbol == NULL)
1141*c87b03e5Sespie break; /* Detached from stmt func dummy list. */
1142*c87b03e5Sespie symbol = (*symfunc) (symbol);
1143*c87b03e5Sespie if (ffesymbol_state (symbol) == FFESYMBOL_stateUNCERTAIN)
1144*c87b03e5Sespie uncertain = TRUE;
1145*c87b03e5Sespie else
1146*c87b03e5Sespie {
1147*c87b03e5Sespie assert (ffesymbol_kind (symbol) != FFEINFO_kindNONE);
1148*c87b03e5Sespie assert (ffesymbol_where (symbol) != FFEINFO_whereNONE);
1149*c87b03e5Sespie }
1150*c87b03e5Sespie ffebld_set_info (item, ffesymbol_info (symbol));
1151*c87b03e5Sespie break;
1152*c87b03e5Sespie
1153*c87b03e5Sespie default:
1154*c87b03e5Sespie assert ("Unexpected item on list" == NULL);
1155*c87b03e5Sespie break;
1156*c87b03e5Sespie }
1157*c87b03e5Sespie }
1158*c87b03e5Sespie
1159*c87b03e5Sespie in_progress = FALSE;
1160*c87b03e5Sespie
1161*c87b03e5Sespie return uncertain;
1162*c87b03e5Sespie }
1163