nihilist/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-11-24 20:33:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Refrain from doing exhaustive iteration over all values of integers

Browse Source
This commit is contained in:
rl1987 2019-03-12 12:01:26 +02:00
parent d731ab4583
commit 052ec08a08
1 changed files with 39 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
src/test/test_ptr_slow.c
View File

@ -10,14 +10,40 @@
#include <stdint.h>
#include <limits.h>
/** Check that all values of int can be cast to void * and back. */
/** Assert that <b>a</b> can be cast to void * and back. */
static void
assert_int_voidptr_roundtrip(int a)
{
intptr_t ap = (intptr_t)a;
void *b = (void *)ap;
intptr_t c = (intptr_t)b;
void *d = (void *)c;
tt_assert(ap == c);
tt_assert(b == d);
done:
return;
}
static void
test_int_voidstar_interop(void *arg)
{
int a;
(void)arg;
for (a = INT_MIN; a < INT_MAX; a++) {
for (a = 0; a <= 1024; a++) {
assert_int_voidptr_roundtrip(a);
}
for (a = INT_MAX-1024; a < INT_MAX; a++) {
assert_int_voidptr_roundtrip(a);
}
}
static void
assert_uint_voidptr_roundtrip(unsigned int a)
{
intptr_t ap = (intptr_t)a;
void *b = (void *)ap;
intptr_t c = (intptr_t)b;
@ -25,31 +51,24 @@ test_int_voidstar_interop(void *arg)
tt_assert(ap == c);
tt_assert(b == d);
}
done:
return;
}
/** Check that all values of unsigned int can be cast to void * and back. */
static void
test_uint_voidstar_interop(void *arg)
{
unsigned int a;
(void)arg;
for (a = 0; a < UINT_MAX; a++) {
intptr_t ap = (intptr_t)a;
void *b = (void *)ap;
intptr_t c = (intptr_t)b;
void *d = (void *)c;
tt_assert(ap == c);
tt_assert(b == d);
for (a = 0; a <= 1024; a++) {
assert_uint_voidptr_roundtrip(a);
}
done:
return;
for (a = UINT_MAX-1024; a < UINT_MAX; a++) {
assert_uint_voidptr_roundtrip(a);
}
}
struct testcase_t slow_ptr_tests[] = {