EXP43-C: remove redundant check

Nikita Kraiouchkine · Nikita Kraiouchkine · commit 934811dcee8a · 2023-01-28T01:22:17.000+01:00
diff --git a/c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql b/c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql
@@ -68,7 +68,6 @@ where
     )
     or
     // Two restrict-qualified pointers in the same scope assigned to each other
-    expr.getVariable().getType().hasSpecifier("restrict") and
     expr.(VariableAccess).getTarget().getType().hasSpecifier("restrict") and
     expr.(VariableAccess).getTarget().getParentScope() = expr.getVariable().getParentScope()
   )

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,6 @@ where`
`68`	`68`	`)`
`69`	`69`	`or`
`70`	`70`	`// Two restrict-qualified pointers in the same scope assigned to each other`
`71`		`- expr.getVariable().getType().hasSpecifier("restrict") and`
`72`	`71`	`expr.(VariableAccess).getTarget().getType().hasSpecifier("restrict") and`
`73`	`72`	`expr.(VariableAccess).getTarget().getParentScope() = expr.getVariable().getParentScope()`
`74`	`73`	`)`