[cfe-dev] Non-deterministic diagnostics for -Wuninitialized.

Ted Kremenek kremenek at apple.com
Thu Jan 10 10:09:43 PST 2013


Hi Enea,

Can file a bugzilla PR for this and assign it to me?

Cheers,
Ted

On Jan 10, 2013, at 3:21 AM, Enea Zaffanella <zaffanella at cs.unipr.it> wrote:

> Hello.
> 
> We are obtaining non-deterministic diagnostic ordering when running clang with -Wuninitialized on the following testcase
> 
> $ cat bug.c
> void foo(int a) {
>  int b, c;
>  a = b;
>  a = c;
> }
> 
> $ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
> 77a113d00be8eae91ea079159fcbeb22  diag
> $ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
> aebb2b8d1cf3f47e82c8c43634d49bc8  diag
> 
> Is this a known issue?
> 
> Enea.
> _______________________________________________
> 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