<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Yuval,<div><br></div><div>Unfortunately, we do not currently have the widening implemented. It's an open project of non-trivial complexity (See <a href="http://clang-analyzer.llvm.org/open_projects.html">http://clang-analyzer.llvm.org/open_projects.html</a>). Let us know if you would like to work on solving this problem.</div><div><br></div><div>Cheers,</div><div>Anna.<br><div><div>On Apr 17, 2013, at 11:51 PM, YuvalShahar <<a href="mailto:yuval.shahar.007@gmail.com">yuval.shahar.007@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">yes, sorry for this mistake.<span class="Apple-converted-space"> </span><br>I was trying to build a small program to understand why not all paths are<br>covered.<br>How about this example:<br><br>void use(int);<span class="Apple-converted-space"> </span><br>void checkchecker(char *s) {<br><span class="Apple-tab-span" style="white-space: pre;"> </span>int i=0;<br><span class="Apple-tab-span" style="white-space: pre;"> </span>int j;<br><span class="Apple-tab-span" style="white-space: pre;"> </span>while(*(s++)!=0) {<br><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>i++;<br><span class="Apple-tab-span" style="white-space: pre;"> </span>}<br><span class="Apple-tab-span" style="white-space: pre;"> </span>if(i>4) {<br><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>use(j); //no report - if predicate is changed to i<4 there is a report<br><span class="Apple-tab-span" style="white-space: pre;"> </span>}<br>}<br><br>I see in the code that loops are covered 4 times, but I'd like to add<br>another path and remove all constraints on variables that are changed in the<br>loop (in the style of a widening operation). Any ideas on how to do this?<br>Thanks, Yuval<br><br><br><br>--<br>View this message in context:<span class="Apple-converted-space"> </span><a href="http://clang-developers.42468.n3.nabble.com/uncovered-path-wrong-constraint-tp4031492p4031559.html">http://clang-developers.42468.n3.nabble.com/uncovered-path-wrong-constraint-tp4031492p4031559.html</a><br>Sent from the Clang Developers mailing list archive at<span class="Apple-converted-space"> </span><a href="http://nabble.com/">Nabble.com</a>.<br>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></div></body></html>