<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Jul 31, 2014, at 2:20 , Aleksei Sidorin <<a href="mailto:a.sidorin@samsung.com">a.sidorin@samsung.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div bgcolor="#FFFFFF" text="#000000" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 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;">Hello,<br>I found an issue in analyzer that seems strange to me. SymbolRegionValues related to a region remain alive after binding a new value to this region even if there is no any references to this symbol. Test sample:<br><br>void testStoreConstraint(int i) {<br> if (i < 10) // create a new symbol related to a region<br> i = 0; // bind a new value to this region<br> else<br> i = 1; // bind a new value to this region<br> (void)i; // but symbol is still alive here in constraints<br>}<br><br>and one of ProgramStates in the end of analysis, before the final PostStmtPurgeDeadSymbols node (the second state is almost the same):<br><br>Store (direct and default bindings), 0x6284fe8 :<br> (i,0,direct) : 1 S32b<br>Expressions:<br> (0x6283f50,0x6278190) i : &i<br>Ranges of symbol values:<br> reg_$0<i> : { [10, 2147483647] }<br><br><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px; font-family: 'Ubuntu Mono'; font-size: 12pt; color: rgb(170, 0, 0);"><br></div>Can somebody tell me why reg_$0<i> is alive?<br></div></blockquote><div><br></div>That does sound like a bug, but it's worth noting that the analyzer model does not actually promise that constraints will get cleaned up promptly. Please file a bug, and if you track this down, patches welcome. :-)<br></div><div><br></div><div>Jordan</div><br></body></html>