?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
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;
3
4 /*
5 * check-name: attribute vector_size
6 */
7
Static analysis for C