Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000437OCamlOCaml generalpublic2001-07-14 21:482001-08-13 11:39
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000437: Bug in num library?
DescriptionFull_Name: Felix Terkhorn
Version: 3.01
OS: linux
Submission from: cc289733-a.spdwy1.in.home.com (24.11.107.212)


(* Not that I expect my computer to be able to find this number, but... *)

open Num

let _ = (Int max_int) **/ (Int max_int)


(* This produces a segfault. I expected it to raise Out_of_memory. I tested
it
   in a toplevel and by compiling with

  ocamlopt nums.cmxa <thisfile> -o whatever



Felix Terkhorn

--
'(felix-terkhorn . masterkh@indiana.edu)

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000610)
administrator (administrator)
2001-07-20 10:41

No problem. I know when I tested it, that I later found a couple of similar things (large numbers being raised to very large powers) which crashed it... so I don't think it was specific to just that instance. You probably have noted this already, since you have access to the workings of all that stuff internally, but in case you haven't -- here I've mentioned it. :)

Felix Terkhorn

(PS. I like OCaml.)

On Fri, Jul 20, 2001 at 04:17:37PM +0200, Damien Doligez wrote:
> > let _ = (Int max_int) **/ (Int max_int)
> >
> > (* This produces a segfault. I expected it to raise Out_of_memory.
>
> Thanks for the report. It is now fixed in the working version.
>
>

--
'(felix-terkhorn . masterkh@indiana.edu)

----------------
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: http://cs.indiana.edu/~masterkh [^] (public key access)

iD8DBQE7WFErd4opn1v6/rERAkoIAJ42aq9uWiw2lTYppyVXqABFhZFBRgCdEAv6
999/h4tRVm+0fyi+KtedBaQ=
=G9CJ
-----END PGP SIGNATURE-----

----------------
----------------
(0000611)
administrator (administrator)
2001-07-20 16:17

> let _ = (Int max_int) **/ (Int max_int)
>
> (* This produces a segfault. I expected it to raise Out_of_memory.

Thanks for the report. It is now fixed in the working version.

-- Damien
(0000612)
administrator (administrator)
2001-08-13 11:39

Fixed 2001-07-20 by DD.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker