https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18487
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> --- And then there is the case of endless loops in such functions (either unconditional, or ones the compiler is not able to detect), exit calls, both either directly in the const/pure function or in some function it calls. So in all, I'm afraid such a warning would diagnose only the most trivial cases.
