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

This commit is contained in:
Jeroen Ketema
2023-12-05 20:33:43 +01:00
parent 30e5e74a78
commit 696cbeae5c

View File

@@ -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