compiler does not check %primitive's existence

[vicuna]

Original bug ID: 5297
Reporter: Dmitry Grebeniuk
Assigned to: @lefessan
Status: closed (set by @xavierleroy on 2013-08-31T10:46:35Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.13.0+dev
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

I don't know whether it is serious error or not, but I'm reporting it anyway.
When I have incorrectly spelled "%primitivename" in external declaration, I got assembler error:

$ cat q.ml
external q : 'a -> 'a = "%q"
let () = q ()
$ ocamlopt q.ml
/tmp/camlasm3926b2.s: Assembler messages:
/tmp/camlasm3926b2.s:23: Error: junk q (%rip)' after expression /tmp/camlasm3926b2.s:23: Error: missing or invalid immediate expression 25q@GOTPCREL(%rip)'
File "q.ml", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasm3926b2.s
$

File attachments

• camlasm3926b2.s

[vicuna]

Comment author: @lefessan

Fixed in commit 12165 of SVN trunk.