Handle __builtin_addressof.

Author: zlaski-semmle

cpp/ql/src/semmle/code/cpp/exprs/BuiltInOperations.qll

@@ -51,20 +51,29 @@ class BuiltInVarArgCopy extends BuiltInOperation, @vacopyexpr {
  */
 class BuiltInNoOp extends BuiltInOperation, @noopexpr {
   override string toString() { result = "__noop" }
+
+  /** Canonical QL class corresponding to this element. */
+  override string getCanonicalQLClass() { result = "BuiltInNoOp" }
 }
 
 /**
  * A C++ `__offsetof` expression (used by some implementations of offsetof in the presence of user-defined `operator&`).
  */
 class BuiltInOperationOffsetOf extends BuiltInOperation, @offsetofexpr {
   override string toString() { result = "__offsetof" }
+
+  /** Canonical QL class corresponding to this element. */
+  override string getCanonicalQLClass() { result = "BuiltInOperationOffsetOf" }
 }
 
 /**
  * A C/C++ `__INTADDR__` expression, used by EDG to implement `offsetof` in the presence of user-defined `operator&`.
  */
 class BuiltInIntAddr extends BuiltInOperation, @intaddrexpr {
   override string toString() { result = "__INTADDR__" }
+
+  /** Canonical QL class corresponding to this element. */
+  override string getCanonicalQLClass() { result = "BuiltInIntAddr" }
 }
 
 /**
@@ -239,6 +248,9 @@ class BuiltInOperationBuiltInAddressOf extends UnaryOperation, BuiltInOperation,
     or result = this.getOperand().(ReferenceDereferenceExpr).getChild(0).(Access).getTarget()
   }
 
+  /** Canonical QL class corresponding to this element. */
+  override string getCanonicalQLClass() { result = "BuiltInOperationBuiltInAddressOf" }
+
   override string getOperator() { result = "__builtin_addressof" }
 }
 

cpp/ql/test/library-tests/ir/ir/PrintAST.expected

@@ -195,7 +195,7 @@ clang.cpp:
 #    5|   params: 
 #    5|   body: [Block]: { ... }
 #    6|     0: [ReturnStmt]: return ...
-#    6|       0: [???]: __builtin_addressof ...
+#    6|       0: [BuiltInOperationBuiltInAddressOf]: __builtin_addressof ...
 #    6|           Type = [IntPointerType]: int *
 #    6|           ValueCategory = prvalue
 #    6|         0: [VariableAccess]: globalInt