C++: Test fun_decl for INVALID_KEYs

Matthew Gretton-Dann · Matthew Gretton-Dann · commit 692c29d09595 · 2019-10-15T14:47:32.000+01:00
diff --git a/cpp/ql/test/library-tests/fun_decl/compile1.cpp b/cpp/ql/test/library-tests/fun_decl/compile1.cpp
@@ -0,0 +1,7 @@
+#include "fwd.h"
+
+void func1()
+{
+	classA *a = create_an_a();
+}
+
diff --git a/cpp/ql/test/library-tests/fun_decl/compile2.cpp b/cpp/ql/test/library-tests/fun_decl/compile2.cpp
@@ -0,0 +1,15 @@
+#include "fwd.h"
+
+class classA {
+public:
+	~classA() {	}
+};
+
+classA *create_an_a() {
+	return new classA;
+}
+
+void func2()
+{
+	classA *a = create_an_a();
+}
diff --git a/cpp/ql/test/library-tests/fun_decl/fwd.h b/cpp/ql/test/library-tests/fun_decl/fwd.h
@@ -0,0 +1,3 @@
+class classA;
+classA *create_an_a(); // permits creation of a classA while it is an incomplete type.
+typedef classA classA_typedef;
diff --git a/cpp/ql/test/library-tests/fun_decl/test.expected b/cpp/ql/test/library-tests/fun_decl/test.expected
@@ -0,0 +1,8 @@
+| compile1.cpp:3:6:3:10 | func1 |
+| compile2.cpp:3:7:3:7 | operator= |
+| compile2.cpp:5:2:5:8 | ~classA |
+| compile2.cpp:8:9:8:19 | create_an_a |
+| compile2.cpp:12:6:12:10 | func2 |
+| file://:0:0:0:0 | operator new |
+| file://:0:0:0:0 | operator= |
+| file://:0:0:0:0 | operator= |
diff --git a/cpp/ql/test/library-tests/fun_decl/test.ql b/cpp/ql/test/library-tests/fun_decl/test.ql
@@ -0,0 +1,4 @@
+import cpp
+
+from Function f
+select f

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+class classA;`
	`2`	`+classA *create_an_a(); // permits creation of a classA while it is an incomplete type.`
	`3`	`+typedef classA classA_typedef;`