CPP: 'if constexpr' test cases.

geoffw0 · geoffw0 · commit 42bf1be0fd34 · 2019-08-06T17:56:24.000+01:00
diff --git a/cpp/ql/test/query-tests/Best Practices/Likely Errors/EmptyBlock/empty_block.cpp b/cpp/ql/test/query-tests/Best Practices/Likely Errors/EmptyBlock/empty_block.cpp
@@ -56,4 +56,29 @@ int f(int x) {
 
   // GOOD (has comment): [FALSE POSITIVE]
   if (x) {}  // comment
+
+  // GOOD
+  if (x) {
+    if constexpr(1) {
+      f();
+    }
+  }
+
+  // GOOD
+  if (x) {
+    if constexpr(0) {
+      f();
+    }
+  }
+
+  // GOOD
+  if (x) {
+    if constexpr(1) {
+      f();
+    } else {
+	  f();
+	}
+  }
+
+  return 1;
 }
