summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-07-18 23:17:03 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-07-18 23:17:03 +0000
commitba6197451e95612bdc3f2790665b5c2c52193e90 (patch)
tree1ab2f2fb09223171603cf2a432ca3dcb6d1602e8
parent09419715411a5b966eb8d74b94bd94a232375659 (diff)
downloadmpfr-ba6197451e95612bdc3f2790665b5c2c52193e90.tar.gz
[tests/tconst_pi.c] Removed an incorrect assertion, as the #else would
be applicable when WANT_SHARED_CACHE is defined but not HAVE_PTHREAD (which may occur when MPFR_HAVE_C11_LOCK is defined). (merged changeset r12935 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12936 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tests/tconst_pi.c6
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/tconst_pi.c b/tests/tconst_pi.c
index 14e20ed5c..1780e3805 100644
--- a/tests/tconst_pi.c
+++ b/tests/tconst_pi.c
@@ -81,9 +81,11 @@ run_pthread_test (void)
# define RUN_PTHREAD_TEST() \
(MPFR_ASSERTN(mpfr_buildopt_sharedcache_p() == 1), run_pthread_test())
+
#else
-# define RUN_PTHREAD_TEST() \
- (MPFR_ASSERTN(mpfr_buildopt_sharedcache_p() == 0))
+
+# define RUN_PTHREAD_TEST() ((void) 0)
+
#endif
/* tconst_pi [prec] [rnd] [0 = no print] */