https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62206
--- Comment #2 from ori bar <tohava at gmail dot com> --- It can still generate two different functions which are just single jump instructions to the same code. Also, does the C++ standard say that your inequality must be true?