Skip to content

Commit 60c0bcf

Browse files
committed
C#: Include dup instructions in CIL ExprMissingType consistency test
1 parent 6b1ac73 commit 60c0bcf

File tree

2 files changed

+13
-1
lines changed

2 files changed

+13
-1
lines changed

csharp/ql/lib/semmle/code/cil/ConsistencyChecks.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -612,7 +612,7 @@ class ExprMissingType extends InstructionViolation {
612612
not instruction instanceof Opcodes::Ldvirtftn and
613613
not instruction instanceof Opcodes::Arglist and
614614
not instruction instanceof Opcodes::Refanytype and
615-
instruction.getPushCount() = 1 and
615+
instruction.getPushCount() >= 1 and
616616
count(instruction.getType()) != 1
617617
}
618618

0 commit comments

Comments
 (0)