Comparison with zero

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