From 4ef1add4c20d4b44aa43d0f3a102ee173b7a5e5b Mon Sep 17 00:00:00 2001
From: nsfisis <nsfisis@gmail.com>
Date: Sat, 13 Sep 2025 22:57:25 +0900
Subject: feat: support pointer types with type qualifiers

---
 src/parse.c                  | 27 +++++++++++++++++++++++----
 tests/test_pointer_basics.sh |  1 +
 2 files changed, 24 insertions(+), 4 deletions(-)

diff --git a/src/parse.c b/src/parse.c
index cc0648a..afbb282 100644
--- a/src/parse.c
+++ b/src/parse.c
@@ -873,13 +873,28 @@ static AstNode* parse_if_stmt(Parser* p) {
     return stmt;
 }
 
+// type-qualifier-list:
+//     { type-qualifier }+
+static void parse_type_qualifier_list_opt(Parser* p) {
+    while (1) {
+        Token* tok = peek_token(p);
+        if (tok->kind == TokenKind_keyword_const || tok->kind == TokenKind_keyword_restrict ||
+            tok->kind == TokenKind_keyword_volatile || tok->kind == TokenKind_keyword__Atomic) {
+            // TODO: currently type qualifiers are just ignored.
+            next_token(p);
+        } else {
+            break;
+        }
+    }
+}
+
 // pointer:
-//     '*' TODO attribute-specifier-sequence? TODO type-qualifier-list?
-//     '*' TODO attribute-specifier-sequence? TODO type-qualifier-list? pointer
+//     { '*' TODO attribute-specifier-sequence? type-qualifier-list? }+
 static Type* parse_pointer_opt(Parser* p, Type* ty) {
     while (peek_token(p)->kind == TokenKind_star) {
         next_token(p);
         ty = type_new_ptr(ty);
+        parse_type_qualifier_list_opt(p);
     }
     return ty;
 }
@@ -1744,7 +1759,7 @@ static Type* distinguish_type_from_type_specifiers(int type_specifiers) {
     else if (type_specifiers == TypeSpecifierMask_typedef_name)
         return NULL;
     else if (type_specifiers == 0)
-        fatal_error("no type specifiers");
+        return NULL;
     else
         unimplemented();
 }
@@ -1828,8 +1843,9 @@ static Type* parse_declaration_specifiers(Parser* p) {
     int type_specifiers = 0;
     Type* ty = NULL;
 
+    Token* tok;
     while (1) {
-        Token* tok = peek_token(p);
+        tok = peek_token(p);
 
         // storage-class-spciefier
         if (tok->kind == TokenKind_keyword_auto) {
@@ -2010,6 +2026,9 @@ static Type* parse_declaration_specifiers(Parser* p) {
     if (ty_) {
         ty = ty_;
     }
+    if (!ty) {
+        fatal_error("%s:%d: no type specifiers", tok->loc.filename, tok->loc.line);
+    }
 
     ty->storage_class = storage_class;
     return ty;
diff --git a/tests/test_pointer_basics.sh b/tests/test_pointer_basics.sh
index 2f34821..2b0beef 100644
--- a/tests/test_pointer_basics.sh
+++ b/tests/test_pointer_basics.sh
@@ -17,6 +17,7 @@ int main() {
     char*** a20;
     long*** a22;
     void*** a24;
+    int* const* const* a25;
     return 0;
 }
 EOF
-- 
cgit v1.2.3-70-g09d2