C++: sync NegateInstruction between IR passes

Robert Marsh · Robert Marsh · commit 2d04d9ea0424 · 2018-11-06T12:02:39.000-08:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
@@ -761,6 +761,12 @@ class RemInstruction extends BinaryInstruction {
   }
 }
 
+class NegateInstruction extends UnaryInstruction {
+  NegateInstruction() {
+    opcode instanceof Opcode::Negate
+  }
+}
+
 class BitAndInstruction extends BinaryInstruction {
   BitAndInstruction() {
     opcode instanceof Opcode::BitAnd
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -761,6 +761,12 @@ class RemInstruction extends BinaryInstruction {
   }
 }
 
+class NegateInstruction extends UnaryInstruction {
+  NegateInstruction() {
+    opcode instanceof Opcode::Negate
+  }
+}
+
 class BitAndInstruction extends BinaryInstruction {
   BitAndInstruction() {
     opcode instanceof Opcode::BitAnd

Original file line number	Diff line number	Diff line change
`@@ -761,6 +761,12 @@ class RemInstruction extends BinaryInstruction {`
`761`	`761`	`}`
`762`	`762`	`}`
`763`	`763`
	`764`	`+class NegateInstruction extends UnaryInstruction {`
	`765`	`+ NegateInstruction() {`
	`766`	`+ opcode instanceof Opcode::Negate`
	`767`	`+ }`
	`768`	`+}`
	`769`	`+`
`764`	`770`	`class BitAndInstruction extends BinaryInstruction {`
`765`	`771`	`BitAndInstruction() {`
`766`	`772`	`opcode instanceof Opcode::BitAnd`