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

Enea Zaffanella zaffanella at cs.unipr.it
Thu Jan 10 04:21:09 PST 2013


On 01/10/2013 01:09 PM, Csaba Raduly wrote:
> Hi Enea,
>
> On Thu, Jan 10, 2013 at 12:21 PM, Enea Zaffanella  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
>
> Which version of clang are you using? I got the same md5sum (different
> from both of yours) ten times in a row with
>
> $ clang -v
> clang version 3.3 (trunk 171717)
> Target: x86_64-unknown-linux-gnu
> Thread model: posix
>
>
> Csaba
>

$ clang -v
clang version 3.3 (trunk 171957)
Target: x86_64-unknown-linux-gnu
Thread model: posix

(built in debug mode).

$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
aebb2b8d1cf3f47e82c8c43634d49bc8  diag
$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
aebb2b8d1cf3f47e82c8c43634d49bc8  diag
$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
aebb2b8d1cf3f47e82c8c43634d49bc8  diag
$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
77a113d00be8eae91ea079159fcbeb22  diag
$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
77a113d00be8eae91ea079159fcbeb22  diag
$ clang -Wuninitialized -fsyntax-only bug.c 2> diag; md5sum diag
aebb2b8d1cf3f47e82c8c43634d49bc8  diag
[...]

Enea.




More information about the cfe-dev mailing list