[Bug c/87950] GCC warns about reaching end of non-void function when all switch cases are completely handled

[vlovich at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87950

Vitali <vlovich at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |---

--- Comment #6 from Vitali <vlovich at gmail dot com> ---
Actually as of C++17 it's undefined behaviour.

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1766

so at the very least when compiled with C++17 the compiler should be smart
enough to strengthen the control flow analysis.