locking: tons of locks were ignored because of changes in smatch_helper.c

[smatch.git] / validation / badtype2.c

//typedef int undef;
extern undef bar(void);
static undef foo(char *c)
{
  char p = *c;
  switch (p) {
  default:
    return bar();
  }
}