states: add another read_only check
[smatch.git] / validation / attr_vector_size.c
blob69829228a2e040cc3d4d4787ede9d2170babc6f7
1 typedef unsigned int u32;
2 typedef u32 __attribute__((vector_size(16))) sse128_t;
4 /*
5 * check-name: attribute vector_size
6 */