2 * Copyright 2017 The OpenSSL Project Authors. All Rights Reserved.
4 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
10 #include "../testutil.h"
15 #include "../../e_os.h"
17 /* The size of memory buffers to display on failure */
18 #define MEM_BUFFER_SIZE (21)
21 * A common routine to output test failure messages. Generally this should not
22 * be called directly, rather it should be called by the following functions.
24 * |desc| is a printf formatted description with arguments |args| that is
25 * supplied by the user and |desc| can be NULL. |type| is the data type
26 * that was tested (int, char, ptr, ...). |fmt| is a system provided
27 * printf format with following arguments that spell out the failure
28 * details i.e. the actual values compared and the operator used.
30 * The typical use for this is from an utility test function:
32 * int test6(const char *file, int line, int n) {
34 * test_fail_message(1, file, line, "int", "value %d is not %d", n, 6);
40 * calling test6(3, "oops") will return 0 and produce out along the lines of:
41 * FAIL oops: (int) value 3 is not 6\n
43 * It general, test_fail_message should not be called directly.
45 static void test_fail_message(const char *prefix, const char *file, int line,
46 const char *type, const char *fmt, ...)
49 static void test_fail_message_va(const char *prefix, const char *file, int line,
50 const char *type, const char *fmt, va_list ap)
52 test_printf_stderr("%*s# ", subtest_level(), "");
53 test_puts_stderr(prefix != NULL ? prefix : "ERROR");
54 test_puts_stderr(":");
56 test_printf_stderr(" (%s)", type);
58 test_puts_stderr(" ");
59 test_vprintf_stderr(fmt, ap);
62 test_printf_stderr(" @ %s:%d", file, line);
64 test_puts_stderr("\n");
68 static void test_fail_message(const char *prefix, const char *file, int line,
69 const char *type, const char *fmt, ...)
74 test_fail_message_va(prefix, file, line, type, fmt, ap);
78 void test_info_c90(const char *desc, ...)
83 test_fail_message_va("INFO", NULL, -1, NULL, desc, ap);
87 void test_info(const char *file, int line, const char *desc, ...)
92 test_fail_message_va("INFO", file, line, NULL, desc, ap);
96 void test_error_c90(const char *desc, ...)
101 test_fail_message(NULL, NULL, -1, NULL, desc, ap);
105 void test_error(const char *file, int line, const char *desc, ...)
110 test_fail_message_va(NULL, file, line, NULL, desc, ap);
115 * Define some comparisons between pairs of various types.
116 * These functions return 1 if the test is true.
117 * Otherwise, they return 0 and pretty-print diagnostics.
119 * In each case the functions produced are:
120 * int test_name_eq(const type t1, const type t2, const char *desc, ...);
121 * int test_name_ne(const type t1, const type t2, const char *desc, ...);
122 * int test_name_lt(const type t1, const type t2, const char *desc, ...);
123 * int test_name_le(const type t1, const type t2, const char *desc, ...);
124 * int test_name_gt(const type t1, const type t2, const char *desc, ...);
125 * int test_name_ge(const type t1, const type t2, const char *desc, ...);
127 * The t1 and t2 arguments are to be compared for equality, inequality,
128 * less than, less than or equal to, greater than and greater than or
129 * equal to respectively. If the specified condition holds, the functions
130 * return 1. If the condition does not hold, the functions print a diagnostic
131 * message and return 0.
133 * The desc argument is a printf format string followed by its arguments and
134 * this is included in the output if the condition being tested for is false.
136 #define DEFINE_COMPARISON(type, name, opname, op, fmt) \
137 int test_ ## name ## _ ## opname(const char *file, int line, \
138 const char *s1, const char *s2, \
139 const type t1, const type t2) \
143 test_fail_message(NULL, file, line, #type, \
144 "%s [" fmt "] " #op " %s [" fmt "]", \
149 #define DEFINE_COMPARISONS(type, name, fmt) \
150 DEFINE_COMPARISON(type, name, eq, ==, fmt) \
151 DEFINE_COMPARISON(type, name, ne, !=, fmt) \
152 DEFINE_COMPARISON(type, name, lt, <, fmt) \
153 DEFINE_COMPARISON(type, name, le, <=, fmt) \
154 DEFINE_COMPARISON(type, name, gt, >, fmt) \
155 DEFINE_COMPARISON(type, name, ge, >=, fmt)
157 DEFINE_COMPARISONS(int, int, "%d")
158 DEFINE_COMPARISONS(unsigned int, uint, "%u")
159 DEFINE_COMPARISONS(char, char, "%c")
160 DEFINE_COMPARISONS(unsigned char, uchar, "%u")
161 DEFINE_COMPARISONS(long, long, "%ld")
162 DEFINE_COMPARISONS(unsigned long, ulong, "%lu")
163 DEFINE_COMPARISONS(size_t, size_t, "%zu")
165 DEFINE_COMPARISON(void *, ptr, eq, ==, "%p")
166 DEFINE_COMPARISON(void *, ptr, ne, !=, "%p")
168 int test_ptr_null(const char *file, int line, const char *s, const void *p)
172 test_fail_message(NULL, file, line, "ptr", "%s [%p] == NULL", s, p);
176 int test_ptr(const char *file, int line, const char *s, const void *p)
180 test_fail_message(NULL, file, line, "ptr", "%s [%p] != NULL", s, p);
184 int test_true(const char *file, int line, const char *s, int b)
188 test_fail_message(NULL, file, line, "bool", "%s [false] == true", s);
192 int test_false(const char *file, int line, const char *s, int b)
196 test_fail_message(NULL, file, line, "bool", "%s [true] == false", s);
200 static const char *print_string_maybe_null(const char *s)
202 return s == NULL ? "(NULL)" : s;
205 int test_str_eq(const char *file, int line, const char *st1, const char *st2,
206 const char *s1, const char *s2)
208 if (s1 == NULL && s2 == NULL)
210 if (s1 == NULL || s2 == NULL || strcmp(s1, s2) != 0) {
211 test_fail_message(NULL, file, line, "string", "%s [%s] == %s [%s]",
212 st1, print_string_maybe_null(s1),
213 st2, print_string_maybe_null(s2));
219 int test_str_ne(const char *file, int line, const char *st1, const char *st2,
220 const char *s1, const char *s2)
222 if ((s1 == NULL) ^ (s2 == NULL))
224 if (s1 == NULL || strcmp(s1, s2) == 0) {
225 test_fail_message(NULL, file, line, "string", "%s [%s] != %s [%s]",
226 st1, print_string_maybe_null(s1),
227 st2, print_string_maybe_null(s2));
233 int test_strn_eq(const char *file, int line, const char *st1, const char *st2,
234 const char *s1, const char *s2, size_t len)
238 if (s1 == NULL && s2 == NULL)
240 if (s1 == NULL || s2 == NULL || strncmp(s1, s2, len) != 0) {
241 test_fail_message(NULL, file, line, "string", "%.s [%.*s] == %s [%.*s]",
242 st1, prec, print_string_maybe_null(s1),
243 st2, prec, print_string_maybe_null(s2));
249 int test_strn_ne(const char *file, int line, const char *st1, const char *st2,
250 const char *s1, const char *s2, size_t len)
254 if ((s1 == NULL) ^ (s2 == NULL))
256 if (s1 == NULL || strncmp(s1, s2, len) == 0) {
257 test_fail_message(NULL, file, line, "string", "%s [%.*s] != %s [%.*s]",
258 st1, prec, print_string_maybe_null(s1),
259 st2, prec, print_string_maybe_null(s2));
266 * We could use OPENSSL_buf2hexstr() to do this but trying to allocate memory
267 * in a failure state isn't generally a great idea.
269 static const char *print_mem_maybe_null(const void *s, size_t n,
270 char out[MEM_BUFFER_SIZE])
273 const unsigned char *p = (const unsigned char *)s;
274 int pad = 2*n >= MEM_BUFFER_SIZE;
279 n = MEM_BUFFER_SIZE-4;
281 for (i=0; i<2*n; i++) {
282 unsigned char c = (i & 1) != 0 ? p[i / 2] & 15 : p[i / 2] >> 4;
283 out[i] = "0123456789abcdef"[c];
295 int test_mem_eq(const char *file, int line, const char *st1, const char *st2,
296 const void *s1, size_t n1, const void *s2, size_t n2)
298 char b1[MEM_BUFFER_SIZE], b2[MEM_BUFFER_SIZE];
300 if (s1 == NULL && s2 == NULL)
303 test_fail_message(NULL, file, line, "memory",
304 "size mismatch %s %s [%zu] != %s %s [%zu]",
305 st1, print_mem_maybe_null(s1, n1, b1), n1,
306 st2, print_mem_maybe_null(s2, n2, b2), n2);
309 if (s1 == NULL || s2 == NULL || memcmp(s1, s2, n1) != 0) {
310 test_fail_message(NULL, file, line, "memory",
311 "%s %s [%zu] != %s %s [%zu]",
312 st1, print_mem_maybe_null(s1, n1, b1), n1,
313 st2, print_mem_maybe_null(s2, n2, b2), n2);
319 int test_mem_ne(const char *file, int line, const char *st1, const char *st2,
320 const void *s1, size_t n1, const void *s2, size_t n2)
322 char b1[MEM_BUFFER_SIZE], b2[MEM_BUFFER_SIZE];
324 if ((s1 == NULL) ^ (s2 == NULL))
328 if (s1 == NULL || memcmp(s1, s2, n1) == 0) {
329 test_fail_message(NULL, file, line, "memory",
330 "%s %s [%zu] != %s %s [%zu]",
331 st1, print_mem_maybe_null(s1, n1, b1), n1,
332 st2, print_mem_maybe_null(s2, n2, b2), n2);