handle label attributes
[smatch.git] / validation / type1.c
blobed49fcef2fb16b45520cb8956cabbfe90b93cfde
1 /*
2 * We get this wrong for some strange reason.
4 * When evaluating the argument to the inline
5 * function for the array, we don't properly
6 * demote the "char []" to a "char *", but instead
7 * we follow the dereference and get a "struct hello".
9 * Which makes no sense at all.
12 static inline int deref(const char *s)
14 return *s;
17 struct hello {
18 char array[10];
21 static int test(struct hello *arg)
23 return deref(arg->array);