[Bug c/104115] Does not understand that inequality is transitive

[thvdveld at vub dot be via Gcc-bugs]

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

--- Comment #2 from Thibaut Vandervelden <thvdveld at vub dot be> ---
Sorry, my bad.