coreboot-kgpe-d16/util/romcc/tests/fail_test1.c

static void main(void)
{
        int i;
        i|=0x80;
}