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.
