Predicate RangeAnalysis::isContradictoryGuardNode
Holds if the condition asserted at guard is contradictory, that is, its condition always has the
opposite of the expected outcome.
Import path
import semmle.javascript.RangeAnalysispredicate isContradictoryGuardNode(ConditionGuardNode guard)