hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Don't use PrintAST in a test

Browse Source
This commit is contained in:
Calum Grant
2024-11-11 16:31:36 +00:00
parent 2351328aa1
commit 317f43d325
4 changed files with 11 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/test/library-tests/extraction_errors/ErrorExprs.expected Normal file
View File

@@ -0,0 +1,7 @@
| test.cpp:6:13:6:31 | initializer for x | test.cpp:6:13:6:31 | <error expr> |
| test.cpp:7:5:7:8 | ExprStmt | file://:0:0:0:0 | <error expr> |
| test.cpp:8:5:8:23 | ExprStmt | file://:0:0:0:0 | <error expr> |
| test.cpp:9:5:9:21 | ExprStmt | file://:0:0:0:0 | <error expr> |
| test.cpp:11:5:11:8 | ExprStmt | file://:0:0:0:0 | <error expr> |
| test.cpp:15:5:15:8 | ExprStmt | file://:0:0:0:0 | <error expr> |
| test.cpp:16:5:16:16 | ExprStmt | file://:0:0:0:0 | <error expr> |

4
cpp/ql/test/library-tests/extraction_errors/ErrorExprs.ql Normal file
View File

@@ -0,0 +1,4 @@
import cpp
from ErrorExpr e
select e.getParent(), e

79
cpp/ql/test/library-tests/extraction_errors/PrintAst.expected
View File

@@ -1,79 +0,0 @@
#-----| [CopyAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag const&)
#-----| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const __va_list_tag &
#-----| [MoveAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag&&)
#-----| <params>:
#-----| getParameter(0): [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] __va_list_tag &&
test.c:
# 3| [TopLevelFunction] void g()
# 3| <params>:
# 3| getEntryPoint(): [BlockStmt] { ... }
# 4| getStmt(0): [DeclStmt] declaration
# 4| getDeclarationEntry(0): [VariableDeclarationEntry] definition of x
# 4| Type = [IntType] int
# 4| getVariable().getInitializer(): [Initializer] initializer for x
# 4| getExpr(): [FunctionCall] call to no_such_function
# 4| Type = [IntType] int
# 4| ValueCategory = prvalue
# 5| getStmt(1): [ReturnStmt] return ...
# 4| [TopLevelFunction] int no_such_function()
# 4| <params>:
test.cpp:
# 5| [TopLevelFunction] void function_with_errors()
# 5| <params>:
# 5| getEntryPoint(): [BlockStmt] { ... }
# 6| getStmt(0): [DeclStmt] declaration
# 6| getDeclarationEntry(0): [VariableDeclarationEntry] definition of x
# 6| Type = [ErroneousType] error
# 6| getVariable().getInitializer(): [Initializer] initializer for x
# 6| getExpr(): [ErrorExpr] <error expr>
# 6| Type = [ErroneousType] error
# 6| ValueCategory = prvalue
# 7| getStmt(1): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 8| getStmt(2): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 9| getStmt(3): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 10| getStmt(4): [ExprStmt] ExprStmt
# 10| getExpr(): [FunctionCall] call to f
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue
# 10| getArgument(0): [Literal] 1
# 10| Type = [IntType] int
# 10| Value = [Literal] 1
# 10| ValueCategory = prvalue
# 11| getStmt(5): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 12| getStmt(6): [ReturnStmt] return ...
# 14| [TopLevelFunction] error fn2()
# 14| <params>:
# 14| getEntryPoint(): [BlockStmt] { ... }
# 15| getStmt(0): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 16| getStmt(1): [ExprStmt] ExprStmt
#-----| getExpr(): [ErrorExpr] <error expr>
#-----| Type = [ErroneousType] error
#-----| ValueCategory = prvalue
# 17| getStmt(2): [ReturnStmt] return ...
test.h:
# 2| [TopLevelFunction] int f(int)
# 2| <params>:
# 2| getParameter(0): [Parameter] (unnamed parameter 0)
# 2| Type = [IntType] int
# 2| [TopLevelFunction] int f(int)
# 2| <params>:
# 2| getParameter(0): [Parameter] (unnamed parameter 0)
# 2| Type = [IntType] int

1
cpp/ql/test/library-tests/extraction_errors/PrintAst.qlref
View File

@@ -1 +0,0 @@
semmle/code/cpp/PrintAST.ql