[cfe-dev] Testsuite failures?

Ted Kremenek kremenek at apple.com
Tue Feb 17 17:35:38 PST 2009


On Feb 17, 2009, at 5:27 PM, Eli Friedman wrote:

> 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


Thanks Eli.

Is it possible for you to send me the dot or postscript file created  
by the command:

   clang -analyze -checker-simple -analyzer-constraints=range null- 
deref-ps.c  -analyze-function=f7 -analyzer-viz-egraph-graphviz

Also, if you change -analyzer-constraints=range to -analyzer- 
constraints=basic does the issue go away?



More information about the cfe-dev mailing list