https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128092
--- Comment #1 from Oleksandr Kulkov <adamant.pwn at gmail dot com> ---
Further reduced C++ testcase:
```cpp
[[gnu::noinline]] static unsigned f(unsigned x) { return x; }
[[gnu::noinline]] static unsigned g(int x) { return f(x > 0 ? x : 0); }
int main() { return g(1) + g(0) != 1; }
```
With GCC 16.2.1 20260810 on x86_64 Linux, this incorrectly exits 1 at both
`-O2` and `-O3`. Expected exit status is 0. It passes at `-O1`, with `-O2
-fno-ipa-bit-cp`, and with Clang 23.1.3. The C version using
`__attribute__((noinline))` behaves the same.
