https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109045
Thiago Macieira <thiago at kde dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |thiago at kde dot org
--- Comment #2 from Thiago Macieira <thiago at kde dot org> ---
GCC doesn't print anything and doesn't take the assumption into account, but
Clang prints:
warning: assumption is ignored because it contains (potential) side-effects
[-Wassume]
8 | [[assume(!r || *r > 0)]];
| ~~~~~~~~~^~~~~~~~~~~~~~~
