[cfe-dev] new -Wuninitialized implementation in Clang

Ted Kremenek kremenek at apple.com
Wed Feb 9 15:04:51 PST 2011


I'm fairly convinced by the comments on this thread that this needs to be handled.  I've changed -Wuninitialized to -Wuninitialized-experimental so I can take this warning back to the drawing board.

On Feb 8, 2011, at 5:21 PM, David Walthall wrote:

> On 2/3/2011 6:35 PM, Ted Kremenek wrote:
>>  int x;
>>  ...
>>  if (flag)
>>    x = ...
>>  ...
>>  if (flag)
>>    use(x);
> 
> This comes up fairly frequently in code that I work on.  Is it possible
> to recognize and analyze this case in the special case that 'flag' is a
> const?
> 
> Thank you,
> David
> 
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev





More information about the cfe-dev mailing list