CCCC
C bytecode compiler + VM interpreter
Loading...
Searching...
No Matches
testing.h
Go to the documentation of this file.
1
27#pragma once
28
29// ============================================================================
30// Underlying FFI-callable assertion functions
31// ============================================================================
32
42void __builtin_assert(int cond, const char *expr, const char *file, int line);
43
53void __builtin_assert_false(int cond, const char *expr, const char *file,
54 int line);
55
63void __builtin_assert_fail(const char *file, int line);
64
73void __builtin_assert_fail_msg(const char *msg, const char *file, int line);
74
86void __builtin_assert_eq(long long a, long long b, const char *as,
87 const char *bs, const char *file, int line);
88
100void __builtin_assert_neq(long long a, long long b, const char *as,
101 const char *bs, const char *file, int line);
102
114void __builtin_assert_gt(long long a, long long b, const char *as,
115 const char *bs, const char *file, int line);
116
128void __builtin_assert_lt(long long a, long long b, const char *as,
129 const char *bs, const char *file, int line);
130
142void __builtin_assert_ge(long long a, long long b, const char *as,
143 const char *bs, const char *file, int line);
144
156void __builtin_assert_le(long long a, long long b, const char *as,
157 const char *bs, const char *file, int line);
158
173void __builtin_assert_within(long long delta, long long expected,
174 long long actual, const char *ds, const char *es,
175 const char *as, const char *file, int line);
176
186void __builtin_assert_null(const void *p, const char *ps, const char *file,
187 int line);
188
198void __builtin_assert_not_null(const void *p, const char *ps, const char *file,
199 int line);
200
212void __builtin_assert_streq(const char *a, const char *b, const char *as,
213 const char *bs, const char *file, int line);
214
228void __builtin_assert_streq_len(const char *a, const char *b, long long len,
229 const char *as, const char *bs,
230 const char *file, int line);
231
244void __builtin_assert_mem_eq(const void *expected, const void *actual,
245 long long len, const char *es, const char *as,
246 const char *file, int line);
247
262void __builtin_assert_float_within(double delta, double expected, double actual,
263 const char *ds, const char *es,
264 const char *as, const char *file, int line);
265
280void __builtin_assert_double_within(double delta, double expected,
281 double actual, const char *ds,
282 const char *es, const char *as,
283 const char *file, int line);
284
299void __builtin_assert_bits(long long mask, long long expected, long long actual,
300 const char *ms, const char *es, const char *as,
301 const char *file, int line);
302
314void __builtin_assert_bit_high(int bit, long long actual, const char *bs,
315 const char *as, const char *file, int line);
316
328void __builtin_assert_bit_low(int bit, long long actual, const char *bs,
329 const char *as, const char *file, int line);
330
344void __builtin_assert_eq_array(const void *expected, const void *actual,
345 long long elem_size, long long count,
346 const char *es, const char *as, const char *file,
347 int line);
348
349// ============================================================================
350// Message-appending variants
351// ============================================================================
352
363void __builtin_assert_msg(int cond, const char *expr, const char *msg,
364 const char *file, int line);
365
378void __builtin_assert_eq_msg(long long a, long long b, const char *as,
379 const char *bs, const char *msg, const char *file,
380 int line);
381
395void __builtin_assert_streq_msg(const char *a, const char *b, const char *as,
396 const char *bs, const char *msg,
397 const char *file, int line);
398
409void __builtin_assert_null_msg(const void *p, const char *ps, const char *msg,
410 const char *file, int line);
411
422void __builtin_assert_not_null_msg(const void *p, const char *ps,
423 const char *msg, const char *file, int line);
424
441void __builtin_assert_bits_msg(long long mask, long long expected,
442 long long actual, const char *ms, const char *es,
443 const char *as, const char *msg,
444 const char *file, int line);
445
446// ============================================================================
447// Basic Validity Assertions
448// ============================================================================
449
457#define Assert(cond) __builtin_assert(!!(cond), #cond, __FILE__, __LINE__)
458
464#define AssertTrue(cond) Assert(cond)
465
471#define AssertFalse(cond) \
472 __builtin_assert_false(!!(cond), #cond, __FILE__, __LINE__)
473
478#define AssertFail() __builtin_assert_fail(__FILE__, __LINE__)
479
485#define AssertFailMsg(msg) __builtin_assert_fail_msg(msg, __FILE__, __LINE__)
486
487// ============================================================================
488// Numerical Assertions: Integers
489// ============================================================================
490
497#define AssertEq(a, b) \
498 __builtin_assert_eq((long long)(a), (long long)(b), #a, #b, __FILE__, \
499 __LINE__)
500
507#define AssertNeq(a, b) \
508 __builtin_assert_neq((long long)(a), (long long)(b), #a, #b, __FILE__, \
509 __LINE__)
510
517#define AssertGt(a, b) \
518 __builtin_assert_gt((long long)(a), (long long)(b), #a, #b, __FILE__, \
519 __LINE__)
520
527#define AssertLt(a, b) \
528 __builtin_assert_lt((long long)(a), (long long)(b), #a, #b, __FILE__, \
529 __LINE__)
530
537#define AssertGe(a, b) \
538 __builtin_assert_ge((long long)(a), (long long)(b), #a, #b, __FILE__, \
539 __LINE__)
540
547#define AssertLe(a, b) \
548 __builtin_assert_le((long long)(a), (long long)(b), #a, #b, __FILE__, \
549 __LINE__)
550
559#define AssertWithin(delta, expected, actual) \
560 __builtin_assert_within((long long)(delta), (long long)(expected), \
561 (long long)(actual), #delta, #expected, #actual, \
562 __FILE__, __LINE__)
563
564// ============================================================================
565// Numerical Assertions: Bitwise
566// ============================================================================
567
576#define AssertBits(mask, expected, actual) \
577 __builtin_assert_bits((long long)(mask), (long long)(expected), \
578 (long long)(actual), #mask, #expected, #actual, \
579 __FILE__, __LINE__)
580
588#define AssertBitHigh(bit, actual) \
589 __builtin_assert_bit_high((int)(bit), (long long)(actual), #bit, #actual, \
590 __FILE__, __LINE__)
591
599#define AssertBitLow(bit, actual) \
600 __builtin_assert_bit_low((int)(bit), (long long)(actual), #bit, #actual, \
601 __FILE__, __LINE__)
602
603// ============================================================================
604// Numerical Assertions: Floats / Doubles
605// ============================================================================
606
614#define AssertFloatWithin(delta, expected, actual) \
615 __builtin_assert_float_within((double)(delta), (double)(expected), \
616 (double)(actual), #delta, #expected, \
617 #actual, __FILE__, __LINE__)
618
626#define AssertDoubleWithin(delta, expected, actual) \
627 __builtin_assert_double_within((double)(delta), (double)(expected), \
628 (double)(actual), #delta, #expected, \
629 #actual, __FILE__, __LINE__)
630
638#define AssertFloatEq(expected, actual) \
639 __builtin_assert_float_within(1e-6, (double)(expected), (double)(actual), \
640 #expected, #expected, #actual, __FILE__, \
641 __LINE__)
642
650#define AssertDoubleEq(expected, actual) \
651 __builtin_assert_double_within(1e-15, (double)(expected), \
652 (double)(actual), #expected, #expected, \
653 #actual, __FILE__, __LINE__)
654
655// ============================================================================
656// Pointer Assertions
657// ============================================================================
658
664#define AssertNull(p) \
665 __builtin_assert_null((const void *)(p), #p, __FILE__, __LINE__)
666
672#define AssertNotNull(p) \
673 __builtin_assert_not_null((const void *)(p), #p, __FILE__, __LINE__)
674
675// ============================================================================
676// String Assertions
677// ============================================================================
678
685#define AssertStrEq(a, b) \
686 __builtin_assert_streq((a), (b), #a, #b, __FILE__, __LINE__)
687
695#define AssertStrEqLen(a, b, len) \
696 __builtin_assert_streq_len((a), (b), (long long)(len), #a, #b, __FILE__, \
697 __LINE__)
698
699// ============================================================================
700// Memory Assertions
701// ============================================================================
702
710#define AssertMemEq(expected, actual, len) \
711 __builtin_assert_mem_eq((const void *)(expected), (const void *)(actual), \
712 (long long)(len), #expected, #actual, __FILE__, \
713 __LINE__)
714
715// ============================================================================
716// Array Assertions
717// ============================================================================
718
727#define AssertArrayEq(expected, actual, count) \
728 __builtin_assert_eq_array( \
729 (const void *)(expected), (const void *)(actual), \
730 (long long)sizeof((expected)[0]), (long long)(count), #expected, \
731 #actual, __FILE__, __LINE__)
732
742#define AssertEachEq(expected, actual, count) \
743 do { \
744 long long _cccc_i_; \
745 for (_cccc_i_ = 0; _cccc_i_ < (long long)(count); _cccc_i_++) \
746 __builtin_assert_eq((long long)((expected)), \
747 (long long)(((const typeof(( \
748 actual)[0]) *)(actual))[_cccc_i_]), \
749 #expected, #actual "[i]", __FILE__, __LINE__); \
750 } while (0)
751
752// ============================================================================
753// Message-appending variants (_msg suffix)
754// ============================================================================
755
762#define AssertMsg(cond, msg) \
763 __builtin_assert_msg(!!(cond), #cond, msg, __FILE__, __LINE__)
764
772#define AssertTrueMsg(cond, msg) AssertMsg(cond, msg)
773
780#define AssertFalseMsg(cond, msg) \
781 __builtin_assert_msg(!(cond), #cond, msg, __FILE__, __LINE__)
782
790#define AssertEqMsg(a, b, msg) \
791 __builtin_assert_eq_msg((long long)(a), (long long)(b), #a, #b, msg, \
792 __FILE__, __LINE__)
793
801#define AssertStrEqMsg(a, b, msg) \
802 __builtin_assert_streq_msg((a), (b), #a, #b, msg, __FILE__, __LINE__)
803
810#define AssertNullMsg(p, msg) \
811 __builtin_assert_null_msg((const void *)(p), #p, msg, __FILE__, __LINE__)
812
819#define AssertNotNullMsg(p, msg) \
820 __builtin_assert_not_null_msg((const void *)(p), #p, msg, __FILE__, \
821 __LINE__)
822
831#define AssertBitsMsg(mask, expected, actual, msg) \
832 __builtin_assert_bits_msg((long long)(mask), (long long)(expected), \
833 (long long)(actual), #mask, #expected, #actual, \
834 msg, __FILE__, __LINE__)
__builtin_assert_float_within
void __builtin_assert_float_within(double delta, double expected, double actual, const char *ds, const char *es, const char *as, const char *file, int line)
Assert that a float is within a delta of an expected value.
__builtin_assert_double_within
void __builtin_assert_double_within(double delta, double expected, double actual, const char *ds, const char *es, const char *as, const char *file, int line)
Assert that a double is within a delta of an expected value.
__builtin_assert_ge
void __builtin_assert_ge(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that one integer is greater than or equal to another.
__builtin_assert_gt
void __builtin_assert_gt(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that one integer is greater than another.
__builtin_assert_streq_len
void __builtin_assert_streq_len(const char *a, const char *b, long long len, const char *as, const char *bs, const char *file, int line)
Assert that two C strings are equal up to a given length.
__builtin_assert_streq
void __builtin_assert_streq(const char *a, const char *b, const char *as, const char *bs, const char *file, int line)
Assert that two C strings are equal (full strcmp).
__builtin_assert_bits
void __builtin_assert_bits(long long mask, long long expected, long long actual, const char *ms, const char *es, const char *as, const char *file, int line)
Assert that specific bits match between expected and actual values.
__builtin_assert_false
void __builtin_assert_false(int cond, const char *expr, const char *file, int line)
Assert that a condition is false.
__builtin_assert_mem_eq
void __builtin_assert_mem_eq(const void *expected, const void *actual, long long len, const char *es, const char *as, const char *file, int line)
Assert that two memory regions are byte-identical.
__builtin_assert_le
void __builtin_assert_le(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that one integer is less than or equal to another.
__builtin_assert_eq_array
void __builtin_assert_eq_array(const void *expected, const void *actual, long long elem_size, long long count, const char *es, const char *as, const char *file, int line)
Assert that two arrays are element-by-element equal.
__builtin_assert_bits_msg
void __builtin_assert_bits_msg(long long mask, long long expected, long long actual, const char *ms, const char *es, const char *as, const char *msg, const char *file, int line)
Assert specific bits match with a custom message.
__builtin_assert_not_null_msg
void __builtin_assert_not_null_msg(const void *p, const char *ps, const char *msg, const char *file, int line)
Assert a pointer is not NULL with a custom message.
__builtin_assert_within
void __builtin_assert_within(long long delta, long long expected, long long actual, const char *ds, const char *es, const char *as, const char *file, int line)
Assert that an integer is within a delta of an expected value.
__builtin_assert_bit_high
void __builtin_assert_bit_high(int bit, long long actual, const char *bs, const char *as, const char *file, int line)
Assert that a specific bit is set (high/1).
__builtin_assert_streq_msg
void __builtin_assert_streq_msg(const char *a, const char *b, const char *as, const char *bs, const char *msg, const char *file, int line)
Assert two C strings are equal with a custom message.
__builtin_assert_lt
void __builtin_assert_lt(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that one integer is less than another.
__builtin_assert_eq
void __builtin_assert_eq(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that two integers are equal.
__builtin_assert_null
void __builtin_assert_null(const void *p, const char *ps, const char *file, int line)
Assert that a pointer is NULL.
__builtin_assert_neq
void __builtin_assert_neq(long long a, long long b, const char *as, const char *bs, const char *file, int line)
Assert that two integers are not equal.
__builtin_assert_null_msg
void __builtin_assert_null_msg(const void *p, const char *ps, const char *msg, const char *file, int line)
Assert a pointer is NULL with a custom message.
__builtin_assert_fail
void __builtin_assert_fail(const char *file, int line)
Unconditionally fail a test.
__builtin_assert
void __builtin_assert(int cond, const char *expr, const char *file, int line)
Assert that a condition is true.
__builtin_assert_eq_msg
void __builtin_assert_eq_msg(long long a, long long b, const char *as, const char *bs, const char *msg, const char *file, int line)
Assert two integers are equal with a custom message.
__builtin_assert_msg
void __builtin_assert_msg(int cond, const char *expr, const char *msg, const char *file, int line)
Assert a condition is true with a custom message.
__builtin_assert_bit_low
void __builtin_assert_bit_low(int bit, long long actual, const char *bs, const char *as, const char *file, int line)
Assert that a specific bit is clear (low/0).
__builtin_assert_fail_msg
void __builtin_assert_fail_msg(const char *msg, const char *file, int line)
Unconditionally fail a test with a custom message.
__builtin_assert_not_null
void __builtin_assert_not_null(const void *p, const char *ps, const char *file, int line)
Assert that a pointer is not NULL.
Generated by doxygen 1.9.8