* src/SDCC.y (type_specifier2, pointer),
[fw/sdcc] / support / Util / SDCCerr.c
index ef590fb99379d760410b432dad3e05373baacbb9..6bc3f65027ae86675987281568845de70bf74475 100644 (file)
@@ -436,6 +436,8 @@ struct
    "ISO C forbids an empty source file" },
 { W_BAD_PRAGMA_ARGUMENTS, ERROR_LEVEL_WARNING,
    "#pragma %s: bad argument(s); pragma ignored" },
+{ E_BAD_RESTRICT, ERROR_LEVEL_ERROR,
+   "Only pointers may be qualified with 'restrict'" },
 };
 
 /*