?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
10063 basic support for smatch
[unleashed.git] / usr / src / tools / smatch / src / 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
Unleashed OS