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

[Ted Kremenek]

I think the wording in the patch is fine, and accomplishes this goal.

On Apr 6, 2011, at 11:50 PM, Chandler Carruth wrote:

> 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/20110407/a094166f/attachment.html>