rosenberg: strip away some casting (eliminates a false positive)
[smatch.git] / validation / extern-array.c
blob58bc7ae6861ff54fe34e24a44ac44a99ae2d5bcd
1 extern const char *v4l2_type_names[];
2 const char *v4l2_type_names[] = {
3 "test"
4 };
5 extern const char *v4l2_type_names[];
7 static void test(void)
9 unsigned sz = sizeof(v4l2_type_names);
12 * check-name: duplicate extern array