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

C#: Add test example for unsigned right shift assignment in intermediate representation.

Browse Source
This commit is contained in:
Michael Nebel
2023-01-09 15:07:18 +01:00
parent 5bb8f8ed5c
commit d92b226041
3 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/test/experimental/ir/ir/PrintAst.expected
View File

@@ -171,6 +171,10 @@ assignop.cs:
# 19| 0: [AssignOrExpr] ... |= ...
# 19| 0: [LocalVariableAccess] access to local variable c
# 19| 1: [IntLiteral] 2
# 20| 12: [ExprStmt] ...;
# 20| 0: [AssignUnsighedRightShiftExpr] ... >>>= ...
# 20| 0: [LocalVariableAccess] access to local variable c
# 20| 1: [IntLiteral] 2
casts.cs:
# 1| [Class] Casts_A
# 5| [Class] Casts_B

1
csharp/ql/test/experimental/ir/ir/assignop.cs
View File

@@ -17,5 +17,6 @@ class AssignOp
c &= 2;
c ^= 2;
c |= 2;
c >>>= 2;
}
}

5
csharp/ql/test/experimental/ir/ir/raw_ir.expected
View File

@@ -210,6 +210,11 @@ assignop.cs:
# 19| r19_3(Int32) = Load[c] : &:r19_2, ~m?
# 19| r19_4(Int32) = BitOr : r19_3, r19_1
# 19| mu19_5(Int32) = Store[c] : &:r19_2, r19_4
# 20| r20_1(Int32) = Constant[2] :
# 20| r20_2(glval<Int32>) = VariableAddress[c] :
# 20| r20_3(Int32) = Load[c] : &:r20_2, ~m?
# 20| r20_4(Int32) = UnsignedShiftRight : r20_3, r20_1
# 20| mu20_5(Int32) = Store[c] : &:r20_2, r20_4
# 5| v5_3(Void) = ReturnVoid :
# 5| v5_4(Void) = AliasedUse : ~m?
# 5| v5_5(Void) = ExitFunction :