CPP: Add a test that uses Function.getAThrownType() and Function.isNoThrow().

Author: geoffw0

cpp/ql/test/library-tests/functions/getathrowntype/getAThrownType.expected

@@ -0,0 +1,11 @@
+| test.cpp:2:6:2:10 | func1 |  | isNoExcept |
+| test.cpp:3:6:3:10 | func2 |  |  |
+| test.cpp:4:6:4:10 | func3 |  |  |
+| test.cpp:5:6:5:10 | func4 |  |  |
+| test.cpp:6:6:6:10 | func5 |  |  |
+| test.cpp:8:6:8:10 | func6 |  | isNoThrow |
+| test.cpp:9:6:9:10 | func7 | int |  |
+| test.cpp:11:6:11:10 | func8 | char, int |  |
+| test.cpp:15:7:15:7 | operator= |  | isNoThrow |
+| test.cpp:15:7:15:7 | operator= |  | isNoThrow |
+| test.cpp:17:7:17:11 | func9 |  | isNoThrow |

cpp/ql/test/library-tests/functions/getathrowntype/getAThrownType.ql

@@ -0,0 +1,15 @@
+import cpp
+
+string describe(Function f) {
+	(
+		f.isNoThrow() and
+		result = "isNoThrow"
+	) or (
+		f.isNoExcept() and
+		result = "isNoExcept"
+	)
+}
+
+from Function f
+where exists(f.getFile())
+select f, concat(f.getAThrownType().toString(), ", "), concat(describe(f), ", ")

cpp/ql/test/library-tests/functions/getathrowntype/test.cpp

@@ -0,0 +1,18 @@
+
+void func1() noexcept;
+void func2() noexcept(true);
+void func3() noexcept(false);
+void func4() noexcept(func1);
+void func5(void param() noexcept);
+
+void func6() throw();
+void func7() throw(int);
+void func8() throw(char, int);
+void func8() throw(char, int)
+{
+}
+
+class c
+{
+	void func9() throw();
+};