Fix issue 86 by keeping track of the fact that finally blocks...

src/codegen-arm.cc

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 3164 matching lines @@
   __ ldr(r1, MemOperand(sp, kNextOffset));
   __ str(r1, MemOperand(r3));
   ASSERT(StackHandlerConstants::kCodeOffset == 0);  // first field is code
   __ add(sp, sp, Operand(StackHandlerConstants::kSize - kPointerSize));
   // Code slot popped.
   __ push(r0);
 
   // --- Finally block ---
   __ bind(&finally_block);
 
+  // We keep a single element on the stack - the (possibly faked)
+  // result - while evaluating the finally block. Record it, so that a
+  // break/continue crossing this statement can restore the stack.
+  const int kFinallyStackSize = 1 * kPointerSize;
+  break_stack_height_ += kFinallyStackSize;
+
   // Push the state on the stack. If necessary move the state to a
   // local variable to avoid having extra values on the stack while
   // evaluating the finally block.
   __ push(r2);
   if (node->finally_var() != NULL) {
     Reference target(this, node->finally_var());
     SetValue(&target);
     ASSERT(target.size() == 0);  // no extra stuff on the stack
     __ pop();  // remove the extra avalue that was pushed above
   }
 
   // Generate code for the statements in the finally block.
   VisitStatements(node->finally_block()->statements());
 
   // Get the state from the stack - or the local variable.
   if (node->finally_var() != NULL) {
     Reference target(this, node->finally_var());
     GetValue(&target);
   }
   __ pop(r2);
 
-  __ pop(r0);  // Restore value or faked TOS.
+  // Restore return value or faked TOS.
+  __ pop(r0);
+
+  // Record the fact that the result has been removed from the stack.
+  break_stack_height_ -= kFinallyStackSize;
+
   // Generate code that jumps to the right destination for all used
   // shadow labels.
   for (int i = 0; i <= nof_escapes; i++) {
     if (shadows[i]->is_bound()) {
       __ cmp(r2, Operand(Smi::FromInt(JUMPING + i)));
       if (shadows[i]->shadowed() != &function_return_) {
         Label next;
         __ b(ne, &next);
         __ b(shadows[i]->shadowed());
         __ bind(&next);
@@ skipping 1314 matching lines @@
                                      bool is_eval) {
   Handle<Code> code = ArmCodeGenerator::MakeCode(fun, script, is_eval);
   if (!code.is_null()) {
     Counters::total_compiled_code_size.Increment(code->instruction_size());
   }
   return code;
 }
 
 
 } }  // namespace v8::internal