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

C++: Implement Expr::mayBeFromImplicitlyDeclaredFunction

Browse Source
This commit is contained in:
Calum Grant
2024-10-16 10:23:39 +01:00
parent 853128c9c3
commit 6a48ad0ee7
11 changed files with 37 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/test/library-tests/exprs/implicitly_declared/error_type.expected Normal file
View File

@@ -0,0 +1 @@
| file://:0:0:0:0 | <error expr> |

5
cpp/ql/test/library-tests/exprs/implicitly_declared/error_type.ql Normal file
View File

@@ -0,0 +1,5 @@
import cpp
from Expr e
where e.getType() instanceof ErroneousType
select e

2
cpp/ql/test/library-tests/exprs/implicitly_declared/errors.expected Normal file
View File

@@ -0,0 +1,2 @@
| file://:0:0:0:0 | There was an error during this compilation |
| implicit.cpp:5:5:5:5 | identifier 'g' is undefined |

4
cpp/ql/test/library-tests/exprs/implicitly_declared/errors.ql Normal file
View File

@@ -0,0 +1,4 @@
import cpp
from Diagnostic d
select d

4
cpp/ql/test/library-tests/exprs/implicitly_declared/implicit.c Normal file
View File

@@ -0,0 +1,4 @@
void f() {
f();
g();
}

6
cpp/ql/test/library-tests/exprs/implicitly_declared/implicit.cpp Normal file
View File

@@ -0,0 +1,6 @@
// semmle-extractor-options: --expect_errors
void f() {
f();
g();
}

1
cpp/ql/test/library-tests/exprs/implicitly_declared/implicit.expected Normal file
View File

@@ -0,0 +1 @@
| implicit.c:3:5:3:5 | call to g |

5
cpp/ql/test/library-tests/exprs/implicitly_declared/implicit.ql Normal file
View File

@@ -0,0 +1,5 @@
import cpp
from Expr e
where e.mayBeFromImplicitlyDeclaredFunction()
select e