github
diff --git a/‎cpp/ql/src/semmle/code/cpp/exprs/BuiltInOperations.qll‎
Lines changed: 21 additions & 0 deletions b/‎cpp/ql/src/semmle/code/cpp/exprs/BuiltInOperations.qll‎
Lines changed: 21 additions & 0 deletions
diff --git a/‎cpp/ql/src/semmlecode.cpp.dbscheme‎
Lines changed: 2 additions & 0 deletions b/‎cpp/ql/src/semmlecode.cpp.dbscheme‎
Lines changed: 2 additions & 0 deletions
@@ -202,6 +202,20 @@ class BuiltInOperationBuiltInShuffleVector extends BuiltInOperation, @builtinshu
   override string toString() { result = "__builtin_shufflevector" }
 }
 
+/**
+ * A clang `__builtin_addressof` expression (can be used to implement C++'s std::addressof).
+ */
+class BuiltInOperationBuiltInAddressOf extends UnaryOperation, BuiltInOperation, @builtinaddressof {
+  /** Gets the function or variable whose address is taken. */
+  Declaration getAddressable() {
+       result = this.getOperand().(Access).getTarget()
+       // this handles the case where we are taking the address of a reference variable
+    or result = this.getOperand().(ReferenceDereferenceExpr).getChild(0).(Access).getTarget()
+  }
+
+  override string getOperator() { result = "__builtin_addressof" }
+}
+
 /**
  * The `__is_trivially_constructible` type trait.
  */
@@ -369,3 +383,10 @@ class BuiltInOperationIsFinal extends BuiltInOperation, @isfinalexpr {
 class BuiltInChooseExpr extends BuiltInOperation, @builtinchooseexpr {
   override string toString() { result = "__builtin_choose_expr" }
 }
+
+/**
+ * Fill operation on a GNU vector.
+ */
+class VectorFillOperation extends UnaryOperation, @vec_fill {
+  override string getOperator() { result = "(vector fill)" }
+}
@@ -1429,6 +1429,8 @@ case @expr.kind of
 | 319 = @noexceptexpr
 | 320 = @builtinshufflevector
 | 321 = @builtinchooseexpr
+| 322 = @builtinaddressof
+| 323 = @vec_fill
 ;
 
 new_allocated_type(
Original file line number	Diff line number	Diff line change
`@@ -1429,6 +1429,8 @@ case @expr.kind of`
`1429`	`1429`	`\| 319 = @noexceptexpr`
`1430`	`1430`	`\| 320 = @builtinshufflevector`
`1431`	`1431`	`\| 321 = @builtinchooseexpr`
	`1432`	`+\| 322 = @builtinaddressof`
	`1433`	`+\| 323 = @vec_fill`
`1432`	`1434`	`;`
`1433`	`1435`
`1434`	`1436`	`new_allocated_type(`