Merge pull request #1660 from zlaski-semmle/zlaski/builtin-va-list

Add a `__builtin_va_list` type, to complement `__builtin_va_*`

Author: dave-bartolomeo

cpp/ql/src/semmle/code/cpp/commons/CommonType.qll

@@ -166,3 +166,17 @@ class MicrosoftInt64Type extends IntegralType {
     not isExplicitlySigned()
   }
 }
+
+/**
+ * The `__builtin_va_list` type, used to provide variadic functionality.
+ *
+ * This is a complement to the `__builtin_va_start`, `__builtin_va_end`,
+ * `__builtin_va_copy` and `__builtin_va_arg` expressions.
+ */
+class BuiltInVarArgsList extends Type {
+  BuiltInVarArgsList() {
+    this.hasName("__builtin_va_list")
+  }
+
+  override string getCanonicalQLClass() { result = "BuiltInVarArgsList" }
+}