X-Git-Url: https://git.draconx.ca/gitweb/cdecl99.git/blobdiff_plain/8df8a7c4f0b53f9f8bd51a3b80202adeb8031bcd..425ed781f7a27bc415e13a1901899e2c7b11e4c8:/src/parse-decl.c

diff --git a/src/parse-decl.c b/src/parse-decl.c
index 45cf67f..4489532 100644
--- a/src/parse-decl.c
+++ b/src/parse-decl.c
@@ -1,6 +1,6 @@
 /*
  *  Parse and validate C declarations.
- *  Copyright © 2011 Nick Bowler
+ *  Copyright © 2011-2012 Nick Bowler
  *
  *  This program is free software: you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -364,6 +364,27 @@ normalize_specs(struct cdecl_declarator **p, struct cdecl_declarator *d)
 	return 0;
 }
 
+static int
+check_qualifiers(struct cdecl_declarator **p, struct cdecl_declarator *d)
+{
+	struct cdecl_declspec *spec;
+	struct cdecl_pointer *ptr;
+
+	if (!d->child || d->child->type != CDECL_DECL_POINTER)
+		return 0;
+
+	ptr = &d->child->u.pointer;
+	for (spec = ptr->qualifiers; spec; spec = spec->next) {
+		if (spec->type == CDECL_QUAL_RESTRICT
+		    && d->type == CDECL_DECL_FUNCTION) {
+			fprintf(stderr, "function pointers cannot be restrict-qualified\n");
+			return -1;
+		}
+	}
+
+	return 0;
+}
+
 /*
  * Traverse the parse tree, calling a function on every declarator in a
  * depth-first preorder traversal.  The function is given a pointer to the
@@ -445,6 +466,8 @@ struct cdecl *cdecl_parse_decl(const char *declstr)
 			goto err;
 		if (!forall_declarators(i, normalize_specs))
 			goto err;
+		if (!forall_declarators(i, check_qualifiers))
+			goto err;
 
 		if (!valid_declspecs(i, true))
 			goto err;
@@ -494,6 +517,8 @@ struct cdecl *cdecl_parse_english(const char *english)
 			goto err;
 		if (!forall_declarators(i, normalize_specs))
 			goto err;
+		if (!forall_declarators(i, check_qualifiers))
+			goto err;
 
 		if (!valid_declspecs(i, true))
 			goto err;