Skip to content

Commit 035823c

Browse files
committed
CPP: Fix array size bug in memberMayBeVarSize.
1 parent 69785fc commit 035823c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/semmle/code/cpp/commons/Buffer.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ predicate memberMayBeVarSize(Class c, MemberVariable v) {
2828
v = c.getCanonicalMember(i) and
2929

3030
// v is an array of size at most 1
31-
v.getType().getUnspecifiedType().(ArrayType).getSize() <= 1
31+
v.getType().getUnspecifiedType().(ArrayType).getArraySize() <= 1
3232
) and (
3333
exists(SizeofOperator so |
3434
// `sizeof(c)` is taken

0 commit comments

Comments
 (0)