Comparison with zero

go
basic
pattern

Author: LGTM

import go

from DataFlow::RelationalComparisonNode cmp, DataFlow::Node unsigned, DataFlow::Node zero
where
  zero.getNumericValue() = 0 and
  unsigned.getType().getUnderlyingType() instanceof UnsignedIntegerType and
  cmp.leq(_, zero, unsigned, 0)
select cmp, unsigned

Description

Finds comparisons between an unsigned value and zero.