checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c

[smatch/bkmgit.git] / validation / optim / kill-stores2.c

extern void def(int *);

static void foo(void)
{
        int c;
        def(&c);
        if (c)
                c = c;
}

/*
 * check-name: kill-stores2
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-excludes: store\\.
 */