| /* | |
| * Sparse used to get this wrong. | |
| * | |
| * When evaluating the argument to the inline function for the array, Sparse | |
| * didn't properly demote the "char []" to a "char *", but instead it would | |
| * follow the dereference and get a "struct hello". | |
| * | |
| * Which made no sense at all. | |
| */ | |
| static inline int deref(const char *s) | |
| { | |
| return *s; | |
| } | |
| struct hello { | |
| char array[10]; | |
| }; | |
| static int test(struct hello *arg) | |
| { | |
| return deref(arg->array); | |
| } | |
| /* | |
| * check-name: "char []" to "char *" demotion | |
| */ |