Comment author: administrator

Il n'y a visiblement pas de String.get dans split_additional_args, donc:

• on s'attend à avoir une ligne Raised from ... character xxx dans
  rindex_blank, près de str.[i]. Il y a sans doute des cas plus
  troublants que celui-ci, e.g. quand la fonction manquante a des
  centaines de String.get.
• (cosmétique) il manque sans doute un \n après "Raised from a C function"

Le bug cosmétique est corrigé. Pour ce qui est des backtrace
"absurdes", un problème du même genre m'a été signalé il y a quelques
jours (bug report numéro 629). Je viens de réviser et de "commettre"
le code de backtrace. Si tu veux essayer...

• Xavier

Comment author: administrator

Date: Mon, 26 Nov 2001 17:11:12 +0100
From: Xavier Leroy xavier.leroy@inria.fr

Il n'y a pas de String.get dans split_additional_args, donc:

• on s'attend à avoir une ligne Raised from ... character xxx
  dans rindex_blank, près de str.[i].
  Pour ce qui est des backtrace "absurdes", un problème du même genre
  m'a été signalé il y a quelques jours (bug report numéro 629). Je
  viens de réviser et de "commettre" le code de backtrace. Si tu
  veux essayer...
  J'ai essayé, c'est pareil. Des fois que ce serait facile à corriger
  avant la 3.04, je soumets un exemple plus petit:
  -- bug-bt.ml
  let bogue s i = s.[i];;

let call_bogue () = bogue "abc" 5;;

let main () = call_bogue ();;

main ();;

$ ocamlc -g -custom bug-bt.ml -o bug-bt
$ OCAMLRUNPARAM=b ./bug-bt
Fatal error: uncaught exception Invalid_argument("String.get")
Raised from a C function
Called from module Bug-bt, character 100
100, c'est entre les () de l'appel à main en dernière ligne. Ok, ce
sont des tail-calls. Mais Invalid_argument arrive avant le retour de
bogue. Il manque donc une ligne de backtrace, avec un numéro de
caractère < 25 (environ).

Bruno.

Comment author: administrator

Problem with s.[i] raising an exception but not recorded in the backtrace. Fixed
2002-11-26 by XL.