<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
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>
<meta name="qrichtext" content="1">
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>
<p style="-qt-paragraph-type:empty; margin-top:0px;
margin-bottom:0px; margin-left:0px; margin-right:0px;
-qt-block-indent:0; text-indent:0px; font-family:'Ubuntu Mono';
font-size:12pt; color:#aa0000;"><br>
<!--EndFragment--></p>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css">
p, li { white-space: pre-wrap; }</style>Can somebody tell me why
reg_$0<i> is alive?<br>
<pre class="moz-signature" cols="72">--
Best regards,
Aleksei Sidorin
Software Engineer,
IMSWL-IMCG, SRR, Samsung Electronics
</pre>
</body>
</html>