Bug 155070 - RegExpExec should be able to create interesting proofs about the kind of array it returns
Summary: RegExpExec should be able to create interesting proofs about the kind of arra...
Status: NEW
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: WebKit Nightly Build
Hardware: All All
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on: 154900 155069
Blocks:
  Show dependency tree / graph
 
Reported: 2016-03-05 14:09 PST by Filip Pizlo
Modified: 2016-03-05 14:10 PST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Filip Pizlo 2016-03-05 14:09:50 PST 
Patch forthcming.