godzil/tack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Now detects use before declaration, f.i. in

Browse Source 
VAR k: REAL;
REAL : INTEGER;
This commit is contained in:
ceriel
1987-10-30 09:19:23 +00:00
parent 14b1915b8c
commit 042d501cf5
6 changed files with 31 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lang/m2/comp/def.c
View File

@@ -96,16 +96,22 @@ define(id, scope, kind)
*/
register t_def *df;
df = lookup(id, scope, 1, 0);
df = lookup(id, scope, 2, 0);
if ( /* Already in this scope */
df
|| /* A closed scope, and id defined in the pervasive scope */
(
scopeclosed(scope)
&&
(df = lookup(id, PervasiveScope, 1, 0)))
(df = lookup(id, PervasiveScope, 2, 0)))
) {
switch(df->df_kind) {
case D_INUSE:
if (kind != D_INUSE) {
error("identifier \"%s\" already used; may not be redefined in this scope", df->df_idf->id_text);
}
return df;
case D_HIDDEN:
/* An opaque type. We may now have found the
definition of this type.