mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
5dcad70d99
Fixes <https://bugs.gnu.org/32938>. Reported by Josh Datko <jbd@cryptotronix.com>. * libguile/validate.h (SCM_VALIDATE_LIST_COPYLEN) (SCM_VALIDATE_NONEMPTYLIST_COPYLEN): Use '!=' instead of '>=' to validate the result of 'scm_ilength' after it has been stored in the user variable 'cvar'. * test-suite/tests/bytevectors.test: Add tests. Use '#:use-module' instead of ':use-module' in 'define-module' form.
115 lines
3.7 KiB
C
115 lines
3.7 KiB
C
#ifndef SCM_LIST_H
|
||
#define SCM_LIST_H
|
||
|
||
/* Copyright 1995-1997,2000-2001,2003-2006,2008-2009,2018-2019
|
||
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/>. */
|
||
|
||
|
||
|
||
#include "libguile/error.h"
|
||
|
||
|
||
|
||
SCM_API SCM scm_list_1 (SCM e1);
|
||
SCM_API SCM scm_list_2 (SCM e1, SCM e2);
|
||
SCM_API SCM scm_list_3 (SCM e1, SCM e2, SCM e3);
|
||
SCM_API SCM scm_list_4 (SCM e1, SCM e2, SCM e3, SCM e4);
|
||
SCM_API SCM scm_list_5 (SCM e1, SCM e2, SCM e3, SCM e4, SCM e5);
|
||
SCM_API SCM scm_list_n (SCM elt, ...);
|
||
SCM_API SCM scm_list (SCM objs);
|
||
SCM_API SCM scm_list_head (SCM lst, SCM k);
|
||
SCM_API SCM scm_make_list (SCM n, SCM init);
|
||
SCM_API SCM scm_cons_star (SCM arg, SCM objs);
|
||
SCM_API SCM scm_null_p (SCM x);
|
||
SCM_API SCM scm_list_p (SCM x);
|
||
SCM_API long scm_ilength (SCM sx);
|
||
SCM_API SCM scm_length (SCM x);
|
||
SCM_API SCM scm_append (SCM args);
|
||
SCM_API SCM scm_append_x (SCM args);
|
||
SCM_API SCM scm_reverse (SCM lst);
|
||
SCM_API SCM scm_reverse_x (SCM lst, SCM newtail);
|
||
SCM_API SCM scm_list_ref (SCM lst, SCM k);
|
||
SCM_API SCM scm_list_set_x (SCM lst, SCM k, SCM val);
|
||
SCM_API SCM scm_list_cdr_set_x (SCM lst, SCM k, SCM val);
|
||
SCM_API SCM scm_last_pair (SCM sx);
|
||
SCM_API SCM scm_list_tail (SCM lst, SCM k);
|
||
SCM_API SCM scm_c_memq (SCM x, SCM lst);
|
||
SCM_API SCM scm_memq (SCM x, SCM lst);
|
||
SCM_API SCM scm_memv (SCM x, SCM lst);
|
||
SCM_API SCM scm_member (SCM x, SCM lst);
|
||
SCM_API SCM scm_delq_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_delv_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_delete_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_list_copy (SCM lst);
|
||
SCM_API SCM scm_delq (SCM item, SCM lst);
|
||
SCM_API SCM scm_delv (SCM item, SCM lst);
|
||
SCM_API SCM scm_delete (SCM item, SCM lst);
|
||
SCM_API SCM scm_delq1_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_delv1_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_delete1_x (SCM item, SCM lst);
|
||
SCM_API SCM scm_filter (SCM pred, SCM list);
|
||
SCM_API SCM scm_filter_x (SCM pred, SCM list);
|
||
SCM_API SCM scm_copy_tree (SCM obj);
|
||
|
||
|
||
|
||
#define SCM_VALIDATE_REST_ARGUMENT(x) \
|
||
do { \
|
||
if (SCM_DEBUG_REST_ARGUMENT) { \
|
||
if (scm_ilength (x) < 0) { \
|
||
SCM_MISC_ERROR ("Rest arguments do not form a proper list.", SCM_EOL); \
|
||
} \
|
||
} \
|
||
} while (0)
|
||
|
||
#define SCM_VALIDATE_LIST(pos, lst) \
|
||
do { \
|
||
SCM_ASSERT (scm_ilength (lst) >= 0, lst, pos, FUNC_NAME); \
|
||
} while (0)
|
||
|
||
#define SCM_VALIDATE_NONEMPTYLIST(pos, lst) \
|
||
do { \
|
||
SCM_ASSERT (scm_ilength (lst) > 0, lst, pos, FUNC_NAME); \
|
||
} while (0)
|
||
|
||
/* Note: we use (cvar != -1) instead of (cvar >= 0) below
|
||
in case 'cvar' is of unsigned type. */
|
||
#define SCM_VALIDATE_LIST_COPYLEN(pos, lst, cvar) \
|
||
do { \
|
||
cvar = scm_ilength (lst); \
|
||
SCM_ASSERT (cvar != -1, lst, pos, FUNC_NAME); \
|
||
} while (0)
|
||
|
||
/* Note: we use (cvar != -1) instead of (cvar >= 0) below
|
||
in case 'cvar' is of unsigned type. */
|
||
#define SCM_VALIDATE_NONEMPTYLIST_COPYLEN(pos, lst, cvar) \
|
||
do { \
|
||
cvar = scm_ilength (lst); \
|
||
SCM_ASSERT (cvar != -1, lst, pos, FUNC_NAME); \
|
||
} while (0)
|
||
|
||
|
||
|
||
|
||
/* Guile internal functions */
|
||
|
||
SCM_INTERNAL SCM scm_i_finite_list_copy (SCM /* a list known to be finite */);
|
||
SCM_INTERNAL void scm_init_list (void);
|
||
|
||
#endif /* SCM_LIST_H */
|