https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98026
--- Comment #4 from Andrew Macleod <amacleod at redhat dot com> ---
> void f4(signed int i,unsigned int j) {
> if (i > 100) return;
> if (j > i) return;
>
> if (j > 100) link_error();
if i is -2 (0xfffffffe) and j is 0xffffffffff (-1)
then link error cant be removed.. ?
