Skip to content

Commit 57dafe2

Browse files
geoffw0Robert Marsh
authored andcommitted
CPP: BinaryArithmeticOperation -> AddExpr.
1 parent 313624f commit 57dafe2

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
@@ -35,7 +35,7 @@ predicate memberMayBeVarSize(Class c, MemberVariable v) {
3535
so.(SizeofExprOperator).getExprOperand().getType().getUnspecifiedType() = c |
3636

3737
// arithmetic is performed on the result
38-
so.getParent*() instanceof BinaryArithmeticOperation
38+
so.getParent*() instanceof AddExpr
3939
) or exists(AddressOfExpr aoe |
4040
// `&(c.v)` is taken
4141
aoe.getAddressable() = v

0 commit comments

Comments
 (0)