[Bug tree-optimization/122186] single_use is too much on some match patterns

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Drea Pinski from comment #5)
> Another testcase for a different pattern:
> ```
> void link_error();
> int f0(int a, int b, int c)
> {
>   int t = b - a;
>   if (t == 0)
>   {
>     if (a + 0 != b)
>       link_error();
>   }
>   return t;
> }
> ```

This one can be fixed differently, it will be fixed via
https://gcc.gnu.org/pipermail/gcc-patches/2026-September/730734.html .