hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Run through updated autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2020-12-04 18:53:24 +00:00
parent 13d9d5dc45
commit 998eaf90ee
6 changed files with 19 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/DefaultOptions.qll
View File

@@ -59,10 +59,9 @@ class Options extends string {
predicate exits(Function f) {
f.getAnAttribute().hasName("noreturn")
or
f
.hasGlobalOrStdName([
"exit", "_exit", "abort", "__assert_fail", "longjmp", "__builtin_unreachable"
])
f.hasGlobalOrStdName([
"exit", "_exit", "abort", "__assert_fail", "longjmp", "__builtin_unreachable"
])
or
CustomOptions::exits(f) // old Options.qll
}