Hide the warning from GCC's BUG