allocate.h: Stop needlessly returning a void value in __DO_ALLOCATOR

[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();
  }
}