kc3-lang/libxml2/test/XPath/expr/floats

Branch : - branch - master - tag -

• Show log

  Commit

• Author : Nick Wellnhofer
  Date : 2017-06-01 22:00:19
  Hash : 7482f41f
  Message : Check for integer overflow in xmlXPathFormatNumber Check for overflow before casting double to int. Found with afl-fuzz and UBSan.

• test/XPath/expr/floats

• 1
  123
  1.23
  0.123
  4.
  .4
  1.23e3
  1.23e-3
  1 div 0
  -1 div 0
  0 div 0
  1 div -0
  (1 div 0) > 0
  (1 div 0) < 0
  (-1 div 0) > 0
  (-1 div 0) < 0
  (0 div 0) > 0
  (0 div 0) < 0
  (1 div -0) > 0
  (1 div -0) < 0
  0 div 0 = 0 div 0
  0 div 0 != 0 div 0
  0 div 0 > 0 div 0
  0 div 0 < 0 div 0
  0 div 0 >= 0 div 0
  0 div 0 <= 0 div 0
  1 div 0 = -1 div 0
  1 div 0 != -1 div 0
  1 div 0 > -1 div 0
  1 div 0 < -1 div 0
  1 div 0 >= -1 div 0
  1 div 0 <= -1 div 0
  1 div 0 = 1 div 0
  1 div 0 != 1 div 0
  1 div 0 > 1 div 0
  1 div 0 < 1 div 0
  1 div 0 >= -1 div 0
  1 div 0 <= -1 div 0
  -2 div 0 = -1 div 0
  1 div floor(0.1)
  1 div floor(-0.1)
  1 div floor(-0)
  1 div floor(0)
  1 div ceiling(0.1)
  1 div ceiling(-0.1)
  1 div ceiling(-0)
  1 div ceiling(0)
  1 div round(0.1)
  1 div round(-0.1)
  1 div round(-0)
  1 div round(0)
  1 div number('f')
  number('f') div 1
  1 div (1 div 0)
  (1 div 0) div 1
  -(1 div 0) div 1
  5 mod 2
  5 mod -2
  -5 mod 2
  -5 mod -2
  8 mod 3 = 2
  12345678901234567890
  -12345678901234567890