regress/lib/libc/sys/t_clock_gettime.c

127

ATF_CHECK(diff >= 0);

regress/lib/libc/sys/t_getsockname.c

60

ATF_CHECK(sun.sun_family == AF_UNIX);

regress/lib/libc/sys/t_getsockname.c

61

ATF_CHECK(strcmp(sun.sun_path, "") == 0);

regress/lib/libc/sys/t_getsockname.c

72

ATF_CHECK(sun.sun_family == AF_UNIX);

regress/lib/libc/sys/t_getsockname.c

73

ATF_CHECK(strcmp(sun.sun_path, path) == 0);

regress/lib/libc/sys/t_kevent.c

133

ATF_CHECK(kevent(kq, &ev, 1, NULL, 0, NULL) != -1);

regress/lib/libc/sys/t_kevent.c

148

ATF_CHECK(WIFEXITED(status) && WEXITSTATUS(status)==0);

regress/lib/libc/sys/t_msgget.c

172

ATF_CHECK(msgds.msg_qnum == 0);

regress/lib/libc/sys/t_msgget.c

173

ATF_CHECK(msgds.msg_lspid == 0);

regress/lib/libc/sys/t_msgget.c

174

ATF_CHECK(msgds.msg_lrpid == 0);

regress/lib/libc/sys/t_msgget.c

175

ATF_CHECK(msgds.msg_rtime == 0);

regress/lib/libc/sys/t_msgget.c

176

ATF_CHECK(msgds.msg_stime == 0);

regress/lib/libc/sys/t_msgget.c

177

ATF_CHECK(msgds.msg_perm.uid == uid);

regress/lib/libc/sys/t_msgget.c

178

ATF_CHECK(msgds.msg_perm.gid == gid);

regress/lib/libc/sys/t_msgget.c

179

ATF_CHECK(msgds.msg_perm.cuid == uid);

regress/lib/libc/sys/t_msgget.c

180

ATF_CHECK(msgds.msg_perm.cgid == gid);

regress/lib/libc/sys/t_msgget.c

181

ATF_CHECK(msgds.msg_perm.mode == 0600);

regress/lib/libc/sys/t_msgrcv.c

221

ATF_CHECK(msg1.buf[0] != msg2.buf[0]); /* Different mtype. */

regress/lib/libc/sys/t_msgrcv.c

222

ATF_CHECK(msg1.buf[1] != msg2.buf[1]);

regress/lib/libc/sys/t_msgrcv.c

223

ATF_CHECK(msg1.buf[2] != msg2.buf[2]);

regress/lib/libc/sys/t_msgrcv.c

227

ATF_CHECK(msg1.buf[0] == msg2.buf[0]); /* Same mtype. */

regress/lib/libc/sys/t_msgrcv.c

228

ATF_CHECK(msg1.buf[1] == msg2.buf[1]);

regress/lib/libc/sys/t_msgrcv.c

229

ATF_CHECK(msg1.buf[2] == msg2.buf[2]);

regress/lib/libc/sys/t_msgrcv.c

322

ATF_CHECK(msg1.buf[0] == msg2.buf[0]);

regress/lib/libc/sys/t_msgrcv.c

323

ATF_CHECK(msg1.buf[1] == msg2.buf[1]);

regress/lib/libc/sys/t_msgrcv.c

92

ATF_CHECK(msg1.buf[0] == msg2.buf[0]);

regress/lib/libc/sys/t_msgrcv.c

93

ATF_CHECK(msg1.buf[1] == msg2.buf[1]);

regress/lib/libc/sys/t_msgrcv.c

94

ATF_CHECK(msg1.buf[2] == msg2.buf[2]);

regress/lib/libc/sys/t_setrlimit.c

534

ATF_CHECK(res.rlim_cur <= res.rlim_max);

regress/lib/libm/msun/csqrt_test.c

126

ATF_CHECK(t_csqrt(CMPLXL(a, b)) == CMPLXL(x, y));

regress/lib/libm/msun/csqrt_test.c

183

ATF_CHECK(creall(t_csqrt(CMPLXL(INFINITY, NAN))) == INFINITY);

regress/lib/libm/msun/csqrt_test.c

184

ATF_CHECK(isnan(cimagl(t_csqrt(CMPLXL(INFINITY, NAN)))));

regress/lib/libm/msun/csqrt_test.c

186

ATF_CHECK(isnan(creall(t_csqrt(CMPLXL(-INFINITY, NAN)))));

regress/lib/libm/msun/csqrt_test.c

187

ATF_CHECK(isinf(cimagl(t_csqrt(CMPLXL(-INFINITY, NAN)))));

regress/lib/libm/msun/csqrt_test.c

217

ATF_CHECK(maxexp > 0 && maxexp % 2 == 0);

regress/lib/libm/msun/ctrig_test.c

64

ATF_CHECK(feclearexcept(FE_ALL_EXCEPT) == 0); \

regress/lib/libm/msun/fenv_test.c

202

ATF_CHECK(memcmp(&env.__mxcsr, &FE_DFL_ENV->__mxcsr,

regress/lib/libm/msun/fenv_test.c

204

ATF_CHECK(memcmp(&env.__x87.__control, &FE_DFL_ENV->__x87.__control,

regress/lib/libm/msun/fenv_test.c

206

ATF_CHECK(memcmp(&env.__x87.__status, &FE_DFL_ENV->__x87.__status,

regress/lib/libm/msun/fenv_test.c

208

ATF_CHECK(memcmp(&env.__x87.__tag, &FE_DFL_ENV->__x87.__tag,

regress/lib/libm/msun/fma_test.c

57

ATF_CHECK(feclearexcept(FE_ALL_EXCEPT) == 0); \

regress/lib/libm/msun/lrint_test.c

40

ATF_CHECK(feclearexcept(FE_ALL_EXCEPT) == 0); \

regress/lib/libm/msun/rem_test.c

115

ATF_CHECK(isnan(remainder(x, y)));

regress/lib/libm/msun/rem_test.c

116

ATF_CHECK(isnan(remquo(x, y, &q)));

regress/lib/libm/msun/rem_test.c

118

ATF_CHECK(q == 0xdeadbeef);

regress/lib/libm/msun/rem_test.c

121

ATF_CHECK(isnan(remainderf(x, y)));

regress/lib/libm/msun/rem_test.c

122

ATF_CHECK(isnan(remquof(x, y, &q)));

regress/lib/libm/msun/rem_test.c

124

ATF_CHECK(q == 0xdeadbeef);

regress/lib/libm/msun/rem_test.c

127

ATF_CHECK(isnan(remainderl(x, y)));

regress/lib/libm/msun/rem_test.c

128

ATF_CHECK(isnan(remquol(x, y, &q)));

regress/lib/libm/msun/rem_test.c

130

ATF_CHECK(q == 0xdeadbeef);

regress/lib/libm/msun/rem_test.c

149

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

150

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

152

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

153

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

154

ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */

regress/lib/libm/msun/rem_test.c

155

ATF_CHECK((q & 0x7) == (expected_quo & 0x7));

regress/lib/libm/msun/rem_test.c

157

ATF_CHECK((q > 0) ^ !(expected_quo > 0));

regress/lib/libm/msun/rem_test.c

159

ATF_CHECK(q == (abs(expected_quo) & mask(q)));

regress/lib/libm/msun/rem_test.c

171

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

172

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

174

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

175

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

176

ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */

regress/lib/libm/msun/rem_test.c

177

ATF_CHECK((q & 0x7) == (expected_quo & 0x7));

regress/lib/libm/msun/rem_test.c

179

ATF_CHECK((q > 0) ^ !(expected_quo > 0));

regress/lib/libm/msun/rem_test.c

181

ATF_CHECK(q == (abs(expected_quo) & mask(q)));

regress/lib/libm/msun/rem_test.c

193

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

194

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

196

ATF_CHECK(rem == expected_rem);

regress/lib/libm/msun/rem_test.c

197

ATF_CHECK(!signbit(rem) == !signbit(expected_rem));

regress/lib/libm/msun/rem_test.c

198

ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */

regress/lib/libm/msun/rem_test.c

199

ATF_CHECK((q & 0x7) == (expected_quo & 0x7));

regress/lib/libm/msun/rem_test.c

201

ATF_CHECK((q > 0) ^ !(expected_quo > 0));

regress/lib/libm/msun/rem_test.c

203

ATF_CHECK((q & mask(q)) == (abs(expected_quo) & mask(q)));

regress/lib/libm/msun/trig_test.c

167

ATF_CHECK(fabs(sinf(f_pi_odd[i])) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

168

ATF_CHECK(cosf(f_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

169

ATF_CHECK(fabs(tan(f_pi_odd[i])) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

171

ATF_CHECK(fabs(sinf(-f_pi_odd[i])) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

172

ATF_CHECK(cosf(-f_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

173

ATF_CHECK(fabs(tanf(-f_pi_odd[i])) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

175

ATF_CHECK(fabs(sinf(f_pi_odd[i] * 2)) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

176

ATF_CHECK(cosf(f_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

177

ATF_CHECK(fabs(tanf(f_pi_odd[i] * 2)) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

179

ATF_CHECK(fabs(sinf(-f_pi_odd[i] * 2)) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

180

ATF_CHECK(cosf(-f_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

181

ATF_CHECK(fabs(tanf(-f_pi_odd[i] * 2)) < FLT_EPSILON);

regress/lib/libm/msun/trig_test.c

185

ATF_CHECK(fabs(sin(d_pi_odd[i])) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

186

ATF_CHECK(cos(d_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

187

ATF_CHECK(fabs(tan(d_pi_odd[i])) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

189

ATF_CHECK(fabs(sin(-d_pi_odd[i])) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

190

ATF_CHECK(cos(-d_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

191

ATF_CHECK(fabs(tan(-d_pi_odd[i])) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

193

ATF_CHECK(fabs(sin(d_pi_odd[i] * 2)) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

194

ATF_CHECK(cos(d_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

195

ATF_CHECK(fabs(tan(d_pi_odd[i] * 2)) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

197

ATF_CHECK(fabs(sin(-d_pi_odd[i] * 2)) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

198

ATF_CHECK(cos(-d_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

199

ATF_CHECK(fabs(tan(-d_pi_odd[i] * 2)) < 2 * DBL_EPSILON);

regress/lib/libm/msun/trig_test.c

204

ATF_CHECK(fabsl(sinl(ld_pi_odd[i])) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

205

ATF_CHECK(cosl(ld_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

206

ATF_CHECK(fabsl(tanl(ld_pi_odd[i])) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

208

ATF_CHECK(fabsl(sinl(-ld_pi_odd[i])) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

209

ATF_CHECK(cosl(-ld_pi_odd[i]) == -1.0);

regress/lib/libm/msun/trig_test.c

210

ATF_CHECK(fabsl(tanl(-ld_pi_odd[i])) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

212

ATF_CHECK(fabsl(sinl(ld_pi_odd[i] * 2)) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

213

ATF_CHECK(cosl(ld_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

214

ATF_CHECK(fabsl(tanl(ld_pi_odd[i] * 2)) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

216

ATF_CHECK(fabsl(sinl(-ld_pi_odd[i] * 2)) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

217

ATF_CHECK(cosl(-ld_pi_odd[i] * 2) == 1.0);

regress/lib/libm/msun/trig_test.c

218

ATF_CHECK(fabsl(tanl(-ld_pi_odd[i] * 2)) < LDBL_EPSILON);

regress/lib/libm/msun/trig_test.c

65

ATF_CHECK(feclearexcept(FE_ALL_EXCEPT) == 0); \