We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
ArrayType
1 parent 3f595fd commit a6d7fb6Copy full SHA for a6d7fb6
cpp/ql/lib/semmle/code/cpp/Type.qll
@@ -1589,6 +1589,11 @@ class ArrayType extends DerivedType {
1589
* Holds if this array is a variable-length array (VLA).
1590
*/
1591
predicate isVla() { type_is_vla(underlyingElement(this)) }
1592
+
1593
+ override Type resolveTypedefs() {
1594
+ result.(ArrayType).getBaseType() = this.getBaseType().resolveTypedefs() and
1595
+ result.(ArrayType).getArraySize() = this.getArraySize()
1596
+ }
1597
}
1598
1599
/**
0 commit comments