https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84919
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- On the other side, the warning matches the documented behavior and it might be too difficult to add all the exceptions when we know that the argument will not be really dereferenced.
