* Fixed bug in handling of quantified look-aheads.

test/cctest/test-regexp.cc

 // Copyright 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 45 matching lines @@
   ZoneScope zone_scope(DELETE_ON_EXIT);
   FlatStringReader reader(CStrVector(input));
   RegExpCompileData result;
   CHECK(v8::internal::ParseRegExp(&reader, false, &result));
   CHECK(result.tree != NULL);
   CHECK(result.error.is_null());
   SmartPointer<const char> output = result.tree->ToString();
   return output;
 }
 
-static bool ParseEscapes(const char* input) {
+static bool CheckNonSimple(const char* input) {
   V8::Initialize(NULL);
   v8::HandleScope scope;
   unibrow::Utf8InputBuffer<> buffer(input, strlen(input));
   ZoneScope zone_scope(DELETE_ON_EXIT);
   FlatStringReader reader(CStrVector(input));
   RegExpCompileData result;
   CHECK(v8::internal::ParseRegExp(&reader, false, &result));
   CHECK(result.tree != NULL);
   CHECK(result.error.is_null());
-  return result.has_character_escapes;
+  return !result.tree->IsAtom() || result.non_simple;
 }
 
 
 #define CHECK_PARSE_EQ(input, expected) CHECK_EQ(expected, *Parse(input))
-#define CHECK_ESCAPES(input, has_escapes) CHECK_EQ(has_escapes, \
-                                                   ParseEscapes(input));
+#define CHECK_NON_SIMPLE(input, non_simple) CHECK_EQ(non_simple, \
+                                                     CheckNonSimple(input));
 
 TEST(Parser) {
   V8::Initialize(NULL);
   CHECK_PARSE_EQ("abc", "'abc'");
   CHECK_PARSE_EQ("", "%");
   CHECK_PARSE_EQ("abc|def", "(| 'abc' 'def')");
   CHECK_PARSE_EQ("abc|def|ghi", "(| 'abc' 'def' 'ghi')");
   CHECK_PARSE_EQ("^xxx$", "(: @^i 'xxx' @$i)");
   CHECK_PARSE_EQ("ab\\b\\d\\bcd", "(: 'ab' @b [0-9] @b 'cd')");
   CHECK_PARSE_EQ("\\w|\\d", "(| [0-9 A-Z _ a-z] [0-9])");
@@ skipping 86 matching lines @@
   CHECK_PARSE_EQ("[\\118]", "[\\x09 8]");
   CHECK_PARSE_EQ("[\\111]", "[I]");
   CHECK_PARSE_EQ("[\\1111]", "[I 1]");
   CHECK_PARSE_EQ("\\x34", "'\x34'");
   CHECK_PARSE_EQ("\\x60", "'\x60'");
   CHECK_PARSE_EQ("\\x3z", "'x3z'");
   CHECK_PARSE_EQ("\\u0034", "'\x34'");
   CHECK_PARSE_EQ("\\u003z", "'u003z'");
   CHECK_PARSE_EQ("foo[z]*", "(: 'foo' (# 0 - g [z]))");
 
-  CHECK_ESCAPES("a", false);
-  CHECK_ESCAPES("a|b", false);
-  CHECK_ESCAPES("a\\n", true);
-  CHECK_ESCAPES("^a", false);
-  CHECK_ESCAPES("a$", false);
-  CHECK_ESCAPES("a\\b!", false);
-  CHECK_ESCAPES("a\\Bb", false);
-  CHECK_ESCAPES("a*", false);
-  CHECK_ESCAPES("a*?", false);
-  CHECK_ESCAPES("a?", false);
-  CHECK_ESCAPES("a??", false);
-  CHECK_ESCAPES("a{0,1}?", false);
-  CHECK_ESCAPES("a{1,1}?", false);
-  CHECK_ESCAPES("a{1,2}?", false);
-  CHECK_ESCAPES("a+?", false);
-  CHECK_ESCAPES("(a)", false);
-  CHECK_ESCAPES("(a)\\1", false);
-  CHECK_ESCAPES("(\\1a)", false);
-  CHECK_ESCAPES("\\1(a)", false);
-  CHECK_ESCAPES("a\\s", false);
-  CHECK_ESCAPES("a\\S", false);
-  CHECK_ESCAPES("a\\d", false);
-  CHECK_ESCAPES("a\\D", false);
-  CHECK_ESCAPES("a\\w", false);
-  CHECK_ESCAPES("a\\W", false);
-  CHECK_ESCAPES("a.", false);
-  CHECK_ESCAPES("a\\q", true);
-  CHECK_ESCAPES("a[a]", false);
-  CHECK_ESCAPES("a[^a]", false);
-  CHECK_ESCAPES("a[a-z]", false);
-  CHECK_ESCAPES("a[\\q]", false);
-  CHECK_ESCAPES("a(?:b)", false);
-  CHECK_ESCAPES("a(?=b)", false);
-  CHECK_ESCAPES("a(?!b)", false);
-  CHECK_ESCAPES("\\x60", true);
-  CHECK_ESCAPES("\\u0060", true);
-  CHECK_ESCAPES("\\cA", true);
-  CHECK_ESCAPES("\\q", true);
-  CHECK_ESCAPES("\\1112", true);
-  CHECK_ESCAPES("\\0", true);
-  CHECK_ESCAPES("(a)\\1", false);
+  CHECK_NON_SIMPLE("a", false);
+  CHECK_NON_SIMPLE("a|b", true);
+  CHECK_NON_SIMPLE("a\\n", true);
+  CHECK_NON_SIMPLE("^a", true);
+  CHECK_NON_SIMPLE("a$", true);
+  CHECK_NON_SIMPLE("a\\b!", true);
+  CHECK_NON_SIMPLE("a\\Bb", true);
+  CHECK_NON_SIMPLE("a*", true);
+  CHECK_NON_SIMPLE("a*?", true);
+  CHECK_NON_SIMPLE("a?", true);
+  CHECK_NON_SIMPLE("a??", true);
+  CHECK_NON_SIMPLE("a{0,1}?", true);
+  CHECK_NON_SIMPLE("a{1,1}?", true);
+  CHECK_NON_SIMPLE("a{1,2}?", true);
+  CHECK_NON_SIMPLE("a+?", true);
+  CHECK_NON_SIMPLE("(a)", true);
+  CHECK_NON_SIMPLE("(a)\\1", true);
+  CHECK_NON_SIMPLE("(\\1a)", true);
+  CHECK_NON_SIMPLE("\\1(a)", true);
+  CHECK_NON_SIMPLE("a\\s", true);
+  CHECK_NON_SIMPLE("a\\S", true);
+  CHECK_NON_SIMPLE("a\\d", true);
+  CHECK_NON_SIMPLE("a\\D", true);
+  CHECK_NON_SIMPLE("a\\w", true);
+  CHECK_NON_SIMPLE("a\\W", true);
+  CHECK_NON_SIMPLE("a.", true);
+  CHECK_NON_SIMPLE("a\\q", true);
+  CHECK_NON_SIMPLE("a[a]", true);
+  CHECK_NON_SIMPLE("a[^a]", true);
+  CHECK_NON_SIMPLE("a[a-z]", true);
+  CHECK_NON_SIMPLE("a[\\q]", true);
+  CHECK_NON_SIMPLE("a(?:b)", true);
+  CHECK_NON_SIMPLE("a(?=b)", true);
+  CHECK_NON_SIMPLE("a(?!b)", true);
+  CHECK_NON_SIMPLE("\\x60", true);
+  CHECK_NON_SIMPLE("\\u0060", true);
+  CHECK_NON_SIMPLE("\\cA", true);
+  CHECK_NON_SIMPLE("\\q", true);
+  CHECK_NON_SIMPLE("\\1112", true);
+  CHECK_NON_SIMPLE("\\0", true);
+  CHECK_NON_SIMPLE("(a)\\1", true);
 
   CHECK_PARSE_EQ("a{}", "'a{}'");
   CHECK_PARSE_EQ("a{,}", "'a{,}'");
   CHECK_PARSE_EQ("a{", "'a{'");
   CHECK_PARSE_EQ("a{z}", "'a{z}'");
   CHECK_PARSE_EQ("a{1z}", "'a{1z}'");
   CHECK_PARSE_EQ("a{12z}", "'a{12z}'");
   CHECK_PARSE_EQ("a{12,", "'a{12,'");
   CHECK_PARSE_EQ("a{12,3b", "'a{12,3b'");
   CHECK_PARSE_EQ("{}", "'{}'");
@@ skipping 1047 matching lines @@
       CHECK(!InClass(i, excluded));
     }
   }
 }
 
 
 TEST(Graph) {
   V8::Initialize(NULL);
   Execute("\\bboy\\b", false, true, true);
 }