/* PR target/108292 */

typedef unsigned V __attribute__((__vector_size__(64)));

V x;

int main() {
    if (sizeof(unsigned) * __CHAR_BIT__ != 32)
        return 0;
    __builtin_sub_overflow(0, 6, &x[5]);
    x >>= ((V){} != x) & 31;
    for (unsigned i = 0; i < 16; i++)
        if (x[i] != (i == 5))
            __builtin_abort();
    return 0;
}
