C++: test that __declspec(guard(...)) doesn't cause extractor errors

Author: nickrolfe

cpp/ql/test/library-tests/declspec/guard/test.cpp

@@ -0,0 +1,8 @@
+// semmle-extractor-options: --edg --microsoft
+
+void f(__declspec(guard(overflow)) size_t length) {
+}
+
+__declspec(guard(ignore))
+void g(void) {
+}

cpp/ql/test/library-tests/declspec/guard/test.expected

@@ -0,0 +1,2 @@
+| test.cpp:3:6:3:6 | f | 0 | length |
+| test.cpp:7:6:7:6 | g | -1 | <none> |

cpp/ql/test/library-tests/declspec/guard/test.ql

@@ -0,0 +1,10 @@
+import cpp
+
+// What we select here isn't too important; we're just testing the
+// __declspec(guard(...)) attributes don't cause extractor errors.
+
+from Function f, string p, int n
+where if f.getNumberOfParameters() = 0
+  then (p = "<none>" and n = -1)
+  else p = f.getParameter(n).toString()
+select f, n, p