Document -fwarn-pointless-pragmas; fixes #8049