Hello,
The attached simple test calls free functions with bad smob_tag.
I see the same stuff with 2.2.0
There are no errors using the stable 2.0.11 version.
my system is:
Linux linux8 4.10.0-19-generic #21-Ubuntu SMP Thu Apr 6 17:04:57 UTC
2017 x86_64 x86_64 x86_64 GNU/Linux
/* examples/box/box.c
*
* Copyright (C) 1998,2001, 2006 Free Software Foundation, Inc.
*
* This program 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, or
* (at your option) any later version.
*
* This program 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 this software; see the file COPYING.LESSER. If
* not, write to the Free Software Foundation, Inc., 51 Franklin
* Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
/* Include all needed declarations. */
#include <libguile.h>
/* The type code for the newly created smob type will be stored into
this variable. It has the prefix `scm_tc16_' to make it usable
with the SCM_VALIDATE_SMOB macro below. */
static scm_t_bits scm_tc16_box;
/* This function is responsible for marking all SCM objects included
in the smob. */
static SCM
mark_box (SCM b)
{
/* Since we have only one SCM object to protect, we simply return it
and the caller will mark it. */
return SCM_CELL_OBJECT_1 (b);
}
static size_t
free_box (SCM box_smob)
{
if (SCM_TYP16(box_smob) != scm_tc16_box) {
// bad type, do not free it
fprintf (stderr, "[free] error: bad smob 0x%x\n", (int)SCM_TYP16(box_smob));
exit (-1);
}
return 0;
}
/* Print a textual represenation of the smob to a given port. */
static int
print_box (SCM b, SCM port, scm_print_state *pstate)
{
SCM value = SCM_CELL_OBJECT_1 (b);
scm_puts ("#<box ", port);
scm_write (value, port);
scm_puts (">", port);
/* Non-zero means success. */
return 1;
}
/* This defines the primitve `make-box', which returns a new smob of
type `box', initialized to `#f'. */
static SCM
#define FUNC_NAME "make-box"
make_box (void)
{
/* This macro creates the new objects, stores the value `#f' into it
and returns it to the caller. */
SCM_RETURN_NEWSMOB (scm_tc16_box, SCM_BOOL_F);
}
#undef FUNC_NAME
/* This is the primitive `box-ref' which returns the object stored in
the box. */
static SCM
box_ref (SCM b)
#define FUNC_NAME "box-ref"
{
/* First, we have to ensure that the user really gave us a box
objects. The macro SCM_VALIDATE_SMOB will do all what is needed.
The parameters are interpreted as follows:
1: The position of the checked variable in the parameter list.
b: The passed parameter.
box: Concatenated with the fixed prefix scm_tc16_, names the type
code for the expected smob type. */
SCM_VALIDATE_SMOB (1, b, box);
/* Fetch the object from the box and return it. */
return SCM_CELL_OBJECT_1 (b);
}
#undef FUNC_NAME
/* Primitive which stores an arbitrary value into a box. */
static SCM
box_set_x (SCM b, SCM value)
#define FUNC_NAME "box-set!"
{
SCM_VALIDATE_SMOB (1, b, box);
/* Set the cell number 1 of the smob to the given value. */
SCM_SET_CELL_OBJECT_1 (b, value);
/* When this constant is returned, the REPL will not print the
returned value. All procedures in Guile which are documented as
returning `and unspecified value' actually return this value. */
return SCM_UNSPECIFIED;
}
#undef FUNC_NAME
/* Create and initialize the new smob type, and register the
primitives withe the interpreter library. */
static void
init_box_type (void)
{
scm_tc16_box = scm_make_smob_type ("box", 0);
scm_set_smob_mark (scm_tc16_box, mark_box);
scm_set_smob_print (scm_tc16_box, print_box);
scm_set_smob_free (scm_tc16_box, free_box);
scm_c_define_gsubr ("make-box", 0, 0, 0, make_box);
scm_c_define_gsubr ("box-set!", 2, 0, 0, box_set_x);
scm_c_define_gsubr ("box-ref", 1, 0, 0, box_ref);
}
/* This is the function which gets called by scm_boot_guile after the
Guile library is completely initialized. */
static void
inner_main (void *closure, int argc, char **argv)
{
/* First, we create our data type... */
init_box_type ();
/* ... then we start a shell, in which the box data type can be
used. */
scm_shell (argc, argv);
}
/* Main program. */
int
main (int argc, char **argv)
{
/* Initialize Guile, then call `inner_main' with the arguments 0,
argc and argv. */
scm_boot_guile (argc, argv, inner_main, 0);
return 0; /* Never reached. */
}
/* End of file. */
objects = box.o
version="2.0"
GUILE_COMP = $(shell pkg-config guile-$(version) --cflags)
GUILE_LINK = $(shell pkg-config guile-$(version) --libs)
CFLAGS = -I. -ggdb -fpic -Wall $(GUILE_COMP)
LIBTOOL = /usr/bin/libtool --tag=CC
.PHONY:
all: test
./test.scm
test: $(objects)
gcc $(objects) $(GUILE_LINK) -o $@
%.o: %.c
gcc $(CFLAGS) $(INCLUDE) -c -MD -o $@ $<
%.i: %.c
gcc $(CFLAGS) $(INCLUDE) -E -C -dD -dI $< > $@
.PHONY: dump
dump:
@echo GUILE_COMP=$(GUILE_COMP)
@echo GUILE_LINK=$(GUILE_LINK)
@echo CFLAGS=$(CFLAGS)
.PHONY: clean
clean:
rm -fr test *~ *.o *.la *.lo .libs *.so *.d *.i
-include $(objects:.o=.d)
# Local Variables:
# tab-width: 4
# mode: makefile-gmake
# End:
#!/bin/sh
GUILE_AUTO_COMPILE=0
guile-config --version
LD_LIBRARY_PATH=$(guile-config info libdir)
export PKG_CONFIG_PATH GUILE_AUTO_COMPILE LD_LIBRARY_PATH
echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH"
exec "./test" -s $0 "$@"
!#
(define b (make-box))
(format #t "b = ~a\n" b)
(box-set! b '(list of values))
(format #t "b = ~a\n" b)
(format #t "(box-ref b) = ~a\n" (box-ref b))
(do ((i 0 (1+ i)) (result #f)) ((> i 40000) result)
(let ((box (make-box))
)
'()
))
;; Local Variables:
;; mode: scheme
;; tab-width: 4
;; End:
