typedef unsigned __attribute__((__vector_size__(1 * sizeof(unsigned)))) V;

V v;
unsigned char c;

int main(void) {
    V x = (v > 0) > (v != c);
    volatile signed int t = x[0];
    if (t)
        __builtin_abort();
    return 0;
}
