diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
| commit | 0c7aecb88dc696f66f49f3bed54a037361a26b8d (patch) | |
| tree | 32bde8a45b8881d3d121fd39cc1270980f596096 /byterun/instrtrace.c | |
| parent | 7ba8c1ca1d044232ed6d81d04a8c46800cf15097 (diff) | |
depollution suite (et fin?) (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/instrtrace.c')
| -rw-r--r-- | byterun/instrtrace.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/byterun/instrtrace.c b/byterun/instrtrace.c index de96d5105..aba978749 100644 --- a/byterun/instrtrace.c +++ b/byterun/instrtrace.c @@ -24,19 +24,19 @@ #include "opnames.h" #include "prims.h" -extern code_t start_code; +extern code_t caml_start_code; -long icount = 0; +long caml_icount = 0; -void stop_here () {} +void caml_stop_here () {} -int trace_flag = 0; +int caml_trace_flag = 0; -void disasm_instr(pc) +void caml_disasm_instr(pc) code_t pc; { int instr = *pc; - printf("%6ld %s", (long) (pc - start_code), + printf("%6ld %s", (long) (pc - caml_start_code), instr < 0 || instr > STOP ? "???" : names_of_instructions[instr]); pc++; switch(instr) { |