/* PR rtl-optimization/112758 */

int a = -__INT_MAX__ - 1;

int main() {
    if (-__INT_MAX__ - 1U == 0x80000000ULL) {
        unsigned long long b = 0xffff00ffffffffffULL;
        if ((b & a) != 0xffff00ff80000000ULL)
            __builtin_abort();
    }
    return 0;
}
