Skip to content

Commit 09e13ca

Browse files
committed
C++: make MemberFunction::getTypeOfThis() return PointerType
The dbscheme technically allows for any Type, but in practice it will always be a PointerType, so this should make it easier for users to understand.
1 parent ab876b8 commit 09e13ca

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -72,10 +72,10 @@ class MemberFunction extends Function {
7272
}
7373

7474
/**
75-
* Gets the type of the `this` parameter associated with this member function, if any. Typically,
76-
* this will be a `PointerType`, possibly with `const` and/or `volatile` qualifiers.
75+
* Gets the type of the `this` parameter associated with this member function, if any. The type
76+
* may have `const` and/or `volatile` qualifiers, matching the function declaration.
7777
*/
78-
Type getTypeOfThis() {
78+
PointerType getTypeOfThis() {
7979
member_function_this_type(underlyingElement(this), unresolveElement(result))
8080
}
8181
}

0 commit comments

Comments
 (0)