On Fri, Apr 28, 2017 at 13:08:19 -0700, Kevin J. McCarthy wrote: > In this case, the values are safe. They are initialized if need_decode > is set, and are subsequently read only under the same condition > (need_decode being set).
Indeed, I missed that at first glimpse. And so did my gcc. Sorry for the noise, Moritz