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

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
here is a more complex example that shows the range should be used:
```
int f12(unsigned int t1)
{
  if (t1 > 1000)
    return t1;
  int t = t1; // [0, 1000]
  float tt = t;
  return tt;
}
```

LLVM is able to optimize this.

Reply via email to