Skip to content

Commit 642259c

Browse files
authored
Merge pull request #21968 from jketema/jketema/namequalifiers
C++: Fix `NameQualifyingElement` db inconsistency
2 parents 0d98458 + ef00aa2 commit 642259c

12 files changed

Lines changed: 10336 additions & 7 deletions

File tree

cpp/downgrades/0853f43dc8c08deecb473c54a2b70da8597f1ab5/old.dbscheme

Lines changed: 2578 additions & 0 deletions
Large diffs are not rendered by default.

cpp/downgrades/0853f43dc8c08deecb473c54a2b70da8597f1ab5/semmlecode.cpp.dbscheme

Lines changed: 2577 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
description: Fix NameQualifier inconsistency
2+
compatibility: full

cpp/ql/lib/semmle/code/cpp/Type.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1071,7 +1071,7 @@ class NullPointerType extends BuiltInType {
10711071
* const float fa[40];
10721072
* ```
10731073
*/
1074-
class DerivedType extends Type, @derivedtype {
1074+
class DerivedType extends Type, NameQualifyingElement, @derivedtype {
10751075
override string toString() { result = this.getName() }
10761076

10771077
override string getName() { derivedtypes(underlyingElement(this), result, _, _) }

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1430,7 +1430,8 @@ specialnamequalifyingelements(
14301430
@namequalifyingelement = @namespace
14311431
| @specialnamequalifyingelement
14321432
| @usertype
1433-
| @decltype;
1433+
| @decltype
1434+
| @derivedtype;
14341435

14351436
namequalifiers(
14361437
unique int id: @namequalifier,

0 commit comments

Comments
 (0)