Merge pull request #4218 from MathiasVP/mathiasvp/fix-fp-av82

C++: Add cases for conditional and comma operator in AV Rule 82
This commit is contained in:
Jonas Jensen
2020-09-07 15:27:07 +02:00
committed by GitHub

View File

@@ -45,6 +45,16 @@ predicate dereferenceThis(Expr e) {
or
// `*this = ...` (where `=` is not overloaded, so an `AssignExpr`)
dereferenceThis(e.(AssignExpr).getLValue())
or
// `e ? ... : ... `
exists(ConditionalExpr cond |
cond = e and
dereferenceThis(cond.getThen()) and
dereferenceThis(cond.getElse())
)
or
// `..., ... `
dereferenceThis(e.(CommaExpr).getRightOperand())
}
/**