rosenberg_funcs: warn about information leaks to the network
[smatch.git] / validation / generic-dr481.c
bloba2d27b9863fce656eb5d334e6ee9047cee695b99
1 static char const* a = _Generic("bla", char*: "blu");
2 static char const* b = _Generic("bla", char[4]: "blu");
3 static char const* c = _Generic((int const){ 0 }, int: "blu");
4 static char const* d = _Generic((int const){ 0 }, int const: "blu");
5 static char const* e = _Generic(+(int const){ 0 }, int: "blu");
6 static char const* f = _Generic(+(int const){ 0 }, int const: "blu");
8 /*
9 * check-name: generic-dr481
11 * check-error-start
12 generic-dr481.c:2:32: error: no generic selection for 'char *'
13 generic-dr481.c:4:32: error: no generic selection for 'int const [toplevel]'
14 generic-dr481.c:6:32: error: no generic selection for 'int'
15 * check-error-end