math: use comparisons to handle subtraction better

[smatch.git] / validation / badtype1.c

static void foo(enum bar baz);

/*
 * check-name: enum not in scope
 * check-known-to-fail
 */