summaryrefslogtreecommitdiff
path: root/test-suite/standalone/test-num2integral.c
diff options
context:
space:
mode:
Diffstat (limited to 'test-suite/standalone/test-num2integral.c')
-rw-r--r--test-suite/standalone/test-num2integral.c156
1 files changed, 156 insertions, 0 deletions
diff --git a/test-suite/standalone/test-num2integral.c b/test-suite/standalone/test-num2integral.c
new file mode 100644
index 000000000..25db4de62
--- /dev/null
+++ b/test-suite/standalone/test-num2integral.c
@@ -0,0 +1,156 @@
+/* Copyright 1999-2001,2003-2004,2006,2008,2010-2012,2014,2018
+ Free Software Foundation, Inc.
+
+ This file is part of Guile.
+
+ Guile is free software: you can redistribute it and/or modify it
+ under the terms of the GNU Lesser General Public License as published
+ by the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ Guile is distributed in the hope that it will be useful, but WITHOUT
+ ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
+ License for more details.
+
+ You should have received a copy of the GNU Lesser General Public
+ License along with Guile. If not, see
+ <https://www.gnu.org/licenses/>. */
+
+#ifdef HAVE_CONFIG_H
+# include <config.h>
+#endif
+
+#undef NDEBUG
+
+#include <libguile.h>
+
+#include <stdio.h>
+#include <assert.h>
+#include <limits.h>
+
+SCM out_of_range_handler (void *data, SCM key, SCM args);
+SCM call_num2long_long_body (void *data);
+SCM call_num2ulong_long_body (void *data);
+
+/* expect to catch an `out-of-range' exception */
+SCM
+out_of_range_handler (void *data, SCM key, SCM args)
+{
+ assert (scm_is_eq (key, scm_from_locale_symbol ("out-of-range")));
+ return SCM_BOOL_T;
+}
+
+SCM
+call_num2long_long_body (void *data)
+{
+ scm_to_long_long (* (SCM *) data);
+ return SCM_BOOL_F;
+}
+
+SCM
+call_num2ulong_long_body (void *data)
+{
+ scm_to_ulong_long (* (SCM *) data);
+ return SCM_BOOL_F;
+}
+
+static void
+test_long_long ()
+{
+ {
+ SCM n = scm_from_long_long (LLONG_MIN);
+ long long result = scm_to_long_long(n);
+ assert (result == LLONG_MIN);
+ }
+
+ /* LLONG_MIN - 1 */
+ {
+ SCM n = scm_difference (scm_from_long_long (LLONG_MIN), scm_from_int (1));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* SCM_I_LLONG_MIN + SCM_I_LLONG_MIN/2 */
+ {
+ SCM n = scm_sum (scm_from_long_long (LLONG_MIN),
+ scm_from_long_long (LLONG_MIN / 2));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* SCM_I_LLONG_MAX + 1 */
+ {
+ SCM n = scm_sum (scm_from_long_long (LLONG_MAX), scm_from_int (1));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* 2^1024 */
+ {
+ SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* -2^1024 */
+ {
+ SCM n = scm_difference (scm_from_int (0),
+ scm_ash (scm_from_int (1), scm_from_int (1024)));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+}
+
+static void
+test_ulong_long ()
+{
+ {
+ SCM n = scm_from_ulong_long (ULLONG_MAX);
+ unsigned long long result = scm_to_ulong_long(n);
+ assert (result == ULLONG_MAX);
+ }
+
+ /* -1 */
+ {
+ SCM n = scm_from_int (-1);
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* SCM_I_ULLONG_MAX + 1 */
+ {
+ SCM n = scm_sum (scm_from_ulong_long (ULLONG_MAX), scm_from_int (1));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+
+ /* 2^1024 */
+ {
+ SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
+ SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
+ out_of_range_handler, NULL);
+ assert (scm_is_true (caught));
+ }
+}
+
+static void
+tests (void *data, int argc, char **argv)
+{
+ test_long_long ();
+ test_ulong_long ();
+}
+
+int
+main (int argc, char *argv[])
+{
+ scm_boot_guile (argc, argv, tests, NULL);
+ return 0;
+}