Merge pull request github#3814 from nickrolfe/71-this

C++: add MemberFunction::getTypeOfThis()

Author: matt-gretton-dann

cpp/ql/src/semmle/code/cpp/MemberFunction.qll

@@ -70,6 +70,14 @@ class MemberFunction extends Function {
       result = getADeclarationEntry() and result != getDefinition()
     )
   }
+
+  /**
+   * Gets the type of the `this` parameter associated with this member function, if any. Typically,
+   * this will be a `PointerType`, possibly with `const` and/or `volatile` qualifiers.
+   */
+  Type getTypeOfThis() {
+    member_function_this_type(underlyingElement(this), unresolveElement(result))
+  }
 }
 
 /**

cpp/ql/src/semmlecode.cpp.dbscheme

@@ -420,7 +420,7 @@ function_deleted(unique int id: @function ref);
 
 function_defaulted(unique int id: @function ref);
 
-
+member_function_this_type(unique int id: @function ref, int this_type: @type ref);
 
 #keyset[id, type_id]
 fun_decls(