diff options
| author | Nihal Jere <nihal@nihaljere.xyz> | 2024-04-27 14:47:15 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2024-04-27 15:34:03 -0700 |
| commit | 4f206ac1ea1b20400fa242f2f3be86237c4ba3bf (patch) | |
| tree | 2dc2742c051e6601874fc699265da40fd51bd5e5 /init.c | |
| parent | 487079af3d6f39b379f52f7e0ea6edec63587e5b (diff) | |
Implement variable length arrays
Variably modified types are required for C23.
Since QBE doesn't currently support saving and restoring the stack
pointer, a current limitation is that we can't reclaim stack space
from VLAs that go out of scope. This is potentially problematic for
VLAs appearing in a loop, but this case is uncommon enough that it
is silently ignored for now.
Implements: https://todo.sr.ht/~mcf/cproc/1
References: https://todo.sr.ht/~mcf/cproc/88
Co-authored-by: Michael Forney <mforney@mforney.org>
Diffstat (limited to 'init.c')
| -rw-r--r-- | init.c | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -206,8 +206,12 @@ parseinit(struct scope *s, struct type *t) p.sub->iscur = false; p.init = NULL; p.last = &p.init; - if (t->incomplete && t->kind != TYPEARRAY) - error(&tok.loc, "initializer specified for incomplete type"); + if (t->incomplete) { + if (t->kind != TYPEARRAY) + error(&tok.loc, "initializer specified for incomplete type"); + } else if (t->kind == TYPEARRAY && t->size == 0) { + error(&tok.loc, "initializer specified for variable length array type"); + } for (;;) { if (p.cur) { if (tok.kind == TLBRACK || tok.kind == TPERIOD) |