C++: Add some simple non-type template tests

Author: Matthew Gretton-Dann

cpp/ql/test/library-tests/templates/nontype_instantiations/classes/test.cpp

@@ -0,0 +1,4 @@
+template <int i>
+class Int { };
+
+Int<10> i;

cpp/ql/test/library-tests/templates/nontype_instantiations/classes/test.expected

@@ -0,0 +1,2 @@
+| test.cpp:2:7:2:9 | Int<10> | file://:0:0:0:0 | int | test.cpp:4:5:4:6 | 10 |
+| test.cpp:2:7:2:9 | Int<i> | file://:0:0:0:0 | int | file://:0:0:0:0 | Unknown literal |

cpp/ql/test/library-tests/templates/nontype_instantiations/classes/test.ql

@@ -0,0 +1,4 @@
+import cpp
+
+from Class c
+select c, c.getATemplateArgument(), c.getATemplateArgumentValue()

cpp/ql/test/library-tests/templates/nontype_instantiations/functions/test.cpp

@@ -0,0 +1,5 @@
+// semmle-extractor-options: --edg --trap_container=folder --edg --trap-compression=none
+template <int i>
+int addToSelf() { return i + i; };
+
+int bar() { return addToSelf<10>(); }

cpp/ql/test/library-tests/templates/nontype_instantiations/functions/test.expected

@@ -0,0 +1,2 @@
+| test.cpp:3:5:3:5 | addToSelf | file://:0:0:0:0 | int | test.cpp:5:30:5:31 | 10 |
+| test.cpp:3:5:3:13 | addToSelf | file://:0:0:0:0 | int | file://:0:0:0:0 | Unknown literal |

cpp/ql/test/library-tests/templates/nontype_instantiations/functions/test.ql

@@ -0,0 +1,4 @@
+import cpp
+
+from Function f
+select f, f.getATemplateArgument(), f.getATemplateArgumentValue()