[cfe-dev] uncovered path (wrong constraint?)

[Anna Zaks]

Yuval,

Unfortunately, we do not currently have the widening implemented. It's an open project of non-trivial complexity (See http://clang-analyzer.llvm.org/open_projects.html). Let us know if you would like to work on solving this problem.

Cheers,
Anna.
On Apr 17, 2013, at 11:51 PM, YuvalShahar <yuval.shahar.007 at gmail.com> wrote:

> yes, sorry for this mistake. 
> I was trying to build a small program to understand why not all paths are
> covered.
> How about this example:
> 
> void use(int); 
> void checkchecker(char *s) {
> 	int i=0;
> 	int j;
> 	while(*(s++)!=0) {
> 		i++;
> 	}
> 	if(i>4) {
> 		use(j);   //no report - if predicate is changed to i<4 there is a report
> 	}
> }
> 
> I see in the code that loops are covered 4 times, but I'd like to add
> another path and remove all constraints on variables that are changed in the
> loop (in the style of a widening operation). Any ideas on how to do this?
> Thanks, Yuval
> 
> 
> 
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/uncovered-path-wrong-constraint-tp4031492p4031559.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130418/a5125a01/attachment.html>