Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bug in num library? #2838

Closed
vicuna opened this issue Jul 14, 2001 · 3 comments
Closed

Bug in num library? #2838

vicuna opened this issue Jul 14, 2001 · 3 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jul 14, 2001

Original bug ID: 437
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_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 -o whatever

Felix Terkhorn

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

@vicuna
Copy link
Author

vicuna commented Jul 20, 2001

Comment author: administrator

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-----



@vicuna
Copy link
Author

vicuna commented Jul 20, 2001

Comment author: administrator

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

@vicuna
Copy link
Author

vicuna commented Aug 13, 2001

Comment author: administrator

Fixed 2001-07-20 by DD.

@vicuna vicuna closed this as completed Aug 13, 2001
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant