I see the appended warnings when building with gcc 8.3.1.
$ gcc --version
gcc (GCC) 8.3.1 20190223 (Red Hat 8.3.1-2)
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
CC source/extensions/libosl_la-loop.lo
source/extensions/irregular.c: In function ‘osl_irregular_sprint’:
source/extensions/irregular.c:177:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%d ", buffer, irregular->nb_predicates[i]);
^~~
source/extensions/irregular.c:179:9: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%d ", buffer, irregular->predicates[i][j]);
^~~
source/extensions/irregular.c:181:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s\n", buffer);
^~~
source/extensions/irregular.c:185:5: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%d\n", buffer, irregular->nb_control);
^~~
source/extensions/irregular.c:186:5: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%d\n", buffer, irregular->nb_exit);
^~~
source/extensions/irregular.c:188:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%d ", buffer, irregular->nb_iterators[i]);
^~~
source/extensions/irregular.c:190:9: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s%s ", buffer, irregular->iterators[i][j]);
^~~
source/extensions/irregular.c:191:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
sprintf(buffer, "%s\n%s\n", buffer, irregular->body[i]);
^~~
source/extensions/irregular.c:196:41: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
irregular->nb_control + i]);
^~~~~
source/extensions/irregular.c:199:43: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
irregular->nb_control+i][j]);
^~~~~
source/extensions/irregular.c:201:43: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict]
irregular->nb_control + i]);
I see the appended warnings when building with gcc 8.3.1.
$ gcc --version gcc (GCC) 8.3.1 20190223 (Red Hat 8.3.1-2) Copyright (C) 2018 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
CC source/extensions/libosl_la-loop.lo source/extensions/irregular.c: In function ‘osl_irregular_sprint’: source/extensions/irregular.c:177:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%d ", buffer, irregular->nb_predicates[i]); ^
~~ source/extensions/irregular.c:179:9: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%d ", buffer, irregular->predicates[i][j]); ^~~ source/extensions/irregular.c:181:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s\n", buffer); ^~~ source/extensions/irregular.c:185:5: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%d\n", buffer, irregular->nb_control); ^~~ source/extensions/irregular.c:186:5: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%d\n", buffer, irregular->nb_exit); ^~~ source/extensions/irregular.c:188:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%d ", buffer, irregular->nb_iterators[i]); ^~~ source/extensions/irregular.c:190:9: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s%s ", buffer, irregular->iterators[i][j]); ^~~ source/extensions/irregular.c:191:7: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] sprintf(buffer, "%s\n%s\n", buffer, irregular->body[i]); ^~~ source/extensions/irregular.c:196:41: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] irregular->nb_control + i]); ^~~~~ source/extensions/irregular.c:199:43: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] irregular->nb_control+i][j]); ^~~~~ source/extensions/irregular.c:201:43: warning: passing argument 1 to restrict-qualified parameter aliases with argument 3 [-Wrestrict] irregular->nb_control + i]);