C++: Remove rule that wasn't needed.

This commit is contained in:
Mathias Vorreiter Pedersen
2021-04-14 14:50:27 +02:00
parent da36508714
commit bc7cc2f7ce
2 changed files with 0 additions and 11 deletions

View File

@@ -59,8 +59,6 @@ private predicate pointerToLvalueStep(Expr pointerIn, Expr lvalueOut) {
pointerIn = lvalueOut.(ArrayExpr).getArrayBase().getFullyConverted()
or
pointerIn = lvalueOut.(PointerDereferenceExpr).getOperand().getFullyConverted()
or
pointerIn = lvalueOut.(OverloadedPointerDereferenceExpr).getQualifier().getFullyConverted()
}
private predicate lvalueToPointerStep(Expr lvalueIn, Expr pointerOut) {