[PATCH] Add support for GCC's __builtin_extract_return_addr function.

[smatch.git] / validation / bad-cast.c

struct st;

static int foo(int a)
{
        return (struct/st *) a;
}