[cfe-dev] Testsuite failures?

Eli Friedman eli.friedman at gmail.com
Tue Feb 17 17:40:43 PST 2009


On Tue, Feb 17, 2009 at 5:35 PM, Ted Kremenek <kremenek at apple.com> wrote:
> 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

dot file attached.

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

Yes.

-Eli
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mydot.dot
Type: application/msword
Size: 15250 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090217/a7ea54be/attachment.dot>


More information about the cfe-dev mailing list