mirrors
/
chibicc
mirror of https://github.com/rui314/chibicc
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Support sizeof(typename) where typename is a VLA

This commit is contained in:
Rui Ueyama 2020-08-25 09:34:41 +09:00
parent 07f901057f
commit 2fa8f489f3
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
parse.c
View File

@ -2841,8 +2841,16 @@ static Node *primary(Token **rest, Token *tok) {
if (equal(tok, "sizeof") && equal(tok->next, "(") && is_typename(tok->next->next)) {
Type *ty = typename(&tok, tok->next->next);
*rest = skip(tok, ")");
if (ty->kind == TY_VLA)
return new_var_node(ty->vla_size, tok);
if (ty->kind == TY_VLA) {
if (ty->vla_size)
return new_var_node(ty->vla_size, tok);
Node *lhs = compute_vla_size(ty, tok);
Node *rhs = new_var_node(ty->vla_size, tok);
return new_binary(ND_COMMA, lhs, rhs, tok);
}
return new_ulong(ty->size, start);
}

2
test/vla.c
View File

@ -19,6 +19,8 @@ int main() {
ASSERT(5, ({ int n=10; int x[n+1][n+6]; int *p=x; for (int i = 0; i<sizeof(x)/4; i++) p[i]=i; x[0][5]; }));
ASSERT(5*16+2, ({ int n=10; int x[n+1][n+6]; int *p=x; for (int i = 0; i<sizeof(x)/4; i++) p[i]=i; x[5][2]; }));
ASSERT(10, ({ int n=5; sizeof(char[2][n]); }));
printf("OK\n");
return 0;
}