hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix typo in test

Browse Source
This commit is contained in:
Jeroen Ketema
2025-01-16 13:19:54 +01:00
parent d027e0c06b
commit 52eef7c4c2
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/DefaultOptions.qll
View File

@@ -54,11 +54,11 @@ class Options extends string {
*
* By default, this holds for `exit`, `_exit`, `_Exit`, `abort`,
* `__assert_fail`, `longjmp`, `__builtin_unreachable` and any
* function with a `noreturn`, `__noreturn__`, `_Noreturn`, or
* `_noreturn` attribute or `noreturn` specifier.
* function with a `noreturn`, `__noreturn__`, or `_Noreturn`
* attribute or `noreturn` specifier.
*/
predicate exits(Function f) {
f.getAnAttribute().hasName(["noreturn", "__noreturn__", "_Noreturn", "_noreturn"])
f.getAnAttribute().hasName(["noreturn", "__noreturn__", "_Noreturn"])
or
f.getASpecifier().hasName("noreturn")
or

2
cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/test.c
View File

@@ -129,7 +129,7 @@ int f23() {
f22(); // GOOD
}
[[___noreturn__]] void f24();
[[__noreturn__]] void f24();
int f25() {
f24(); // GOOD