[cfe-commits] PATCH: Differentiate between definitely and possibly uninitialized warnings

Chandler Carruth chandlerc at google.com
Wed Apr 6 23:50:59 PDT 2011


On Wed, Apr 6, 2011 at 11:13 PM, Chris Lattner <clattner at apple.com> wrote:

> Looks good to me.  Please also change "is possibly uninitialized" to "may
> be uninitialized" while you're at it, thanks!


On some further discussion, I think I understand what these messages were
aiming at: the 'possibly' isn't about whether we've proven there to be a
path leading to uninitialized use, but the fact that we haven't proven *all*
paths to cause an uninitialized use....

I still want some different wording here. Do you think the wording I
proposed in the patch is actually OK for this? Is there a better way to
phrase it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110406/a386c247/attachment.html>


More information about the cfe-commits mailing list