Lines Matching refs:v
48 float v; in ATF_TC_BODY() local
50 v = FLT_MAX; in ATF_TC_BODY()
51 v *= v; in ATF_TC_BODY()
52 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
53 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()
55 v = -FLT_MAX; in ATF_TC_BODY()
56 v *= v; in ATF_TC_BODY()
57 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
58 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()
70 double v; in ATF_TC_BODY() local
72 v = DBL_MAX; in ATF_TC_BODY()
73 v *= v; in ATF_TC_BODY()
74 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
75 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()
77 v = -DBL_MAX; in ATF_TC_BODY()
78 v *= v; in ATF_TC_BODY()
79 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
80 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()
97 long double v; in ATF_TC_BODY()
99 v = LDBL_MAX; in ATF_TC_BODY()
100 v *= v; in ATF_TC_BODY()
101 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
102 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()
104 v = -LDBL_MAX; in ATF_TC_BODY()
105 v *= v; in ATF_TC_BODY()
106 ATF_REQUIRE(isinf(v)); in ATF_TC_BODY()
107 ATF_REQUIRE(fpclassify(v) == FP_INFINITE); in ATF_TC_BODY()