Don't kill the same pseudo twice.
[smatch.git] / validation / type1.c
blob6b19dc9bd03dfe4005b95a92c84be97c71b4700d
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 int test(struct hello *arg)
23 return deref(arg->array);