question about heap and malloc (platfrom/emulator/configure.in)

[Denys Duchier]

In platform/emulator/configure.in, there are tests for whether we can
allocate the oz heap using malloc.  At the end of the test I see this:

  if (setjmp(env) != 0)
    return (0);
  (void) signal(SIGSEGV, sh);

  free(l1);
  *((int *) l1) = 0;
  return (1);

which, if I understand this right, means that the test will fail
unless a segmentation violation is raised by the last assignment into
the freed memory.  There is no reason to expect (much less require) a
segmentation violation.

What's the deal here?

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier at ps.uni-sb.de
Forschungsbereich Programmiersysteme	(Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45	http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50			Phone: +49 681 302 5618
66041 Saarbruecken, Germany		Fax:   +49 681 302 5615
-
Please send submissions to hackers at mozart-oz.org
and administriva mail to hackers-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.