C++: test new class LeaveStmt

Author: IdrissRio

cpp/ql/test/library-tests/stmt/leave/leave.cpp

@@ -0,0 +1,28 @@
+//semmle-extractor-options: --microsoft
+void leave_try_finally_test(bool condition){
+    __try {
+    if(condition){
+       __leave;
+      }
+    }
+    __finally {
+    }
+}
+
+int except_handler();
+
+void leave_try_except_test(bool condition){
+    __try {
+        try {
+            if(condition)
+                __leave;
+        }
+        catch(...) {
+        }
+        if(condition){
+            __leave;
+        }
+    }
+    __except (except_handler()) {
+    }
+}

cpp/ql/test/library-tests/stmt/leave/leave.expected

@@ -0,0 +1,3 @@
+| leave.cpp:5:8:5:15 | __leave; | leave.cpp:3:5:7:5 | __try { ... } __finally { ... } |
+| leave.cpp:18:17:18:24 | __leave; | leave.cpp:15:5:25:5 | __try { ... } __except( ... ) { ... } |
+| leave.cpp:23:13:23:20 | __leave; | leave.cpp:15:5:25:5 | __try { ... } __except( ... ) { ... } |

cpp/ql/test/library-tests/stmt/leave/leave.ql

@@ -0,0 +1,4 @@
+import cpp
+
+from LeaveStmt s
+select s, s.getEnclosingTry()