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

ocamlopt 3.05 + gcc 2.96 on redhat 7.1 = segfault #3493

Closed
vicuna opened this issue Jul 31, 2002 · 2 comments
Closed

ocamlopt 3.05 + gcc 2.96 on redhat 7.1 = segfault #3493

vicuna opened this issue Jul 31, 2002 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jul 31, 2002

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

Bug description

Full_Name: Dan DuVarney
Version: 3.05
OS: RedHat 7.1
Submission from: ws58.seclab.cs.sunysb.edu (130.245.137.58)

I have a friend using caml 3.05 on a RedHat 7.1 system, and ocamlopt generates
bad code, even for programs like "hello world."

I suspect this is due to problems with gcc, but according to the release notes
for 3.05, ocaml is supposed to have a workaround for the gcc bug(s).

Anyway, the following session illustrates what I am talking about.

[dan@flute xxx]$ uname -a
uname -a
Linux flute.seclab.cs.sunysb.edu 2.4.9-31 #1 Tue Feb 26 07:11:02 EST 2002 i686
unknown
[dan@flute xxx]$ gcc -v
gcc -v
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/2.96/specs
gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-98)
[dan@flute xxx]$ cat hello.ml
cat hello.ml
let main () =
print_string "Hello, World!\n"

let _ = main ()

[dan@flute xxx]$ ocamlopt -o hello hello.ml
ocamlopt -o hello hello.ml
[dan@flute xxx]$ ./hello
./hello
Segmentation fault
[dan@flute xxx]$

That's it. Let me know if you need any additional information.

-Dan

dand@cs.sunysb.edu

@vicuna
Copy link
Author

vicuna commented Aug 1, 2002

Comment author: administrator

I have a friend using caml 3.05 on a RedHat 7.1 system, and ocamlopt
generates bad code, even for programs like "hello world."

I suspect this is due to problems with gcc, but according to the
release notes for 3.05, ocaml is supposed to have a workaround for
the gcc bug(s).

The problems with some versions of gcc 2.96 lead to more subtle
crashes than this one. Since you're the only one who reported this
problem, I suspect a corrupted file or library somewhere. Did you
install from sources or from RPM? It might help to try the other
installation method (e.g. install from RPM if you compiled from
source). Also, you can send me the hello.cmx, hello.o and hello files
generated in your test.

  • Xavier Leroy

@vicuna
Copy link
Author

vicuna commented Aug 2, 2002

Comment author: administrator

Prlbme went away when compiling and installing from sources. Looks like a
library issue with the RPM distrib. Couldn't pinpoint it, though.

@vicuna vicuna closed this as completed Aug 2, 2002
@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