blob: 5c06a6eaaf39065fade77228ed7f23d817f98e4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
/* identifies identifiers in this block */
static bool block_enter(Block *b) {
bool ret = true;
arr_foreach(&b->stmts, Statement, stmt) {
if (stmt->kind == STMT_DECL) {
Declaration *decl = &stmt->decl;
arr_foreach(&decl->idents, Identifier, ident) {
Array *decls = &(*ident)->decls;
if (decls->item_sz) {
/* check that it hasn't been declared in this block */
IdentDecl *prev = decls->last;
if (prev->scope == b) {
err_print(decl->where, "Re-declaration of identifier in the same block.");
info_print(prev->decl->where, "Previous declaration was here.");
ret = false;
continue;
}
} else {
/* array not initialized yet */
arr_create(&(*ident)->decls, sizeof(IdentDecl));
}
IdentDecl *ident_decl = arr_add(decls);
ident_decl->decl = decl;
ident_decl->scope = b;
}
}
}
return ret;
}
/* de-identifies identifiers in this block */
static bool block_exit(Block *b) {
/* OPTIM: figure out some way of not re-iterating over everything */
bool ret = true;
arr_foreach(&b->stmts, Statement, stmt) {
if (stmt->kind == STMT_DECL) {
Declaration *decl = &stmt->decl;
arr_foreach(&decl->idents, Identifier, ident) {
Array *decls = &(*ident)->decls;
assert(decls->item_sz);
IdentDecl *last_decl = decls->last;
if (last_decl->scope == b)
arr_remove_last(decls); /* remove that declaration */
}
}
}
return ret;
}
|