diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-19 12:29:00 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-02-19 12:29:00 +0000 |
| commit | 4b84fcf843140a9a3f9ccd86036b7a314dcd216a (patch) | |
| tree | 88884b36bb48f2683f027ce48ce25f5c261e55a3 /byterun/fix_code.h | |
| parent | f2a7fdbcd362c03edaa72a4631cab086161165d3 (diff) | |
Ajout du backtrace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/fix_code.h')
| -rw-r--r-- | byterun/fix_code.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/fix_code.h b/byterun/fix_code.h index 17c0efd02..d182c7ad5 100644 --- a/byterun/fix_code.h +++ b/byterun/fix_code.h @@ -30,6 +30,7 @@ extern unsigned char code_md5[16]; void load_code (int fd, asize_t len); void fixup_endianness (code_t code, asize_t len); void set_instruction (code_t pos, opcode_t instr); +int is_instruction (opcode_t instr1, opcode_t instr2); #ifdef THREADED_CODE extern char ** instr_table; |