DevTools: merge coverage segments from different instances of same URL

DevTools: merge coverage segments from different instances of same URL

This fixes a problem where for multiple occurrences of a resource with same
URL (a stylesheet or script reused in multiple frames) coverage stats were
just added together rather than being properly merged.

Review-Url: https://codereview.chromium.org/2745283002
Cr-Commit-Position: refs/heads/master@{#456541}
Committed: https://chromium.googlesource.com/chromium/src/+/97f425de047bcfa18633635370133d3eab7ee460

[caseq, 2017-03-13 19:38:15]

Patchset #1 (id:1) has been deleted

[caseq, 2017-03-13 20:25:58]

Patchset #1 (id:20001) has been deleted

[caseq, 2017-03-13 20:26:08]

caseq@chromium.org changed reviewers:
+ alph@chromium.org, dgozman@chromium.org

[alph, 2017-03-13 20:59:08]

lgtm

https://codereview.chromium.org/2745283002/diff/40001/third_party/WebKit/Sour...
File third_party/WebKit/Source/devtools/front_end/coverage/CoverageModel.js
(right):

https://codereview.chromium.org/2745283002/diff/40001/third_party/WebKit/Sour...
third_party/WebKit/Source/devtools/front_end/coverage/CoverageModel.js:128:
return [];
return

https://codereview.chromium.org/2745283002/diff/40001/third_party/WebKit/Sour...
third_party/WebKit/Source/devtools/front_end/coverage/CoverageModel.js:347:
return;
return [];

[caseq, 2017-03-13 21:13:46]

The CQ bit was checked by caseq@chromium.org

[caseq, 2017-03-13 21:13:47]

The patchset sent to the CQ was uploaded after l-g-t-m from alph@chromium.org
Link to the patchset: https://codereview.chromium.org/2745283002/#ps60001
(title: "review comments addressed")

[commit-bot: I haz the power, 2017-03-13 21:14:12]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-03-13 23:29:31]

CQ is committing da patch.

Bot data: {"patchset_id": 60001, "attempt_start_ts": 1489439626970110,
"parent_rev": "063733f75d45987b9db79b3e423603908bb558d0", "commit_rev":
"97f425de047bcfa18633635370133d3eab7ee460"}

[commit-bot: I haz the power, 2017-03-13 23:30:14]

Description was changed from

==========
DevTools: merge coverage segments from different instances of same URL

This fixes a problem where for multiple occurrences of a resource with same
URL (a stylesheet or script reused in multiple frames) coverage stats were
just added together rather than being properly merged.
==========

to

==========
DevTools: merge coverage segments from different instances of same URL

This fixes a problem where for multiple occurrences of a resource with same
URL (a stylesheet or script reused in multiple frames) coverage stats were
just added together rather than being properly merged.

Review-Url: https://codereview.chromium.org/2745283002
Cr-Commit-Position: refs/heads/master@{#456541}
Committed:
https://chromium.googlesource.com/chromium/src/+/97f425de047bcfa1863363537013...
==========

[commit-bot: I haz the power, 2017-03-13 23:30:20]

Committed patchset #2 (id:60001) as
https://chromium.googlesource.com/chromium/src/+/97f425de047bcfa1863363537013...