Predicate GuardsInput::equalityTest
Holds if eqtest tests the equality (or inequality) of left and
right.
If polarity is true then eqtest is an equality test, and otherwise
eqtest is an inequality test.
Import path
import semmle.code.cpp.controlflow.IRGuardspredicate equalityTest(Expr eqtest, Expr left, Expr right, boolean polarity)