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

YuvalShahar yuval.shahar.007 at gmail.com
Wed Apr 17 23:51:03 PDT 2013

yes, sorry for this mistake. 
I was trying to build a small program to understand why not all paths are
How about this example:

void use(int); 
void checkchecker(char *s) {
	int i=0;
	int j;
	while(*(s++)!=0) {
	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.

More information about the cfe-dev mailing list