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

C++: Add support for StmtExpr to Print AST.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-10-30 15:53:04 +01:00
parent d3631d8f2e
commit 84fe7ba199
5 changed files with 73 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cpp/ql/test/examples/expressions/PrintAST.expected
View File

@@ -724,6 +724,19 @@ StatementExpr.c:
# 2| getExpr(): [StmtExpr] (statement expression)
# 2| Type = [IntType] int
# 2| ValueCategory = prvalue
# 2| getStmt(): [BlockStmt] { ... }
# 2| getStmt(0): [DeclStmt] declaration
# 2| getDeclarationEntry(0): [VariableDeclarationEntry] definition of i
# 2| Type = [IntType] int
# 2| getVariable().getInitializer(): [Initializer] initializer for i
# 2| getExpr(): [Literal] 5
# 2| Type = [IntType] int
# 2| Value = [Literal] 5
# 2| ValueCategory = prvalue
# 2| getStmt(1): [ExprStmt] ExprStmt
# 2| getExpr(): [VariableAccess] i
# 2| Type = [IntType] int
# 2| ValueCategory = prvalue(load)
# 3| getStmt(1): [ReturnStmt] return ...
StaticMemberAccess.cpp:
# 1| [CopyAssignmentOperator] X& X::operator=(X const&)

45
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -8260,7 +8260,7 @@ ir.cpp:
# 997| Type = [FloatType] float
# 997| Value = [CStyleCast] 1.0
# 997| ValueCategory = prvalue
# 1000| [TopLevelFunction] int ExprStmt(int, int, int)
# 1000| [TopLevelFunction] int StmtExpr(int, int, int)
# 1000| <params>:
# 1000| getParameter(0): [Parameter] b
# 1000| Type = [IntType] int
@@ -8276,10 +8276,53 @@ ir.cpp:
# 1001| getExpr(): [StmtExpr] (statement expression)
# 1001| Type = [IntType] int
# 1001| ValueCategory = prvalue
# 1001| getStmt(): [BlockStmt] { ... }
# 1002| getStmt(0): [DeclStmt] declaration
# 1002| getDeclarationEntry(0): [VariableDeclarationEntry] definition of w
# 1002| Type = [IntType] int
# 1003| getStmt(1): [IfStmt] if (...) ...
# 1003| getCondition(): [VariableAccess] b
# 1003| Type = [IntType] int
# 1003| ValueCategory = prvalue(load)
# 1003| getThen(): [BlockStmt] { ... }
# 1004| getStmt(0): [ExprStmt] ExprStmt
# 1004| getExpr(): [AssignExpr] ... = ...
# 1004| Type = [IntType] int
# 1004| ValueCategory = lvalue
# 1004| getLValue(): [VariableAccess] w
# 1004| Type = [IntType] int
# 1004| ValueCategory = lvalue
# 1004| getRValue(): [VariableAccess] y
# 1004| Type = [IntType] int
# 1004| ValueCategory = prvalue(load)
# 1005| getElse(): [BlockStmt] { ... }
# 1006| getStmt(0): [ExprStmt] ExprStmt
# 1006| getExpr(): [AssignExpr] ... = ...
# 1006| Type = [IntType] int
# 1006| ValueCategory = lvalue
# 1006| getLValue(): [VariableAccess] w
# 1006| Type = [IntType] int
# 1006| ValueCategory = lvalue
# 1006| getRValue(): [VariableAccess] z
# 1006| Type = [IntType] int
# 1006| ValueCategory = prvalue(load)
# 1003| getCondition().getFullyConverted(): [CStyleCast] (bool)...
# 1003| Conversion = [BoolConversion] conversion to bool
# 1003| Type = [BoolType] bool
# 1003| ValueCategory = prvalue
# 1008| getStmt(2): [ExprStmt] ExprStmt
# 1008| getExpr(): [VariableAccess] w
# 1008| Type = [IntType] int
# 1008| ValueCategory = prvalue(load)
# 1011| getStmt(1): [ReturnStmt] return ...
# 1011| getExpr(): [StmtExpr] (statement expression)
# 1011| Type = [IntType] int
# 1011| ValueCategory = prvalue
# 1011| getStmt(): [BlockStmt] { ... }
# 1011| getStmt(0): [ExprStmt] ExprStmt
# 1011| getExpr(): [VariableAccess] x
# 1011| Type = [IntType] int
# 1011| ValueCategory = prvalue(load)
# 1015| [TopLevelFunction] void OperatorDelete()
# 1015| <params>:
# 1015| getEntryPoint(): [BlockStmt] { ... }

2
cpp/ql/test/library-tests/ir/ir/ir.cpp
View File

@@ -997,7 +997,7 @@ int PointerDecay(int a[], int fn(float)) {
return a[0] + fn(1.0);
}
int ExprStmt(int b, int y, int z) {
int StmtExpr(int b, int y, int z) {
int x = ({
int w;
if (b) {

2
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -5532,7 +5532,7 @@ ir.cpp:
# 996| v996_13(void) = AliasedUse : ~m?
# 996| v996_14(void) = ExitFunction :
# 1000| int ExprStmt(int, int, int)
# 1000| int StmtExpr(int, int, int)
# 1000| Block 0
# 1000| v1000_1(void) = EnterFunction :
# 1000| mu1000_2(unknown) = AliasedDefinition :