saved_pc doit garder sa valeur pendant le longjmp, sinon les backtrac…

…es sont incorrects pour les exceptions levees depuis une primitive C (PR#2030) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · May 9, 2004 · b3092ca · b3092ca
1 parent a8d073e
commit b3092ca
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/byterun/interp.c b/byterun/interp.c
@@ -218,15 +218,15 @@ value caml_interprete(code_t prog, asize_t prog_size)
   long extra_args;
   struct longjmp_buffer * initial_external_raise;
   int initial_sp_offset;
-  /* volatile prevents collapsing initial_local_roots with another
-     local variable, like Digital Unix 4.0 C compiler does (wrongly) */
+  /* volatile ensures that initial_local_roots and saved_pc
+     will keep correct value across longjmp */
   struct caml__roots_block * volatile initial_local_roots;
+  volatile code_t saved_pc;
   struct longjmp_buffer raise_buf;
   value * modify_dest, modify_newval;
 #ifndef THREADED_CODE
   opcode_t curr_instr;
 #endif
-  code_t saved_pc;
 
 #ifdef THREADED_CODE
   static void * jumptable[] = {