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

C# IR: Fix for init

Browse Source
This commit is contained in:
AndreiDiaconu1
2019-09-16 11:57:15 +01:00
parent e330d5a6c6
commit fcb3d99351
3 changed files with 13 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/semmle/code/csharp/ir/implementation/raw/internal/TranslatedStmt.qll
View File

@@ -660,8 +660,10 @@ class TranslatedForStmt extends TranslatedLoop {
id = initializersNo() + updatesNo() + 1 and result = this.getBody()
}
private TranslatedLocalDeclaration getDeclAndInit(int index) {
result = getTranslatedLocalDeclaration(stmt.getInitializer(index))
private TranslatedElement getDeclAndInit(int index) {
if stmt.getInitializer(index) instanceof LocalVariableDeclExpr
then result = getTranslatedLocalDeclaration(stmt.getInitializer(index))
else result = getTranslatedExpr(stmt.getInitializer(index))
}
private predicate hasInitialization() { exists(stmt.getAnInitializer()) }

12
csharp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -1089,11 +1089,13 @@ stmts.cs:
# 76| Block 4
# 76| r4_0(glval<Int32>) = VariableAddress[a] :
# 76| r4_1(Int32) = Constant[0] :
# 76| mu4_2(Int32) = Store : &:r4_0, r4_1
# 76| r4_3(glval<Int32>) = VariableAddress[b] :
# 76| r4_4(Int32) = Constant[10] :
# 76| mu4_5(Int32) = Store : &:r4_3, r4_4
# 76| mu4_1(Int32) = Uninitialized[a] : &:r4_0
# 76| r4_2(glval<Int32>) = VariableAddress[b] :
# 76| r4_3(Int32) = Constant[10] :
# 76| mu4_4(Int32) = Store : &:r4_2, r4_3
# 77| r4_5(Int32) = Constant[0] :
# 77| r4_6(glval<Int32>) = VariableAddress[a] :
# 77| mu4_7(Int32) = Store : &:r4_6, r4_5
#-----| Goto -> Block 5
# 77| Block 5

4
csharp/ql/test/library-tests/ir/ir/stmts.cs
View File

@@ -73,8 +73,8 @@ public class test_stmts
x = x - 1;
}
int a = 0, b = 10;
for (; a < b; )
int a, b = 10;
for (a = 0; a < b; )
{
a++;
}