ocamlopt.opt fails with Fatal error: Cmmgen.transl_prim_1
#7167
Comments
|
Comment author: @mshinwell I am looking at this. |
|
Comment author: @mshinwell This fails with Flambda as well, but earlier, with a different error. The problem is that an application of %apply gets generated with the wrong arity. Leo and I discussed this. It could be fixed by checking in Translcore, for actual applications of primitives (rather than any eta-expanded versions), whether the arity is as expected. A proper error could then be emitted. There is precedent for emitting proper errors from Translcore. |
|
Comment author: @mshinwell As per another recently-closed Mantis issue: just be careful to generate applications of % primitives properly, if you must use them. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 7167
Reporter: @kayceesrk
Status: closed (set by @mshinwell on 2016-12-07T15:50:34Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 4.02.3
Target version: 4.03.1+dev
Category: ~DO NOT USE (was: OCaml general)
Tags: afl
Monitored by: @kayceesrk @gasche
Bug description
Another crash found with afl-instrumented ocamlopt.opt (See #7165).
Steps to reproduce
$ ocamlopt.opt crash_22909_40.ml
File "/tmp/afl_crashes/crash_22909_40.ml", line 28, characters 11-12:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 29, characters 11-17:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 29, characters 16-17:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 30, characters 11-17:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 30, characters 16-17:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 31, characters 11-22:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 31, characters 16-22:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 31, characters 21-22:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 32, characters 15-44:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 32, characters 20-44:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 32, characters 25-44:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 32, characters 34-44:
Warning 20: this argument will not be used by the function.
File "/tmp/afl_crashes/crash_22909_40.ml", line 32, characters 43-44:
Warning 20: this argument will not be used by the function.
File attachments
The text was updated successfully, but these errors were encountered: