hooks: add a warning to detect unimplemented hooks
[smatch.git] / validation / generic-bad0.c
blobd11030dbc3be9058218af3fa7365e3c2a6b5de85
1 struct s;
3 void foo(int n)
5 _Generic(n, default: 1, default: 2);
6 _Generic(n, int[n]:0, default:1);
7 _Generic(n, struct s:0, default:1);
8 _Generic(n, void:0, default:1);
9 _Generic(n, void (void):0, default:1);
10 _Generic(&n, int:5, signed int:7, default:23);
11 _Generic(n, void *:5);
15 * check-name: generic-bad0
17 * check-error-start
18 generic-bad0.c:5:33: warning: multiple default in generic expression
19 generic-bad0.c:5:30: note: previous was here
20 generic-bad0.c:6:25: warning: Variable length array is used.
21 generic-bad0.c:6:21: error: variable length array type in generic selection
22 generic-bad0.c:7:21: error: incomplete type in generic selection
23 generic-bad0.c:8:21: error: incomplete type in generic selection
24 generic-bad0.c:9:21: error: function type in generic selection
25 generic-bad0.c:11:17: error: no generic selection for 'int [addressable] n'
26 * check-error-end