Testsuite failures?

Clang Frontend
1

I just fixed a couple of testsuite failures, but I'm still seeing
failures in test/SemaCXX/overload-decl.cpp and
test/Analysis/null-deref-ps.c, and I'm not sure how to fix them.
Anyone know what's going on there?

Thanks,
Eli

2

What do the failures look like?

-Chris

3

******************** TEST
'/home/eli/llvm/tools/clang/test/Analysis/null-deref-ps.c' FAILED!

4

Thanks Eli. Can you tell which particular RUN line is causing null-deref-ps.c to fail?

5

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

-Eli

6

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?

7

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

mydot.dot (14.9 KB)

8

That helps a lot. Are you at top-of-tree LLVM? This may be due to a bug in APSInt::operator-- that I fixed yesterday.

9

Oh! Oops, that was the issue. Thanks for working it out.

-Eli

10

******************** 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?

Has been failing for me all day as well.

- Fariborz

11

Fariborz: Are you at top of tree LLVM?

12

Apparently not. Top keeps changing :slight_smile: I did an update. So we'll see.

- Fariborz