It should be possible to use the DFG SetArgument node to indicate that someone set the value of a local out-of-band
Created attachment 246178 [details] Patch
Comment on attachment 246178 [details] Patch r=me
Landed in http://trac.webkit.org/changeset/179756