hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #991 from jbj/error-function-returns

Browse Source 
Approved by geoffw0
This commit is contained in:
semmle-qlci
2019-02-27 08:01:39 +00:00
committed by GitHub
parent dcaf0f8ba8 07bd85e9fa
commit d857f52c7d
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -56,7 +56,7 @@ class Options extends string
* Holds if a call to this function will never return.
*
* By default, this holds for `exit`, `_exit`, `abort`, `__assert_fail`,
* `longjmp`, `error`, `__builtin_unreachable` and any function with a
* `longjmp`, `__builtin_unreachable` and any function with a
* `noreturn` attribute.
*/
predicate exits(Function f) {
@@ -67,7 +67,6 @@ class Options extends string
name = "abort" or
name = "__assert_fail" or
name = "longjmp" or
name = "error" or
name = "__builtin_unreachable"
) or
CustomOptions::exits(f) // old Options.qll