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

C++: Add new test for conversions.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-10-26 13:25:17 +01:00
parent e89e99deaa
commit 0e5c44e5c4
2 changed files with 46 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/test/examples/expressions/Conversion4.c
View File

@@ -1,3 +1,11 @@
void Conversion4(int x) {
x = ((int)7);
}
char * retfn(void * v) {
return (char*)(void*)(int*)v;
}
void Conversion4_vardecl(int x) {
long y = (long) x;
}

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

@@ -349,6 +349,44 @@ Conversion4.c:
# 2| Value = [Literal] 7
# 2| ValueCategory = prvalue
# 3| 1: [ReturnStmt] return ...
# 5| [TopLevelFunction] char* retfn(void*)
# 5| params:
# 5| 0: [Parameter] v
# 5| Type = [VoidPointerType] void *
# 5| body: [BlockStmt] { ... }
# 6| 0: [ReturnStmt] return ...
# 6| 0: [CStyleCast] (char *)...
# 6| Conversion = [PointerConversion] pointer conversion
# 6| Type = [CharPointerType] char *
# 6| ValueCategory = prvalue
# 6| expr: [CStyleCast] (void *)...
# 6| Conversion = [PointerConversion] pointer conversion
# 6| Type = [VoidPointerType] void *
# 6| ValueCategory = prvalue
# 6| expr: [CStyleCast] (int *)...
# 6| Conversion = [PointerConversion] pointer conversion
# 6| Type = [IntPointerType] int *
# 6| ValueCategory = prvalue
# 6| expr: [VariableAccess] v
# 6| Type = [VoidPointerType] void *
# 6| ValueCategory = prvalue(load)
# 9| [TopLevelFunction] void Conversion4_vardecl(int)
# 9| params:
# 9| 0: [Parameter] x
# 9| Type = [IntType] int
# 9| body: [BlockStmt] { ... }
# 10| 0: [DeclStmt] declaration
# 10| 0: [VariableDeclarationEntry] definition of y
# 10| Type = [LongType] long
# 10| init: [Initializer] initializer for y
# 10| expr: [CStyleCast] (long)...
# 10| Conversion = [IntegralConversion] integral conversion
# 10| Type = [LongType] long
# 10| ValueCategory = prvalue
# 10| expr: [VariableAccess] x
# 10| Type = [IntType] int
# 10| ValueCategory = prvalue(load)
# 11| 1: [ReturnStmt] return ...
DestructorCall.cpp:
# 1| [Constructor] void C::C()
# 1| params: