diff options
| -rw-r--r-- | c.c | 22 | ||||
| -rw-r--r-- | keywords.def | 1 |
2 files changed, 23 insertions, 0 deletions
@@ -102,6 +102,7 @@ isdecltok(struct comp *cm) case TKWextern: case TKWstatic: case TKWinline: case TKW_Noreturn: case TKWconst: case TKWvolatile: case TKWvoid: case TKWfloat: case TKWdouble: case TKWregister: case TKW_Static_assert: + case TKW__typeof__: case TKWtypeof: case TKWtypeof_unqual: return 1; case TKIDENT: return (decl = finddecl(cm, tk.s)) && decl->scls == SCTYPEDEF; @@ -1837,6 +1838,21 @@ tagtype(struct comp *cm, enum toktag kind) return t; } +static union type +ptypeof(struct comp *cm) +{ + union type ty; + expect(cm, '(', NULL); + if (isdecltok(cm)) { /* typeof (type) */ + struct declstate st = { DCASTEXPR }; + ty = pdecl(&st, cm).ty; + } else { /* typeof (expr) */ + ty = commaexpr(cm).ty; + } + expect(cm, ')', NULL); + return ty; +} + static void declspec(struct declstate *st, struct comp *cm) { @@ -1924,6 +1940,12 @@ declspec(struct declstate *st, struct comp *cm) if (!span.ex.len) span.ex = tk.span.ex; joinspan(&span.ex, tk.span.ex); goto End; + case TKW__typeof__: case TKWtypeof: + lex(cm, &tk); + st->base = ptypeof(cm); + if (!span.ex.len) span.ex = tk.span.ex; + joinspan(&span.ex, tk.span.ex); + goto End; case TKIDENT: if (!st->base.t && !arith && (decl = finddecl(cm, tk.s)) && decl->scls == SCTYPEDEF) { diff --git a/keywords.def b/keywords.def index e0bb92f..258a396 100644 --- a/keywords.def +++ b/keywords.def @@ -13,6 +13,7 @@ _(_Imaginary, STDC99) _(_Noreturn, STDC11) _(_Static_assert, STDC11) _(_Thread_local, STDC11) +_(__typeof__, 0) _(alignas, STDC23) _(alignof, STDC23) _(auto, 0) |