Viewing file:  strnlen.c (2.24 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/81384 - built-in form of strnlen missing
Test to verify that strnlen built-in expansion works correctly. */
#define PTRDIFF_MAX __PTRDIFF_MAX__
#define SIZE_MAX __SIZE_MAX__
#define NOIPA __attribute__ ((noipa))
typedef __SIZE_TYPE__ size_t;
extern void abort (void);
extern size_t strnlen (const char *, size_t);
#define A(expr) \
((expr) ? (void)0 \
: (__builtin_printf ("assertion on line %i failed: %s\n", \
__LINE__, #expr), \
abort ()))
NOIPA void test_strnlen_str_cst (void)
{
A (strnlen ("", 0) == 0);
A (strnlen ("", 1) == 0);
A (strnlen ("", 9) == 0);
A (strnlen ("", PTRDIFF_MAX) == 0);
A (strnlen ("", SIZE_MAX) == 0);
A (strnlen ("", -1) == 0);
A (strnlen ("1", 0) == 0);
A (strnlen ("1", 1) == 1);
A (strnlen ("1", 9) == 1);
A (strnlen ("1", PTRDIFF_MAX) == 1);
A (strnlen ("1", SIZE_MAX) == 1);
A (strnlen ("1", -2) == 1);
A (strnlen ("123", 0) == 0);
A (strnlen ("123", 1) == 1);
A (strnlen ("123", 2) == 2);
A (strnlen ("123", 3) == 3);
A (strnlen ("123", 9) == 3);
A (strnlen ("123", PTRDIFF_MAX) == 3);
A (strnlen ("123", SIZE_MAX) == 3);
A (strnlen ("123", -2) == 3);
}
NOIPA void test_strnlen_str_range (size_t x)
{
size_t r_0_3 = x & 3;
size_t r_1_3 = r_0_3 | 1;
size_t r_2_3 = r_0_3 | 2;
A (strnlen ("", r_0_3) == 0);
A (strnlen ("1", r_0_3) <= 1);
A (strnlen ("12", r_0_3) <= 2);
A (strnlen ("123", r_0_3) <= 3);
A (strnlen ("1234", r_0_3) <= 3);
A (strnlen ("", r_1_3) == 0);
A (strnlen ("1", r_1_3) == 1);
A (strnlen ("12", r_1_3) <= 2);
A (strnlen ("123", r_1_3) <= 3);
A (strnlen ("1234", r_1_3) <= 3);
A (strnlen ("", r_2_3) == 0);
A (strnlen ("1", r_2_3) == 1);
A (strnlen ("12", r_2_3) == 2);
A (strnlen ("123", r_2_3) <= 3);
A (strnlen ("1234", r_2_3) <= 3);
}
NOIPA void test_strnlen_str_range_side_effect (size_t x)
{
size_t r_0_3 = x & 3;
size_t r_1_3 = r_0_3 | 1;
size_t r_2_3 = r_0_3 | 2;
size_t n = r_2_3;
int i = 0;
A (strnlen ("1234" + i++, n) <= 3);
A (i == 1);
A (strnlen ("1234", n++) <= 3);
A (n == r_2_3 + 1);
}
void
main_test (void)
{
test_strnlen_str_cst ();
test_strnlen_str_range ((size_t)"");
test_strnlen_str_range_side_effect ((size_t)"");
}
|
