https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63300
--- Comment #2 from Mark Wielaard <mark at gcc dot gnu.org> --- Sorry about that. I added an explicit testcases (gcc/testsuite/gcc.dg/guality/const-volatile.c and gcc/testsuite/gcc.dg/guality/restrict.c) explicitly to catch such issue. But apparently they didn't trigger this particular case.