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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking,
                   |                            |ice-on-invalid-code

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
We also correctly reject:
bool f(auto... args) {
    [[assume(((args >= 0) ))]];
}

bool g(int a, int b) {
    return f(a, b);
}

Reply via email to