Merge pull request #352 from dave-bartolomeo/dave/Operands

C++: Operands as IPA types

Author: jbj

config/identical-files.json

@@ -19,10 +19,10 @@
         "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/FunctionIR.qll",
         "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/FunctionIR.qll"
     ],
-    "C++ IR OperandTag": [
-        "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/OperandTag.qll",
-        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/OperandTag.qll",
-        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/OperandTag.qll"
+    "C++ IR Operand": [
+        "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll",
+        "cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Operand.qll",
+        "cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Operand.qll"
     ],
     "C++ IR IRImpl": [
         "cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IR.qll",

cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll

@@ -16,7 +16,7 @@ class MemoryAccessKind extends TMemoryAccessKind {
 
 /**
  * The operand or result accesses memory at the address specified by the
- * `LoadStoreAddressOperand` on the same instruction.
+ * `AddressOperand` on the same instruction.
  */
 class IndirectMemoryAccess extends MemoryAccessKind, TIndirectMemoryAccess {
   override string toString() {

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IR.qll

@@ -2,7 +2,7 @@ import FunctionIR
 import Instruction
 import IRBlock
 import IRVariable
-import OperandTag
+import Operand
 import semmle.code.cpp.ir.implementation.EdgeKind
 import semmle.code.cpp.ir.implementation.MemoryAccessKind