[Webkit-unassigned] [Bug 142673] [GTK] Add settings to set font size in points, and deprecate the pixel size settings

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Fri Nov 3 13:18:58 PDT 2017


https://bugs.webkit.org/show_bug.cgi?id=142673

--- Comment #36 from Michael Catanzaro <mcatanzaro at igalia.com> ---
(In reply to Michael Catanzaro from comment #35)
> (In reply to Gabriel Ivașcu from comment #33)
> > Hmmm Michael explicitly said that the fields in the private structure are
> > not guaranteed to be zero-initialized.
> 
> But see my next comment #19 where I corrected that to "I'm not sure". I
> think it's technically default-constructed, which is effectively the same.

No, that's wrong too. The internet says the members are just uninitialized.

> But certainly the fact that the struct is initially zero-initialized has no
> effect on its value after construction.

I might be wrong about that too... I guess the values are undefined, and it just always works on all compilers because compilers don't touch the memory that's already been zeroed. But I'm not sure; maybe it is safe to do.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20171103/183780a6/attachment.html>


More information about the webkit-unassigned mailing list