C++: Add _Exit to the list of exiting (non-returning) functions

jketema · jketema · commit 696cbeae5c3a · 2023-12-05T20:33:43.000+01:00
diff --git a/cpp/ql/lib/DefaultOptions.qll b/cpp/ql/lib/DefaultOptions.qll
@@ -62,7 +62,7 @@ class Options extends string {
     f.getASpecifier().hasName("noreturn")
     or
     f.hasGlobalOrStdName([
-        "exit", "_exit", "abort", "__assert_fail", "longjmp", "__builtin_unreachable"
+        "exit", "_exit", "_Exit", "abort", "__assert_fail", "longjmp", "__builtin_unreachable"
       ])
     or
     CustomOptions::exits(f) // old Options.qll
