about summary refs log tree commit diff
path: root/test/test-uint_cases.c
diff options
context:
space:
mode:
authorhexcoder- <heiko@hexco.de>2021-06-09 21:29:41 +0200
committerhexcoder- <heiko@hexco.de>2021-06-09 21:29:41 +0200
commita4cb2414d5a26699f999667752d3461da20d3f82 (patch)
tree64ab23a4176eece85e378349133ada3647180241 /test/test-uint_cases.c
parentf9a1e876350bbfcfdb9e955aa35ae5942740f180 (diff)
downloadafl++-a4cb2414d5a26699f999667752d3461da20d3f82.tar.gz
Revert "add test cases for splitting integer comparisons"
This reverts commit e0aa411647e1a525a3a0488d929ec71611388d54.
Diffstat (limited to 'test/test-uint_cases.c')
-rw-r--r--test/test-uint_cases.c217
1 files changed, 0 insertions, 217 deletions
diff --git a/test/test-uint_cases.c b/test/test-uint_cases.c
deleted file mode 100644
index 8496cffe..00000000
--- a/test/test-uint_cases.c
+++ /dev/null
@@ -1,217 +0,0 @@
-/*
- * compile with -DUINT_TYPE="unsigned char"
- *          or  -DUINT_TYPE="unsigned short"
- *          or  -DUINT_TYPE="unsigned int"
- *          or  -DUINT_TYPE="unsigned long"
- *          or  -DUINT_TYPE="unsigned long long"
- */
-
-#include <assert.h>
-
-int main() {
-
-  volatile UINT_TYPE a, b;
-
-  a = 1;
-  b = 8;
-  assert((a < b));
-  assert((a <= b));
-  assert(!(a > b));
-  assert(!(a >= b));
-  assert((a != b));
-  assert(!(a == b));
-
-  if ((UINT_TYPE)(~0) > 255) {
-    volatile unsigned short a, b;
-    a = 256+2;
-    b = 256+21;
-    assert((a < b));
-    assert((a <= b));
-    assert(!(a > b));
-    assert(!(a >= b));
-    assert((a != b));
-    assert(!(a == b));
-
-    a = 21;
-    b = 256+1;
-    assert((a < b));
-    assert((a <= b));
-    assert(!(a > b));
-    assert(!(a >= b));
-    assert((a != b));
-    assert(!(a == b));
-
-    if ((UINT_TYPE)(~0) > 65535) {
-      volatile unsigned int a, b;
-      a = 65536+2;
-      b = 65536+21;
-      assert((a < b));
-      assert((a <= b));
-      assert(!(a > b));
-      assert(!(a >= b));
-      assert((a != b));
-      assert(!(a == b));
- 
-      a = 21;
-      b = 65536+1;
-      assert((a < b));
-      assert((a <= b));
-      assert(!(a > b));
-      assert(!(a >= b));
-      assert((a != b));
-      assert(!(a == b));
-    }
-
-    if ((UINT_TYPE)(~0) > 4294967295) {
-      volatile unsigned long a, b;
-      a = 4294967296+2;
-      b = 4294967296+21;
-      assert((a < b));
-      assert((a <= b));
-      assert(!(a > b));
-      assert(!(a >= b));
-      assert((a != b));
-      assert(!(a == b));
- 
-      a = 21;
-      b = 4294967296+1;
-      assert((a < b));
-      assert((a <= b));
-      assert(!(a > b));
-      assert(!(a >= b));
-      assert((a != b));
-      assert(!(a == b));
-    }
-  }
-
-  a = 8;
-  b = 1;
-  assert((a > b));
-  assert((a >= b));
-  assert(!(a < b));
-  assert(!(a <= b));
-  assert((a != b));
-  assert(!(a == b));
-
-  if ((UINT_TYPE)(~0) > 255) {
-    volatile unsigned short a, b;
-    a = 256+2;
-    b = 256+1;
-    assert((a > b));
-    assert((a >= b));
-    assert(!(a < b));
-    assert(!(a <= b));
-    assert((a != b));
-    assert(!(a == b));
-
-    a = 256+2;
-    b = 6;
-    assert((a > b));
-    assert((a >= b));
-    assert(!(a < b));
-    assert(!(a <= b));
-    assert((a != b));
-    assert(!(a == b));
-
-    if ((UINT_TYPE)(~0) > 65535) {
-      volatile unsigned int a, b;
-      a = 65536+2;
-      b = 65536+1;
-      assert((a > b));
-      assert((a >= b));
-      assert(!(a < b));
-      assert(!(a <= b));
-      assert((a != b));
-      assert(!(a == b));
- 
-      a = 65536+2;
-      b = 6;
-      assert((a > b));
-      assert((a >= b));
-      assert(!(a < b));
-      assert(!(a <= b));
-      assert((a != b));
-      assert(!(a == b));
-
-      if ((UINT_TYPE)(~0) > 4294967295) {
-        volatile unsigned long a, b;
-        a = 4294967296+2;
-        b = 4294967296+1;
-        assert((a > b));
-        assert((a >= b));
-        assert(!(a < b));
-        assert(!(a <= b));
-        assert((a != b));
-        assert(!(a == b));
-  
-        a = 4294967296+2;
-        b = 6;
-        assert((a > b));
-        assert((a >= b));
-        assert(!(a < b));
-        assert(!(a <= b));
-        assert((a != b));
-        assert(!(a == b));
-
-      }
-    }
-  }
-
-
-  a = 0;
-  b = 0;
-  assert(!(a < b));
-  assert((a <= b));
-  assert(!(a > b));
-  assert((a >= b));
-  assert(!(a != b));
-  assert((a == b));
-
-  a = 1;
-  b = 1;
-  assert(!(a < b));
-  assert((a <= b));
-  assert(!(a > b));
-  assert((a >= b));
-  assert(!(a != b));
-  assert((a == b));
-
-  if ((UINT_TYPE)(~0) > 255) {
-    volatile unsigned short a, b;
-    a = 256+5;
-    b = 256+5;
-    assert(!(a < b));
-    assert((a <= b));
-    assert(!(a > b));
-    assert((a >= b));
-    assert(!(a != b));
-    assert((a == b));
-
-    if ((UINT_TYPE)(~0) > 65535) {
-      volatile unsigned int a, b;
-      a = 65536+5;
-      b = 65536+5;
-      assert(!(a < b));
-      assert((a <= b));
-      assert(!(a > b));
-      assert((a >= b));
-      assert(!(a != b));
-      assert((a == b));
-
-      if ((UINT_TYPE)(~0) > 4294967295) {
-        volatile unsigned long a, b;
-        a = 4294967296+5;
-        b = 4294967296+5;
-        assert(!(a < b));
-        assert((a <= b));
-        assert(!(a > b));
-        assert((a >= b));
-        assert(!(a != b));
-        assert((a == b));
-      }
-    }
-
-  }
-
-}
-