Make VerifyMarking work in the presence of grey objects

Make VerifyMarking work in the presence of grey objects

R=hpayer@chromium.org
LOG=n
BUG=none

Committed: https://crrev.com/34c43513a34db5b01b12d220f0c9a9d870a470da
Cr-Commit-Position: refs/heads/master@{#27079}

[Hannes Payer (out of office), 2015-03-09 13:49:25]

https://codereview.chromium.org/990203002/diff/1/src/heap/mark-compact.cc
File src/heap/mark-compact.cc (right):

https://codereview.chromium.org/990203002/diff/1/src/heap/mark-compact.cc#new...
src/heap/mark-compact.cc:105: // Take into account that a marked objected is at
least two pointers in
object

https://codereview.chromium.org/990203002/diff/1/src/heap/mark-compact.cc#new...
src/heap/mark-compact.cc:108: current += kPointerSize;
Now the verifier would allow grey object in the final transitive closure. I
don't think we want that. You could add an additional parameter that forces you
to check for black and/or grey.

[jochen (gone - plz use gerrit), 2015-03-09 13:52:25]

what about this?

[Hannes Payer (out of office), 2015-03-09 14:43:15]

lgtm

[jochen (gone - plz use gerrit), 2015-03-09 14:43:44]

The CQ bit was checked by jochen@chromium.org

[commit-bot: I haz the power, 2015-03-09 14:44:19]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/990203002/20001

[commit-bot: I haz the power, 2015-03-09 15:01:38]

Committed patchset #2 (id:20001)

[commit-bot: I haz the power, 2015-03-09 15:01:48]

Patchset 2 (id:??) landed as
https://crrev.com/34c43513a34db5b01b12d220f0c9a9d870a470da
Cr-Commit-Position: refs/heads/master@{#27079}