You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 7666 Reporter:@hhugo Assigned to:@nojb Status: resolved (set by @nojb on 2018-04-09T13:03:29Z) Resolution: fixed Priority: normal Severity: minor Version: 4.06.0 Category: middle end (typedtree to clambda) Related to:#7674 Monitored by:@gasche@hcarty
Bug description
The primitive "%raise_with_backtrace" is miscompiled when not fully applied.
$cat test.ml
let bt = Printexc.get_raw_backtrace ()
let f = Printexc.raise_with_backtrace Not_found
let y = f bt
$ ocamlc test.ml
File "test.ml", line 1:
Error: Error while linking test.cmo:
The external function `%raise_with_backtrace' is not available
EXIT STATUS 2
$ ocamlopt test.ml
/tmp/camlasmb473fc.s: Assembler messages:
/tmp/camlasmb473fc.s:39: Error: junk raise_with_backtrace (%rip)' after expression /tmp/camlasmb473fc.s:39: Error: missing or invalid immediate expression 25raise_with_backtrace@GOTPCREL(%rip)'
/tmp/camlasmb473fc.s:62: Error: junk raise_with_backtrace (%rip)' after expression /tmp/camlasmb473fc.s:62: Error: missing or invalid immediate expression 25raise_with_backtrace@GOTPCREL(%rip)'
File "test.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasmb473fc.s
EXIT STATUS 2
The text was updated successfully, but these errors were encountered:
Original bug ID: 7666
Reporter: @hhugo
Assigned to: @nojb
Status: resolved (set by @nojb on 2018-04-09T13:03:29Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.06.0
Category: middle end (typedtree to clambda)
Related to: #7674
Monitored by: @gasche @hcarty
Bug description
The primitive "%raise_with_backtrace" is miscompiled when not fully applied.
Introduced by:
#378
Steps to reproduce
$cat test.ml
let bt = Printexc.get_raw_backtrace ()
let f = Printexc.raise_with_backtrace Not_found
let y = f bt
$ ocamlc test.ml
File "test.ml", line 1:
Error: Error while linking test.cmo:
The external function `%raise_with_backtrace' is not available
EXIT STATUS 2
$ ocamlopt test.ml
/tmp/camlasmb473fc.s: Assembler messages:
/tmp/camlasmb473fc.s:39: Error: junk
raise_with_backtrace (%rip)' after expression /tmp/camlasmb473fc.s:39: Error: missing or invalid immediate expression
25raise_with_backtrace@GOTPCREL(%rip)'/tmp/camlasmb473fc.s:62: Error: junk
raise_with_backtrace (%rip)' after expression /tmp/camlasmb473fc.s:62: Error: missing or invalid immediate expression
25raise_with_backtrace@GOTPCREL(%rip)'File "test.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasmb473fc.s
EXIT STATUS 2
The text was updated successfully, but these errors were encountered: