https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106783
Patrick O'Neill <patrick at rivosinc dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |patrick at rivosinc dot com --- Comment #9 from Patrick O'Neill <patrick at rivosinc dot com> --- I think this is another example using -Os and -fdump-tree-modref: double a; double b(double c) { return 0 - 0.5 * c ?: a; } Godbolt: https://godbolt.org/z/xWM8eGMjd