Hi Zhongxing, Please split the RegionStore specific test cases into a separate file. It's easier to follow, and having the RUN line in the middle of the file is easy for people to miss.
BTW, the reason we tie run lines together with '&&' is because without it the error code of the test is only the last RUN line (as opposed to being the conjunction). Ted On Nov 19, 2008, at 3:10 AM, Zhongxing Xu wrote: > Author: zhongxingxu > Date: Wed Nov 19 05:10:42 2008 > New Revision: 59620 > > URL: http://llvm.org/viewvc/llvm-project?rev=59620&view=rev > Log: > Add test for path-sensitive uninit-val detection involving struct > field. > > Modified: > cfe/trunk/test/Analysis/uninit-vals-ps.c > > Modified: cfe/trunk/test/Analysis/uninit-vals-ps.c > URL: > http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-vals-ps.c?rev=59620&r1=59619&r2=59620&view=diff > > = > = > = > = > = > = > = > = > ====================================================================== > --- cfe/trunk/test/Analysis/uninit-vals-ps.c (original) > +++ cfe/trunk/test/Analysis/uninit-vals-ps.c Wed Nov 19 05:10:42 2008 > @@ -41,3 +41,21 @@ > else > return 1; > } > + > +// RUN: clang -checker-simple -analyzer-store-region -verify %s > + > +struct s { > + int data; > +}; > + > +struct s global; > + > +void g(int); > + > +void f4() { > + int a; > + if (global.data == 0) > + a = 3; > + if (global.data == 0) > + g(a); // no-warning > +} > > > _______________________________________________ > cfe-commits mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
