diff --git a/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll b/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll index c04d2cba45e..c4eb0ff1c2a 100644 --- a/cpp/ql/src/semmle/code/cpp/commons/CommonType.qll +++ b/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" } +}