-Wall was missing a couple of options and -Wrestrict mentioned its negative form as if was enabled by default (it's in -Wall). I just pushed the patch below to correct these minor mistakes:
https://gcc.gnu.org/pipermail/gcc-cvs/2020-April/279540.html Martin
