[Bug tree-optimization/103079] [12 Regression] wrong code at -Os and -O2 on x86_64-linux-gnu (the generated code hangs) since r12-4871-g502ffb1f389011b2

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

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
> static int c() {
>   if (b)
>     return b;
> }

Yes, one can use the return value as long as the function returns a value.
This means, c() can be used iff b != 0.