Make the "has function literal" default value for loops conservative....

src/ast.h

 // 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 278 matching lines @@
 class LoopStatement: public IterationStatement {
  public:
   enum Type { DO_LOOP, FOR_LOOP, WHILE_LOOP };
 
   LoopStatement(ZoneStringList* labels, Type type)
       : IterationStatement(labels),
         type_(type),
         init_(NULL),
         cond_(NULL),
         next_(NULL),
-        has_function_literal_(false) {
+        may_have_function_literal_(true) {
   }
 
   void Initialize(Statement* init,
                   Expression* cond,
                   Statement* next,
                   Statement* body) {
     ASSERT(init == NULL || type_ == FOR_LOOP);
     ASSERT(next == NULL || type_ == FOR_LOOP);
     IterationStatement::Initialize(body);
     init_ = init;
     cond_ = cond;
     next_ = next;
   }
 
   virtual void Accept(AstVisitor* v);
 
   Type type() const  { return type_; }
   Statement* init() const  { return init_; }
   Expression* cond() const  { return cond_; }
   Statement* next() const  { return next_; }
-  bool has_function_literal() const { return has_function_literal_; }
+  bool may_have_function_literal() const {
+    return may_have_function_literal_;
+  }
 
 #ifdef DEBUG
   const char* OperatorString() const;
 #endif
 
  private:
   Type type_;
   Statement* init_;
   Expression* cond_;
   Statement* next_;
   // True if there is a function literal subexpression in the condition.
-  bool has_function_literal_;
+  bool may_have_function_literal_;
 
   friend class AstOptimizer;
 };
 
 
 class ForInStatement: public IterationStatement {
  public:
   explicit ForInStatement(ZoneStringList* labels)
       : IterationStatement(labels), each_(NULL), enumerable_(NULL) { }
 
@@ skipping 1349 matching lines @@
 #undef DEF_VISIT
 
  private:
   bool stack_overflow_;
 };
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_AST_H_