Skip to content

Commit 790cbf0

Browse files
author
Dave Bartolomeo
committed
C#: Fix bad merge
1 parent 6249446 commit 790cbf0

File tree

1 file changed

+4
-0
lines changed
  • csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/internal

1 file changed

+4
-0
lines changed

csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -84,6 +84,10 @@ private predicate operandIsPropagated(Operand operand, IntValue bitOffset) {
8484
bitOffset = Ints::mul(convert.getDerivation().getByteOffset(), 8)
8585
)
8686
or
87+
// Conversion using dynamic_cast results in an unknown offset
88+
instr instanceof CheckedConvertOrNullInstruction and
89+
bitOffset = Ints::unknown()
90+
or
8791
// Converting to a derived class subtracts the offset of the base class.
8892
exists(ConvertToDerivedInstruction convert |
8993
convert = instr and

0 commit comments

Comments
 (0)