hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Make getUnderlyingType 'nomagic'.

Browse Source
This commit is contained in:
Geoffrey White
2022-03-21 10:52:10 +00:00
parent f53df255b9
commit 7f825c12eb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/Type.qll
View File

@@ -94,7 +94,7 @@ class Type extends Locatable, @type {
* The result of this predicate will be the type itself, except in the case of a TypedefType or a Decltype, * The result of this predicate will be the type itself, except in the case of a TypedefType or a Decltype,
* in which case the result will be type which results from (possibly recursively) resolving typedefs. * in which case the result will be type which results from (possibly recursively) resolving typedefs.
*/ */
Type getUnderlyingType() { result = this } pragma[nomagic] Type getUnderlyingType() { result = this }
/** /**
* Gets this type after specifiers have been deeply stripped and typedefs have been resolved. * Gets this type after specifiers have been deeply stripped and typedefs have been resolved.