C++: Add further vector_size attribute tests

Matthew Gretton-Dann · Matthew Gretton-Dann · commit cc016d583d2d · 2019-09-27T11:28:31.000+01:00
diff --git a/cpp/ql/test/library-tests/vector_sizes/code.c b/cpp/ql/test/library-tests/vector_sizes/code.c
@@ -0,0 +1,6 @@
+// semmle-extractor-options: --clang
+void builtin(void) {
+  __attribute__((vector_size(16U))) int vec2 = { 0, 1, 2, 3 };
+  __attribute__((vector_size(16UL))) int vec = { 0, 1, 2, 3 };
+  __builtin_shufflevector(vec, vec, 3, 2, 1, 0); 
+}
diff --git a/cpp/ql/test/library-tests/vector_sizes/test.expected b/cpp/ql/test/library-tests/vector_sizes/test.expected
@@ -0,0 +1,3 @@
+| file://:0:0:0:0 | __attribute((vector_size(16))) int | 4 |
+| file://:0:0:0:0 | __attribute((vector_size(16U))) int | 4 |
+| file://:0:0:0:0 | __attribute((vector_size(16UL))) int | 4 |
diff --git a/cpp/ql/test/library-tests/vector_sizes/test.ql b/cpp/ql/test/library-tests/vector_sizes/test.ql
@@ -0,0 +1,4 @@
+import cpp
+
+from GNUVectorType gvt
+select gvt, gvt.getNumElements()

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+\| file://:0:0:0:0 \| __attribute((vector_size(16))) int \| 4 \|`
	`2`	`+\| file://:0:0:0:0 \| __attribute((vector_size(16U))) int \| 4 \|`
	`3`	`+\| file://:0:0:0:0 \| __attribute((vector_size(16UL))) int \| 4 \|`