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

[YuvalShahar]

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.