example: OP_COPY must destroy any old pseudo state

[smatch.git] / validation / bad-array-designated-initializer.c

static int a[] = {
        [0] = 0,                // OK
        [\0] = 1,               // KO
};