assertion: Handle C++ try statements

We assume that in any catch blocks, program state has already been
modified since an exception has been thrown, so we only look for
assertion statements in the try block.

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/assertion-extraction-cpp.cpp b/tests/assertion-extraction-cpp.cpp
index cbf79e1..8d52f0c 100644
--- a/tests/assertion-extraction-cpp.cpp
+++ b/tests/assertion-extraction-cpp.cpp
@@ -15,3 +15,18 @@
     };
     g_return_if_fail (Temp () && some_str);
 }
+
+/*
+ * null passed to a callee that requires a non-null argument
+ *         assertion_func (NULL, 1, obj);
+ *                         ~~~~        ^
+ * null passed to a callee that requires a non-null argument
+ *         assertion_func (NULL, 3, NULL);
+ *                         ~~~~         ^
+ */
+{
+    try {
+        g_return_if_fail (some_str);
+    } catch (...) {
+    }
+}