[cfe-dev] Testsuite failures?

[Eli Friedman]

On Tue, Feb 17, 2009 at 5:24 PM, Ted Kremenek <kremenek at apple.com> wrote:
>
> On Feb 17, 2009, at 5:16 PM, Eli Friedman wrote:
>
>>
>> ******************** TEST
>> '/home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c' FAILED!
>> ********************
>> Command:
>> clang -analyze -std=gnu99 -checker-simple -verify
>> /home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c &&
>> clang -analyze -std=gnu99 -checker-simple -verify
>> /home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c
>> -analyzer-constraints=range &&
>> clang -analyze -std=gnu99 -checker-simple -analyzer-store=region
>> -analyzer-purge-dead=false -verify
>> /home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c &&
>> clang -analyze -std=gnu99 -checker-cfref -analyzer-store=region
>> -verify /home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c
>> Incorrect Output:
>> 11 diagnostics generated.
>> Warnings seen but not expected:
>>  Line 115: Dereference of null pointer.
>>  Line 169: Dereference of null pointer.
>> ******************** TEST
>> '/home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c' FAILED!
>
> Thanks Eli.  Can you tell which particular RUN line is causing
> null-deref-ps.c to fail?

clang -analyze -std=gnu99 -checker-simple -verify
/home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c
-analyzer-constraints=range

-Eli