52675 2011-01-18 15:52:35 -0800 [RegexFuzz] Crash in generated code 2011-01-19 09:58:45 -0800 1 1 1 Unclassified WebKit JavaScriptCore 528+ (Nightly build) PC OS X 10.5 RESOLVED FIXED InRadar P2 Normal --- 1 oliver msaboff barraclough ggaren jruderman msaboff oliver oldest_to_newest 336164 0 oliver 2011-01-18 15:52:35 -0800 testRegexp("(?!(?:\\3+(s+?)))", "gy", ["==","SSS","","","","","","11","=","11SSS"]) Reduced to /(?!(?:\1+s))/.test('SSS') 336262 1 ggaren 2011-01-18 18:08:46 -0800 <rdar://problem/8882994> 336580 2 79436 msaboff 2011-01-19 09:46:53 -0800 Created attachment 79436 Regression: Simple nested backtrack hangs The changeset (r76076) for https://bugs.webkit.org/show_bug.cgi?id=52540 broke simple backtracking in some cases. Reworked that change to link both jumps and labels. 336595 3 msaboff 2011-01-19 09:58:45 -0800 Committed r76133: <http://trac.webkit.org/changeset/76133> 79436 2011-01-19 09:46:53 -0800 2011-01-19 09:54:36 -0800 Regression: Simple nested backtrack hangs 52675.patch text/plain 5029 msaboff SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291 cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gNzYxMjkpCisrKyBTb3VyY2Uv SmF2YVNjcmlwdENvcmUvQ2hhbmdlTG9nCSh3b3JraW5nIGNvcHkpCkBAIC0xLDMgKzEsMTkgQEAK KzIwMTEtMDEtMTkgIE1pY2hhZWwgU2Fib2ZmICA8bXNhYm9mZkBhcHBsZS5jb20+CisKKyAgICAg ICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAgICAgICAgPHJkYXI6Ly9wcm9ibGVt Lzg4ODI5OTQ+IFJlZ3Jlc3Npb246IFNpbXBsZSBuZXN0ZWQgYmFja3RyYWNrIGhhbmdzCisgICAg ICAgIGh0dHBzOi8vYnVncy53ZWJraXQub3JnL3Nob3dfYnVnLmNnaT9pZD01MjY3NQorCisgICAg ICAgIFRoZSBjaGFuZ2VzZXQgKHI3NjA3NikgZm9yIGh0dHBzOi8vYnVncy53ZWJraXQub3JnL3No b3dfYnVnLmNnaT9pZD01MjU0MAorICAgICAgICBicm9rZSBzaW1wbGUgYmFja3RyYWNraW5nIGlu IHNvbWUgY2FzZXMuICBSZXdvcmtlZCB0aGF0IGNoYW5nZSB0byAKKyAgICAgICAgbGluayBib3Ro IGp1bXBzIGFuZCBsYWJlbHMuCisKKyAgICAgICAgKiB5YXJyL1lhcnJKSVQuY3BwOgorICAgICAg ICAoSlNDOjpZYXJyOjpZYXJyR2VuZXJhdG9yOjpCYWNrdHJhY2tEZXN0aW5hdGlvbjo6aGFzQmFj a3RyYWNrVG9MYWJlbCk6CisgICAgICAgIChKU0M6OllhcnI6OllhcnJHZW5lcmF0b3I6OlRlcm1H ZW5lcmF0aW9uU3RhdGU6OnByb3BhZ2F0ZUJhY2t0cmFja2luZ0Zyb20pOgorICAgICAgICAoSlND OjpZYXJyOjpZYXJyR2VuZXJhdG9yOjpnZW5lcmF0ZVBhcmVudGhlc2VzU2luZ2xlKToKKwogMjAx MS0wMS0xOSAgUGF2ZWwgUG9kaXZpbG92ICA8cG9kaXZpbG92QGNocm9taXVtLm9yZz4KIAogICAg ICAgICBSZXZpZXdlZCBieSBZdXJ5IFNlbWlraGF0c2t5LgpJbmRleDogU291cmNlL0phdmFTY3Jp cHRDb3JlL3lhcnIvWWFyckpJVC5jcHAKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291cmNlL0phdmFTY3JpcHRD b3JlL3lhcnIvWWFyckpJVC5jcHAJKHJldmlzaW9uIDc2MTI5KQorKysgU291cmNlL0phdmFTY3Jp cHRDb3JlL3lhcnIvWWFyckpJVC5jcHAJKHdvcmtpbmcgY29weSkKQEAgLTYxOCw2ICs2MTgsMTEg QEAgY2xhc3MgWWFyckdlbmVyYXRvciA6IHByaXZhdGUgTWFjcm9Bc3NlbQogICAgICAgICAgICAg ICAgIG1fYmFja3RyYWNrVG9MYWJlbCA9IGJhY2t0cmFja1RvTGFiZWw7CiAgICAgICAgIH0KIAor ICAgICAgICBib29sIGhhc0JhY2t0cmFja1RvTGFiZWwoKQorICAgICAgICB7CisgICAgICAgICAg ICByZXR1cm4gbV9iYWNrdHJhY2tUb0xhYmVsOworICAgICAgICB9CisKICAgICAgICAgdm9pZCBz ZXRCYWNrdHJhY2tKdW1wTGlzdChKdW1wTGlzdCoganVtcExpc3QpCiAgICAgICAgIHsKICAgICAg ICAgICAgIG1fYmFja3RyYWNrVHlwZSA9IEJhY2t0cmFja0p1bXBMaXN0OwpAQCAtOTk2LDYgKzEw MDEsMTAgQEAgY2xhc3MgWWFyckdlbmVyYXRvciA6IHByaXZhdGUgTWFjcm9Bc3NlbQogICAgICAg ICB7CiAgICAgICAgICAgICBpZiAoZG9KdW1wKQogICAgICAgICAgICAgICAgIG1fYmFja3RyYWNr Lmp1bXBUb0JhY2t0cmFjayhnZW5lcmF0b3IsIGJhY2t0cmFjay5nZXRCYWNrdHJhY2tKdW1wcygp KTsKKworICAgICAgICAgICAgaWYgKG1fYmFja3RyYWNrLmlzTGFiZWwoKSAmJiBiYWNrdHJhY2su aGFzQmFja3RyYWNrVG9MYWJlbCgpKQorICAgICAgICAgICAgICAgIGJhY2t0cmFjay5saW5rQmFj a3RyYWNrVG9MYWJlbChtX2JhY2t0cmFjay5nZXRMYWJlbCgpKTsKKwogICAgICAgICAgICAgaWYg KGJhY2t0cmFjay5oYXNEZXN0aW5hdGlvbigpKSB7CiAgICAgICAgICAgICAgICAgaWYgKG1fYmFj a3RyYWNrLmhhc0RhdGFMYWJlbCgpKQogICAgICAgICAgICAgICAgICAgICBnZW5lcmF0b3ItPm1f ZXhwcmVzc2lvblN0YXRlLmFkZERhdGFMYWJlbFRvTmV4dEl0ZXJhdGlvbihtX2JhY2t0cmFjay5n ZXREYXRhTGFiZWwoKSk7CkBAIC0xNjU0LDEzICsxNjYzLDggQEAgY2xhc3MgWWFyckdlbmVyYXRv ciA6IHByaXZhdGUgTWFjcm9Bc3NlbQogICAgICAgICAgICAgQmFja3RyYWNrRGVzdGluYXRpb24m IHBhcmVudGhlc2VzQmFja3RyYWNrID0gcGFyZW50aGVzZXNTdGF0ZS5nZXRCYWNrdHJhY2tEZXN0 aW5hdGlvbigpOwogICAgICAgICAgICAgQmFja3RyYWNrRGVzdGluYXRpb24mIHN0YXRlQmFja3Ry YWNrID0gc3RhdGUuZ2V0QmFja3RyYWNrRGVzdGluYXRpb24oKTsKIAotICAgICAgICAgICAgLy8g SWYgd2UgaGF2ZSBhIGJhY2t0cmFjayBsYWJlbCwgdXNlIGl0IGZvciB0aGUgcGFyZW50aGVzaXMK LSAgICAgICAgICAgIGlmIChzdGF0ZUJhY2t0cmFjay5pc0xhYmVsKCkpCi0gICAgICAgICAgICAg ICAgcGFyZW50aGVzZXNCYWNrdHJhY2subGlua0JhY2t0cmFja1RvTGFiZWwoc3RhdGVCYWNrdHJh Y2suZ2V0TGFiZWwoKSk7Ci0gICAgICAgICAgICBlbHNlIHsKLSAgICAgICAgICAgICAgICBzdGF0 ZS5wcm9wYWdhdGVCYWNrdHJhY2tpbmdGcm9tKHRoaXMsIHBhcmVudGhlc2VzQmFja3RyYWNrKTsK LSAgICAgICAgICAgICAgICBzdGF0ZUJhY2t0cmFjay5jb3B5QmFja3RyYWNrVG9MYWJlbChwYXJl bnRoZXNlc0JhY2t0cmFjayk7Ci0gICAgICAgICAgICB9CisgICAgICAgICAgICBzdGF0ZS5wcm9w YWdhdGVCYWNrdHJhY2tpbmdGcm9tKHRoaXMsIHBhcmVudGhlc2VzQmFja3RyYWNrKTsKKyAgICAg ICAgICAgIHN0YXRlQmFja3RyYWNrLmNvcHlCYWNrdHJhY2tUb0xhYmVsKHBhcmVudGhlc2VzQmFj a3RyYWNrKTsKIAogICAgICAgICAgICAgbV9leHByZXNzaW9uU3RhdGUuZGVjcmVtZW50UGFyZW5O ZXN0aW5nTGV2ZWwoKTsKICAgICAgICAgfSBlbHNlIHsKSW5kZXg6IExheW91dFRlc3RzL0NoYW5n ZUxvZwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09Ci0tLSBMYXlvdXRUZXN0cy9DaGFuZ2VMb2cJKHJldmlzaW9uIDc2MTI5 KQorKysgTGF5b3V0VGVzdHMvQ2hhbmdlTG9nCSh3b3JraW5nIGNvcHkpCkBAIC0xLDMgKzEsMTUg QEAKKzIwMTEtMDEtMTkgIE1pY2hhZWwgU2Fib2ZmICA8bXNhYm9mZkBhcHBsZS5jb20+CisKKyAg ICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAgICAgICAgPHJkYXI6Ly9wcm9i bGVtLzg4ODI5OTQ+IFJlZ3Jlc3Npb246IFNpbXBsZSBuZXN0ZWQgYmFja3RyYWNrIGhhbmdzCisg ICAgICAgIGh0dHBzOi8vYnVncy53ZWJraXQub3JnL3Nob3dfYnVnLmNnaT9pZD01MjY3NQorCisg ICAgICAgIE5ldyB0ZXN0cyB0byBzdXBwb3J0IGNoYW5nZS4KKworICAgICAgICAqIGZhc3QvcmVn ZXgvcGFyZW50aGVzZXMtZXhwZWN0ZWQudHh0OgorICAgICAgICAqIGZhc3QvcmVnZXgvc2NyaXB0 LXRlc3RzL3BhcmVudGhlc2VzLmpzOgorCiAyMDExLTAxLTE5ICBQYXZlbCBQb2Rpdmlsb3YgIDxw b2Rpdmlsb3ZAY2hyb21pdW0ub3JnPgogCiAgICAgICAgIFJldmlld2VkIGJ5IFl1cnkgU2VtaWto YXRza3kuCkluZGV4OiBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3BhcmVudGhlc2VzLWV4cGVjdGVk LnR4dAo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09Ci0tLSBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3BhcmVudGhlc2VzLWV4 cGVjdGVkLnR4dAkocmV2aXNpb24gNzYxMjkpCisrKyBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3Bh cmVudGhlc2VzLWV4cGVjdGVkLnR4dAkod29ya2luZyBjb3B5KQpAQCAtNzIsNiArNzIsOCBAQCBQ QVNTIHJlZ2V4cDQyLmV4ZWMoJycpIGlzIFsnJyx1bmRlZmluZWQsCiBQQVNTIHJlZ2V4cDQyLmV4 ZWMoJzQnKSBpcyBbJzQnLCc0JywnNCddCiBQQVNTIHJlZ2V4cDQyLmV4ZWMoJzQzMjEnKSBpcyBb JzQnLCc0JywnNCddCiBQQVNTIC8oPyEoPz1yezB9KXsyLH0pfCgoeik/KT8vZ2kudGVzdCgnJykg aXMgdHJ1ZQorUEFTUyByZWdleHA0My5leGVjKCdTU1MnKSBpcyBbJyddCitQQVNTIHJlZ2V4cDQ0 LmV4ZWMoJ1NTUycpIGlzIFsnJyx1bmRlZmluZWRdCiBQQVNTICdIaSBCb2InLm1hdGNoKC8oUm9i KXwoQm9iKXwoUm9iZXJ0KXwoQm9iYnkpLykgaXMgWydCb2InLHVuZGVmaW5lZCwnQm9iJyx1bmRl ZmluZWQsdW5kZWZpbmVkXQogUEFTUyBzdWNjZXNzZnVsbHlQYXJzZWQgaXMgdHJ1ZQogCkluZGV4 OiBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3NjcmlwdC10ZXN0cy9wYXJlbnRoZXNlcy5qcwo9PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09Ci0tLSBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3NjcmlwdC10ZXN0cy9wYXJlbnRoZXNl cy5qcwkocmV2aXNpb24gNzYxMjkpCisrKyBMYXlvdXRUZXN0cy9mYXN0L3JlZ2V4L3NjcmlwdC10 ZXN0cy9wYXJlbnRoZXNlcy5qcwkod29ya2luZyBjb3B5KQpAQCAtMTkzLDYgKzE5MywxMiBAQCBz aG91bGRCZSgicmVnZXhwNDIuZXhlYygnNDMyMScpIiwgIlsnNCcsCiAKIHNob3VsZEJlVHJ1ZSgi Lyg/ISg/PXJ7MH0pezIsfSl8KCh6KT8pPy9naS50ZXN0KCcnKSIpOwogCit2YXIgcmVnZXhwNDMg PSAvKD8hKD86XDErcykpLzsKK3Nob3VsZEJlKCJyZWdleHA0My5leGVjKCdTU1MnKSIsICJbJydd Iik7CisKK3ZhciByZWdleHA0NCA9IC8oPyEoPzpcMysocys/KSkpL2d5Oworc2hvdWxkQmUoInJl Z2V4cDQ0LmV4ZWMoJ1NTUycpIiwgIlsnJyx1bmRlZmluZWRdIik7CisKIHNob3VsZEJlKCInSGkg Qm9iJy5tYXRjaCgvKFJvYil8KEJvYil8KFJvYmVydCl8KEJvYmJ5KS8pIiwgIlsnQm9iJyx1bmRl ZmluZWQsJ0JvYicsdW5kZWZpbmVkLHVuZGVmaW5lZF0iKTsKIAogdmFyIHN1Y2Nlc3NmdWxseVBh cnNlZCA9IHRydWU7Cg==