1 /* Copyright 1999-2001,2003-2004,2006,2008,2010-2012,2014,2018
2 Free Software Foundation, Inc.
3
4 This file is part of Guile.
5
6 Guile is free software: you can redistribute it and/or modify it
7 under the terms of the GNU Lesser General Public License as published
8 by the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 Guile is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
14 License for more details.
15
16 You should have received a copy of the GNU Lesser General Public
17 License along with Guile. If not, see
18 <https://www.gnu.org/licenses/>. */
19
20 #ifdef HAVE_CONFIG_H
21 # include <config.h>
22 #endif
23
24 #undef NDEBUG
25
26 #include <libguile.h>
27
28 #include <stdio.h>
29 #include <assert.h>
30 #include <limits.h>
31
32 SCM out_of_range_handler (void *data, SCM key, SCM args);
33 SCM call_num2long_long_body (void *data);
34 SCM call_num2ulong_long_body (void *data);
35
36 /* expect to catch an `out-of-range' exception */
37 SCM
out_of_range_handler(void * data,SCM key,SCM args)38 out_of_range_handler (void *data, SCM key, SCM args)
39 {
40 assert (scm_is_eq (key, scm_from_locale_symbol ("out-of-range")));
41 return SCM_BOOL_T;
42 }
43
44 SCM
call_num2long_long_body(void * data)45 call_num2long_long_body (void *data)
46 {
47 scm_to_long_long (* (SCM *) data);
48 return SCM_BOOL_F;
49 }
50
51 SCM
call_num2ulong_long_body(void * data)52 call_num2ulong_long_body (void *data)
53 {
54 scm_to_ulong_long (* (SCM *) data);
55 return SCM_BOOL_F;
56 }
57
58 static void
test_long_long()59 test_long_long ()
60 {
61 {
62 SCM n = scm_from_long_long (LLONG_MIN);
63 long long result = scm_to_long_long(n);
64 assert (result == LLONG_MIN);
65 }
66
67 /* LLONG_MIN - 1 */
68 {
69 SCM n = scm_difference (scm_from_long_long (LLONG_MIN), scm_from_int (1));
70 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
71 out_of_range_handler, NULL);
72 assert (scm_is_true (caught));
73 }
74
75 /* SCM_I_LLONG_MIN + SCM_I_LLONG_MIN/2 */
76 {
77 SCM n = scm_sum (scm_from_long_long (LLONG_MIN),
78 scm_from_long_long (LLONG_MIN / 2));
79 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
80 out_of_range_handler, NULL);
81 assert (scm_is_true (caught));
82 }
83
84 /* SCM_I_LLONG_MAX + 1 */
85 {
86 SCM n = scm_sum (scm_from_long_long (LLONG_MAX), scm_from_int (1));
87 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
88 out_of_range_handler, NULL);
89 assert (scm_is_true (caught));
90 }
91
92 /* 2^1024 */
93 {
94 SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
95 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
96 out_of_range_handler, NULL);
97 assert (scm_is_true (caught));
98 }
99
100 /* -2^1024 */
101 {
102 SCM n = scm_difference (scm_from_int (0),
103 scm_ash (scm_from_int (1), scm_from_int (1024)));
104 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
105 out_of_range_handler, NULL);
106 assert (scm_is_true (caught));
107 }
108 }
109
110 static void
test_ulong_long()111 test_ulong_long ()
112 {
113 {
114 SCM n = scm_from_ulong_long (ULLONG_MAX);
115 unsigned long long result = scm_to_ulong_long(n);
116 assert (result == ULLONG_MAX);
117 }
118
119 /* -1 */
120 {
121 SCM n = scm_from_int (-1);
122 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
123 out_of_range_handler, NULL);
124 assert (scm_is_true (caught));
125 }
126
127 /* SCM_I_ULLONG_MAX + 1 */
128 {
129 SCM n = scm_sum (scm_from_ulong_long (ULLONG_MAX), scm_from_int (1));
130 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2ulong_long_body, &n,
131 out_of_range_handler, NULL);
132 assert (scm_is_true (caught));
133 }
134
135 /* 2^1024 */
136 {
137 SCM n = scm_ash (scm_from_int (1), scm_from_int (1024));
138 SCM caught = scm_internal_catch (SCM_BOOL_T, call_num2long_long_body, &n,
139 out_of_range_handler, NULL);
140 assert (scm_is_true (caught));
141 }
142 }
143
144 static void
tests(void * data,int argc,char ** argv)145 tests (void *data, int argc, char **argv)
146 {
147 test_long_long ();
148 test_ulong_long ();
149 }
150
151 int
main(int argc,char * argv[])152 main (int argc, char *argv[])
153 {
154 scm_boot_guile (argc, argv, tests, NULL);
155 return 0;
156 }
157