smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others

[smatch.git] / validation / linear / bitfield-sign-unsigned.c

struct s {
        int f:2;
};

static int getf(struct s s) { return s.f; }

/*
 * check-name: bitfield-sign-unsigned
 * check-command: test-linearize -fdump-ir=linearize -funsigned-bitfields $file
 *
 * check-output-ignore
 * check-output-contains: zext\\.
 */