C#: Fix getInstructionOpcode to make sure IRConstruction.qll compiles for C#.

MathiasVP · MathiasVP · commit 568724bffd4d · 2021-05-04T13:00:40.000+02:00
diff --git a/csharp/ql/src/experimental/ir/implementation/raw/internal/IRConstruction.qll b/csharp/ql/src/experimental/ir/implementation/raw/internal/IRConstruction.qll
@@ -165,10 +165,10 @@ import Cached
 cached
 private module Cached {
   cached
-  Opcode getInstructionOpcode(TRawInstruction instr) {
+  predicate getInstructionOpcode(Opcode opcode, TRawInstruction instr) {
     exists(TranslatedElement element, InstructionTag tag |
       instructionOrigin(instr, element, tag) and
-      element.hasInstruction(result, tag, _)
+      element.hasInstruction(opcode, tag, _)
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -165,10 +165,10 @@ import Cached`
`165`	`165`	`cached`
`166`	`166`	`private module Cached {`
`167`	`167`	`cached`
`168`		`- Opcode getInstructionOpcode(TRawInstruction instr) {`
	`168`	`+ predicate getInstructionOpcode(Opcode opcode, TRawInstruction instr) {`
`169`	`169`	`exists(TranslatedElement element, InstructionTag tag \|`
`170`	`170`	`instructionOrigin(instr, element, tag) and`
`171`		`- element.hasInstruction(result, tag, _)`
	`171`	`+ element.hasInstruction(opcode, tag, _)`
`172`	`172`	`)`
`173`	`173`	`}`
`174`	`174`