There is some nasty const-casting being done, when it's completely unnecessary. The non-const variant of dumpOperands() should just be removed.
Created attachment 175564 [details] the patch
Landed in http://trac.webkit.org/changeset/135462