134 #  define SAFE_UINT64_MAX 0xffffffffffffffffUL  macro
138 #  define SAFE_UINT64_MAX 0xffffffffffffffffULL  macro
310     a = 1; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_add(NULL, a, b));  in T_add_u64()
311     a = SAFE_UINT64_MAX / 2; b = a + 2; EXPECT_FALSE(safe_add(NULL, a, b));  in T_add_u64()
312     a = SAFE_UINT64_MAX / 2; b = a; EXPECT_TRUE(safe_add(NULL, a, b));  in T_add_u64()
313     a = SAFE_UINT64_MAX / 2; b = a + 1; EXPECT_TRUE(safe_add(NULL, a, b));  in T_add_u64()
315     a = 0; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_add(NULL, a, b));  in T_add_u64()
536     a = SAFE_UINT64_MAX - 1; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_sub(NULL, a, b));  in T_sub_u64()
537     a = SAFE_UINT64_MAX; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_sub(NULL, a, b));  in T_sub_u64()
777     a = SAFE_UINT64_MAX - 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
778     a = 2; b = SAFE_UINT64_MAX - 1; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
779     a = SAFE_UINT64_MAX; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
780     a = 2; b = SAFE_UINT64_MAX; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
781     a = SAFE_UINT64_MAX / 2 + 1; b = 2; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
782     a = 2; b = SAFE_UINT64_MAX / 2 + 1; EXPECT_FALSE(safe_mul(NULL, a, b));  in T_mul_u64()
783     a = SAFE_UINT64_MAX / 2; b = 2; EXPECT_TRUE(safe_mul(NULL, a, b));  in T_mul_u64()
784     a = 0; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));  in T_mul_u64()
785     a = 1; b = SAFE_UINT64_MAX; EXPECT_TRUE(safe_mul(NULL, a, b));  in T_mul_u64()
786     a = SAFE_UINT64_MAX; b = 0; EXPECT_TRUE(safe_mul(NULL, a, b));  in T_mul_u64()
787     a = SAFE_UINT64_MAX; b = 1; EXPECT_TRUE(safe_mul(NULL, a, b));  in T_mul_u64()
1144     EXPECT_TRUE(__sio(m)(umax)(((uint64_t)0)) == SAFE_UINT64_MAX);  in T_magic_constants()