svf-tools 1.0.772 → 1.0.773
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +10 -9
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +380 -380
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +35 -35
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +19 -18
- package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +323 -327
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +306 -305
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +28 -27
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +307 -311
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +10 -10
- package/SVF-doxygen/html/html/functions_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +3 -3
- package/SVF-doxygen/html/html/functions_g.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +9 -9
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +2 -2
- package/SVF-doxygen/html/html/search/functions_7.js +1 -1
- package/SVF-doxygen/html/html/search/functions_9.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +4 -5
- package/svf/include/AbstractExecution/IntervalValue.h +19 -19
- package/svf/include/AbstractExecution/NumericLiteral.h +2 -2
- package/svf/lib/AbstractExecution/BoundedZ3Expr.cpp +5 -5
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +0 -4
|
@@ -376,12 +376,12 @@ Private Attributes</h2></td></tr>
|
|
|
376
376
|
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
377
377
|
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="keywordflow">if</span> (idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>())</div>
|
|
378
378
|
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  {</div>
|
|
379
|
-
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  offsetLb = offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
379
|
+
<div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  offsetLb = offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
380
380
|
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div>
|
|
381
381
|
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">else</span></div>
|
|
382
382
|
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  {</div>
|
|
383
|
-
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  offsetLb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
384
|
-
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
383
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  offsetLb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
384
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
385
385
|
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  }</div>
|
|
386
386
|
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  }</div>
|
|
387
387
|
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  </div>
|
|
@@ -684,12 +684,12 @@ Private Attributes</h2></td></tr>
|
|
|
684
684
|
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
685
685
|
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="keywordflow">if</span> (idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>())</div>
|
|
686
686
|
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div>
|
|
687
|
-
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  offsetLb = offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
687
|
+
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  offsetLb = offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
688
688
|
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  }</div>
|
|
689
689
|
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordflow">else</span></div>
|
|
690
690
|
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  {</div>
|
|
691
|
-
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  offsetLb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
692
|
-
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
691
|
+
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  offsetLb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
692
|
+
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  offsetUb = valueReshape(idxVal.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
693
693
|
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  }</div>
|
|
694
694
|
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div>
|
|
695
695
|
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  </div>
|
|
@@ -1585,20 +1585,20 @@ Private Attributes</h2></td></tr>
|
|
|
1585
1585
|
</table>
|
|
1586
1586
|
</div><div class="memdoc">
|
|
1587
1587
|
|
|
1588
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1589
|
-
<div class="fragment"><div class="line"><a name="
|
|
1590
|
-
<div class="line"><a name="
|
|
1591
|
-
<div class="line"><a name="
|
|
1592
|
-
<div class="line"><a name="
|
|
1588
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00948">948</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
1589
|
+
<div class="fragment"><div class="line"><a name="l00949"></a><span class="lineno"> 949</span> {</div>
|
|
1590
|
+
<div class="line"><a name="l00950"></a><span class="lineno"> 950</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = callPE-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
1591
|
+
<div class="line"><a name="l00951"></a><span class="lineno"> 951</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = callPE-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
1592
|
+
<div class="line"><a name="l00952"></a><span class="lineno"> 952</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
|
|
1593
|
+
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span>  {</div>
|
|
1594
|
+
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
|
|
1595
|
+
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span>  }</div>
|
|
1596
|
+
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
|
|
1593
1597
|
<div class="line"><a name="l00957"></a><span class="lineno"> 957</span>  {</div>
|
|
1594
|
-
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span> 
|
|
1595
|
-
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span> 
|
|
1596
|
-
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span> 
|
|
1597
|
-
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> 
|
|
1598
|
-
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
1599
|
-
<div class="line"><a name="l00963"></a><span class="lineno"> 963</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
1600
|
-
<div class="line"><a name="l00964"></a><span class="lineno"> 964</span>  }</div>
|
|
1601
|
-
<div class="line"><a name="l00965"></a><span class="lineno"> 965</span> }</div>
|
|
1598
|
+
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
1599
|
+
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
1600
|
+
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span>  }</div>
|
|
1601
|
+
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> }</div>
|
|
1602
1602
|
</div><!-- fragment -->
|
|
1603
1603
|
</div>
|
|
1604
1604
|
</div>
|
|
@@ -1714,130 +1714,126 @@ Private Attributes</h2></td></tr>
|
|
|
1714
1714
|
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  {</div>
|
|
1715
1715
|
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> resVal;</div>
|
|
1716
1716
|
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &lhs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(op0), &rhs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(op1);</div>
|
|
1717
|
-
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span> 
|
|
1718
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span> 
|
|
1719
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
1720
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span> 
|
|
1721
|
-
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> 
|
|
1722
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  <span class="
|
|
1723
|
-
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="keywordflow">
|
|
1717
|
+
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  assert(!lhs.empty() && !rhs.empty() && <span class="stringliteral">"empty address?"</span>);</div>
|
|
1718
|
+
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span>  <span class="keyword">auto</span> predicate = cmp-><a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>();</div>
|
|
1719
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  <span class="keywordflow">switch</span> (predicate)</div>
|
|
1720
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  {</div>
|
|
1721
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">CmpStmt::ICMP_EQ</a>:</div>
|
|
1722
|
+
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">CmpStmt::FCMP_OEQ</a>:</div>
|
|
1723
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">CmpStmt::FCMP_UEQ</a>:</div>
|
|
1724
1724
|
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  {</div>
|
|
1725
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
1726
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
1727
|
-
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span> 
|
|
1728
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
1729
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  <span class="keywordflow">
|
|
1725
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1726
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  {</div>
|
|
1727
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lhs.equals(rhs));</div>
|
|
1728
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  }</div>
|
|
1729
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  <span class="keywordflow">else</span></div>
|
|
1730
1730
|
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  {</div>
|
|
1731
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
1732
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
1733
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span> 
|
|
1734
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span> 
|
|
1735
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <span class="keywordflow">
|
|
1731
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  <span class="keywordflow">if</span> (lhs.hasIntersect(rhs))</div>
|
|
1732
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  {</div>
|
|
1733
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1734
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  }</div>
|
|
1735
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <span class="keywordflow">else</span></div>
|
|
1736
1736
|
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  {</div>
|
|
1737
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
1737
|
+
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0);</div>
|
|
1738
1738
|
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  }</div>
|
|
1739
|
-
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span> 
|
|
1740
|
-
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span> 
|
|
1741
|
-
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span> 
|
|
1742
|
-
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span> 
|
|
1743
|
-
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> 
|
|
1744
|
-
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span> 
|
|
1745
|
-
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span> 
|
|
1746
|
-
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span> 
|
|
1747
|
-
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span> 
|
|
1748
|
-
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span> 
|
|
1749
|
-
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span> 
|
|
1750
|
-
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">
|
|
1739
|
+
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  }</div>
|
|
1740
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  <span class="keywordflow">break</span>;</div>
|
|
1741
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  }</div>
|
|
1742
|
+
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">CmpStmt::ICMP_NE</a>:</div>
|
|
1743
|
+
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">CmpStmt::FCMP_ONE</a>:</div>
|
|
1744
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">CmpStmt::FCMP_UNE</a>:</div>
|
|
1745
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  {</div>
|
|
1746
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1747
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  {</div>
|
|
1748
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(!lhs.equals(rhs));</div>
|
|
1749
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  }</div>
|
|
1750
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">else</span></div>
|
|
1751
1751
|
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  {</div>
|
|
1752
|
-
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span> 
|
|
1753
|
-
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span> 
|
|
1754
|
-
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span> 
|
|
1755
|
-
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span> 
|
|
1756
|
-
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <span class="keywordflow">
|
|
1752
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  <span class="keywordflow">if</span> (lhs.hasIntersect(rhs))</div>
|
|
1753
|
+
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  {</div>
|
|
1754
|
+
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1755
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  }</div>
|
|
1756
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <span class="keywordflow">else</span></div>
|
|
1757
1757
|
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  {</div>
|
|
1758
|
-
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
1758
|
+
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1);</div>
|
|
1759
1759
|
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  }</div>
|
|
1760
|
-
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span> 
|
|
1761
|
-
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span> 
|
|
1762
|
-
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span> 
|
|
1763
|
-
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span> 
|
|
1764
|
-
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> 
|
|
1765
|
-
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span> 
|
|
1766
|
-
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span> 
|
|
1767
|
-
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span> 
|
|
1768
|
-
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span> 
|
|
1769
|
-
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span> 
|
|
1770
|
-
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span> 
|
|
1771
|
-
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span> 
|
|
1772
|
-
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">
|
|
1760
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  }</div>
|
|
1761
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  <span class="keywordflow">break</span>;</div>
|
|
1762
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  }</div>
|
|
1763
|
+
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">CmpStmt::ICMP_UGT</a>:</div>
|
|
1764
|
+
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">CmpStmt::ICMP_SGT</a>:</div>
|
|
1765
|
+
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">CmpStmt::FCMP_OGT</a>:</div>
|
|
1766
|
+
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">CmpStmt::FCMP_UGT</a>:</div>
|
|
1767
|
+
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  {</div>
|
|
1768
|
+
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1769
|
+
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  {</div>
|
|
1770
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.begin() > *rhs.begin());</div>
|
|
1771
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  }</div>
|
|
1772
|
+
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">else</span></div>
|
|
1773
1773
|
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  {</div>
|
|
1774
|
-
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
1774
|
+
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1775
1775
|
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  }</div>
|
|
1776
|
-
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <span class="keywordflow">
|
|
1777
|
-
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span> 
|
|
1778
|
-
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span> 
|
|
1779
|
-
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span> 
|
|
1780
|
-
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span> 
|
|
1781
|
-
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span> 
|
|
1782
|
-
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span> 
|
|
1783
|
-
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span> 
|
|
1784
|
-
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span> 
|
|
1785
|
-
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span> 
|
|
1786
|
-
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span> 
|
|
1787
|
-
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">
|
|
1776
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <span class="keywordflow">break</span>;</div>
|
|
1777
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  }</div>
|
|
1778
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">CmpStmt::ICMP_UGE</a>:</div>
|
|
1779
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">CmpStmt::ICMP_SGE</a>:</div>
|
|
1780
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">CmpStmt::FCMP_OGE</a>:</div>
|
|
1781
|
+
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">CmpStmt::FCMP_UGE</a>:</div>
|
|
1782
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  {</div>
|
|
1783
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1784
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  {</div>
|
|
1785
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.begin() >= *rhs.begin());</div>
|
|
1786
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  }</div>
|
|
1787
|
+
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">else</span></div>
|
|
1788
1788
|
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  {</div>
|
|
1789
|
-
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
1789
|
+
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1790
1790
|
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span>  }</div>
|
|
1791
|
-
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">
|
|
1792
|
-
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span> 
|
|
1793
|
-
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span> 
|
|
1794
|
-
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span> 
|
|
1795
|
-
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span> 
|
|
1796
|
-
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span> 
|
|
1797
|
-
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span> 
|
|
1798
|
-
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span> 
|
|
1799
|
-
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span> 
|
|
1800
|
-
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span> 
|
|
1801
|
-
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span> 
|
|
1802
|
-
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">
|
|
1791
|
+
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">break</span>;</div>
|
|
1792
|
+
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  }</div>
|
|
1793
|
+
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">CmpStmt::ICMP_ULT</a>:</div>
|
|
1794
|
+
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">CmpStmt::ICMP_SLT</a>:</div>
|
|
1795
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">CmpStmt::FCMP_OLT</a>:</div>
|
|
1796
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">CmpStmt::FCMP_ULT</a>:</div>
|
|
1797
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  {</div>
|
|
1798
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1799
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  {</div>
|
|
1800
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.begin() < *rhs.begin());</div>
|
|
1801
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  }</div>
|
|
1802
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">else</span></div>
|
|
1803
1803
|
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  {</div>
|
|
1804
|
-
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
1804
|
+
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1805
1805
|
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  }</div>
|
|
1806
|
-
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">
|
|
1807
|
-
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span> 
|
|
1808
|
-
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span> 
|
|
1809
|
-
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span> 
|
|
1810
|
-
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span> 
|
|
1811
|
-
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span> 
|
|
1812
|
-
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span> 
|
|
1813
|
-
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span> 
|
|
1814
|
-
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span> 
|
|
1815
|
-
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span> 
|
|
1816
|
-
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span> 
|
|
1817
|
-
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">
|
|
1806
|
+
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">break</span>;</div>
|
|
1807
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  }</div>
|
|
1808
|
+
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">CmpStmt::ICMP_ULE</a>:</div>
|
|
1809
|
+
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">CmpStmt::ICMP_SLE</a>:</div>
|
|
1810
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">CmpStmt::FCMP_OLE</a>:</div>
|
|
1811
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">CmpStmt::FCMP_ULE</a>:</div>
|
|
1812
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  {</div>
|
|
1813
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  <span class="keywordflow">if</span> (lhs.size() == 1 && rhs.size() == 1)</div>
|
|
1814
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  {</div>
|
|
1815
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.begin() <= *rhs.begin());</div>
|
|
1816
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div>
|
|
1817
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">else</span></div>
|
|
1818
1818
|
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  {</div>
|
|
1819
|
-
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
1819
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1820
1820
|
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  }</div>
|
|
1821
|
-
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">
|
|
1822
|
-
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span> 
|
|
1823
|
-
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span> 
|
|
1824
|
-
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span> 
|
|
1821
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">break</span>;</div>
|
|
1822
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  }</div>
|
|
1823
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">CmpStmt::FCMP_FALSE</a>:</div>
|
|
1824
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, 0);</div>
|
|
1825
1825
|
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <span class="keywordflow">break</span>;</div>
|
|
1826
|
-
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span> 
|
|
1827
|
-
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span> 
|
|
1828
|
-
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span> 
|
|
1829
|
-
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span> 
|
|
1830
|
-
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span> 
|
|
1831
|
-
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span> 
|
|
1832
|
-
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span> 
|
|
1833
|
-
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span> 
|
|
1834
|
-
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span> 
|
|
1835
|
-
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span> 
|
|
1836
|
-
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> 
|
|
1837
|
-
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  }</div>
|
|
1838
|
-
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = resVal;</div>
|
|
1839
|
-
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  }</div>
|
|
1840
|
-
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span> }</div>
|
|
1826
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">CmpStmt::FCMP_TRUE</a>:</div>
|
|
1827
|
+
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1, 1);</div>
|
|
1828
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  <span class="keywordflow">break</span>;</div>
|
|
1829
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <span class="keywordflow">default</span>:</div>
|
|
1830
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  {</div>
|
|
1831
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined compare: "</span>);</div>
|
|
1832
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  }</div>
|
|
1833
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  }</div>
|
|
1834
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = resVal;</div>
|
|
1835
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div>
|
|
1836
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> }</div>
|
|
1841
1837
|
</div><!-- fragment -->
|
|
1842
1838
|
</div>
|
|
1843
1839
|
</div>
|
|
@@ -1934,27 +1930,27 @@ Private Attributes</h2></td></tr>
|
|
|
1934
1930
|
</table>
|
|
1935
1931
|
</div><div class="memdoc">
|
|
1936
1932
|
|
|
1937
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1938
|
-
<div class="fragment"><div class="line"><a name="
|
|
1939
|
-
<div class="line"><a name="
|
|
1940
|
-
<div class="line"><a name="
|
|
1941
|
-
<div class="line"><a name="
|
|
1933
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00831">831</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
1934
|
+
<div class="fragment"><div class="line"><a name="l00832"></a><span class="lineno"> 832</span> {</div>
|
|
1935
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = <a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getLHSVarID();</div>
|
|
1936
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> rhs = <a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getRHSVarID();</div>
|
|
1937
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()->isBlkPtr(lhs))</div>
|
|
1938
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  {</div>
|
|
1939
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
1940
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  }</div>
|
|
1941
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  <span class="keywordflow">else</span></div>
|
|
1942
1942
|
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  {</div>
|
|
1943
|
-
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <
|
|
1944
|
-
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span> 
|
|
1945
|
-
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span> 
|
|
1946
|
-
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> 
|
|
1947
|
-
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#
|
|
1943
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
|
|
1944
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  {</div>
|
|
1945
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
|
|
1946
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span>  }</div>
|
|
1947
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
|
|
1948
1948
|
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span>  {</div>
|
|
1949
|
-
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span> 
|
|
1950
|
-
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span> 
|
|
1951
|
-
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span> 
|
|
1952
|
-
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span> 
|
|
1953
|
-
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span> 
|
|
1954
|
-
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
1955
|
-
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  }</div>
|
|
1956
|
-
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  }</div>
|
|
1957
|
-
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span> }</div>
|
|
1949
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
1950
|
+
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
1951
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  }</div>
|
|
1952
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  }</div>
|
|
1953
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span> }</div>
|
|
1958
1954
|
</div><!-- fragment -->
|
|
1959
1955
|
</div>
|
|
1960
1956
|
</div>
|
|
@@ -2007,37 +2003,37 @@ Private Attributes</h2></td></tr>
|
|
|
2007
2003
|
</table>
|
|
2008
2004
|
</div><div class="memdoc">
|
|
2009
2005
|
|
|
2010
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2011
|
-
<div class="fragment"><div class="line"><a name="
|
|
2012
|
-
<div class="line"><a name="
|
|
2013
|
-
<div class="line"><a name="
|
|
2014
|
-
<div class="line"><a name="
|
|
2015
|
-
<div class="line"><a name="
|
|
2016
|
-
<div class="line"><a name="
|
|
2017
|
-
<div class="line"><a name="
|
|
2018
|
-
<div class="line"><a name="
|
|
2019
|
-
<div class="line"><a name="
|
|
2020
|
-
<div class="line"><a name="
|
|
2006
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00853">853</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2007
|
+
<div class="fragment"><div class="line"><a name="l00854"></a><span class="lineno"> 854</span> {</div>
|
|
2008
|
+
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> rhs = gep-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
2009
|
+
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = gep-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
2010
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs)) <span class="keywordflow">return</span>;</div>
|
|
2011
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
2012
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &rhsVal = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
2013
|
+
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="keywordflow">if</span> (rhsVal.empty()) <span class="keywordflow">return</span>;</div>
|
|
2014
|
+
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  std::pair<APOffset, APOffset> offsetPair = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#afed2852aec6793e1943f97ed39dd8d2b">getGepOffset</a>(gep);</div>
|
|
2015
|
+
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span>  <span class="keywordflow">if</span> (offsetPair.first == -1 && offsetPair.second == -1) <span class="keywordflow">return</span>;</div>
|
|
2016
|
+
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">isVirtualMemAddress</a>(*rhsVal.begin()))</div>
|
|
2017
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  {</div>
|
|
2018
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="keywordflow">return</span>;</div>
|
|
2019
|
+
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  }</div>
|
|
2020
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <span class="keywordflow">else</span></div>
|
|
2021
2021
|
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  {</div>
|
|
2022
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <
|
|
2023
|
-
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span> 
|
|
2024
|
-
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span> 
|
|
2025
|
-
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span> 
|
|
2026
|
-
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span> 
|
|
2027
|
-
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> 
|
|
2028
|
-
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  <span class="keywordflow">
|
|
2022
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> gepAddrs;</div>
|
|
2023
|
+
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> ub = offsetPair.second;</div>
|
|
2024
|
+
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="keywordflow">if</span> (offsetPair.second > <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1)</div>
|
|
2025
|
+
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  {</div>
|
|
2026
|
+
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span>  ub = <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1;</div>
|
|
2027
|
+
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span>  }</div>
|
|
2028
|
+
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = offsetPair.first; i <= ub; i++)</div>
|
|
2029
2029
|
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  {</div>
|
|
2030
|
-
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span> 
|
|
2030
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  gepAddrs.join_with(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a67532bdc1e4a49cf4d9da4b99b38e69a">getGepObjAddress</a>(rhs, i));</div>
|
|
2031
2031
|
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  }</div>
|
|
2032
|
-
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <span class="keywordflow">
|
|
2033
|
-
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span> 
|
|
2034
|
-
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span> 
|
|
2035
|
-
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span> 
|
|
2036
|
-
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span> 
|
|
2037
|
-
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = gepAddrs;</div>
|
|
2038
|
-
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span>  <span class="keywordflow">return</span>;</div>
|
|
2039
|
-
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span>  }</div>
|
|
2040
|
-
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span> }</div>
|
|
2032
|
+
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <span class="keywordflow">if</span>(gepAddrs.empty()) <span class="keywordflow">return</span>;</div>
|
|
2033
|
+
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = gepAddrs;</div>
|
|
2034
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span>  <span class="keywordflow">return</span>;</div>
|
|
2035
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  }</div>
|
|
2036
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span> }</div>
|
|
2041
2037
|
</div><!-- fragment -->
|
|
2042
2038
|
</div>
|
|
2043
2039
|
</div>
|
|
@@ -2057,51 +2053,51 @@ Private Attributes</h2></td></tr>
|
|
|
2057
2053
|
</table>
|
|
2058
2054
|
</div><div class="memdoc">
|
|
2059
2055
|
|
|
2060
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2061
|
-
<div class="fragment"><div class="line"><a name="
|
|
2062
|
-
<div class="line"><a name="
|
|
2063
|
-
<div class="line"><a name="
|
|
2064
|
-
<div class="line"><a name="
|
|
2065
|
-
<div class="line"><a name="
|
|
2066
|
-
<div class="line"><a name="
|
|
2067
|
-
<div class="line"><a name="
|
|
2068
|
-
<div class="line"><a name="
|
|
2069
|
-
<div class="line"><a name="
|
|
2070
|
-
<div class="line"><a name="
|
|
2071
|
-
<div class="line"><a name="
|
|
2072
|
-
<div class="line"><a name="
|
|
2073
|
-
<div class="line"><a name="
|
|
2074
|
-
<div class="line"><a name="
|
|
2075
|
-
<div class="line"><a name="
|
|
2076
|
-
<div class="line"><a name="
|
|
2077
|
-
<div class="line"><a name="
|
|
2078
|
-
<div class="line"><a name="
|
|
2079
|
-
<div class="line"><a name="
|
|
2080
|
-
<div class="line"><a name="
|
|
2081
|
-
<div class="line"><a name="
|
|
2082
|
-
<div class="line"><a name="
|
|
2056
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00756">756</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2057
|
+
<div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span> {</div>
|
|
2058
|
+
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> rhs = load-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
2059
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = load-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
2060
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
|
|
2061
|
+
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  {</div>
|
|
2062
|
+
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &addrs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
2063
|
+
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span>  assert(!addrs.empty());</div>
|
|
2064
|
+
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
2065
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  {</div>
|
|
2066
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
|
|
2067
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(objId))</div>
|
|
2068
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
2069
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(objId))</div>
|
|
2070
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs).<a class="code" href="classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f">setBottom</a>();</div>
|
|
2071
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keywordflow">break</span>;</div>
|
|
2072
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  }</div>
|
|
2073
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
2074
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  {</div>
|
|
2075
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
|
|
2076
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(objId))</div>
|
|
2077
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  {</div>
|
|
2078
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(lhs))</div>
|
|
2079
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  {</div>
|
|
2080
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(addr);</div>
|
|
2081
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  }</div>
|
|
2082
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">else</span></div>
|
|
2083
2083
|
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  {</div>
|
|
2084
|
-
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs]
|
|
2084
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs].join_with(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(addr));</div>
|
|
2085
2085
|
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  }</div>
|
|
2086
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> 
|
|
2087
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span> 
|
|
2088
|
-
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span> 
|
|
2089
|
-
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> 
|
|
2090
|
-
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> 
|
|
2091
|
-
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> 
|
|
2092
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> 
|
|
2093
|
-
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="keywordflow">
|
|
2086
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  }</div>
|
|
2087
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(objId))</div>
|
|
2088
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  {</div>
|
|
2089
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(lhs))</div>
|
|
2090
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  {</div>
|
|
2091
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr);</div>
|
|
2092
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  }</div>
|
|
2093
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="keywordflow">else</span></div>
|
|
2094
2094
|
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  {</div>
|
|
2095
|
-
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr);</div>
|
|
2095
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr));</div>
|
|
2096
2096
|
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  }</div>
|
|
2097
|
-
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span> 
|
|
2098
|
-
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> 
|
|
2099
|
-
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span> 
|
|
2100
|
-
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> 
|
|
2101
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  }</div>
|
|
2102
|
-
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  }</div>
|
|
2103
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  }</div>
|
|
2104
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> }</div>
|
|
2097
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  }</div>
|
|
2098
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  }</div>
|
|
2099
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  }</div>
|
|
2100
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> }</div>
|
|
2105
2101
|
</div><!-- fragment -->
|
|
2106
2102
|
</div>
|
|
2107
2103
|
</div>
|
|
@@ -2154,39 +2150,39 @@ Private Attributes</h2></td></tr>
|
|
|
2154
2150
|
</table>
|
|
2155
2151
|
</div><div class="memdoc">
|
|
2156
2152
|
|
|
2157
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2158
|
-
<div class="fragment"><div class="line"><a name="
|
|
2159
|
-
<div class="line"><a name="
|
|
2160
|
-
<div class="line"><a name="
|
|
2161
|
-
<div class="line"><a name="
|
|
2162
|
-
<div class="line"><a name="
|
|
2163
|
-
<div class="line"><a name="
|
|
2164
|
-
<div class="line"><a name="
|
|
2165
|
-
<div class="line"><a name="
|
|
2166
|
-
<div class="line"><a name="
|
|
2153
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00913">913</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2154
|
+
<div class="fragment"><div class="line"><a name="l00914"></a><span class="lineno"> 914</span> {</div>
|
|
2155
|
+
<div class="line"><a name="l00915"></a><span class="lineno"> 915</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = phi-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
|
|
2156
|
+
<div class="line"><a name="l00916"></a><span class="lineno"> 916</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0; i < phi-><a class="code" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a>(); i++)</div>
|
|
2157
|
+
<div class="line"><a name="l00917"></a><span class="lineno"> 917</span>  {</div>
|
|
2158
|
+
<div class="line"><a name="l00918"></a><span class="lineno"> 918</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> curId = phi-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(i);</div>
|
|
2159
|
+
<div class="line"><a name="l00919"></a><span class="lineno"> 919</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(curId))</div>
|
|
2160
|
+
<div class="line"><a name="l00920"></a><span class="lineno"> 920</span>  {</div>
|
|
2161
|
+
<div class="line"><a name="l00921"></a><span class="lineno"> 921</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &cur = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[curId];</div>
|
|
2162
|
+
<div class="line"><a name="l00922"></a><span class="lineno"> 922</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(res))</div>
|
|
2163
|
+
<div class="line"><a name="l00923"></a><span class="lineno"> 923</span>  {</div>
|
|
2164
|
+
<div class="line"><a name="l00924"></a><span class="lineno"> 924</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = cur;</div>
|
|
2165
|
+
<div class="line"><a name="l00925"></a><span class="lineno"> 925</span>  }</div>
|
|
2166
|
+
<div class="line"><a name="l00926"></a><span class="lineno"> 926</span>  <span class="keywordflow">else</span></div>
|
|
2167
2167
|
<div class="line"><a name="l00927"></a><span class="lineno"> 927</span>  {</div>
|
|
2168
|
-
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res]
|
|
2168
|
+
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res].join_with(cur);</div>
|
|
2169
2169
|
<div class="line"><a name="l00929"></a><span class="lineno"> 929</span>  }</div>
|
|
2170
|
-
<div class="line"><a name="l00930"></a><span class="lineno"> 930</span> 
|
|
2171
|
-
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span> 
|
|
2172
|
-
<div class="line"><a name="l00932"></a><span class="lineno"> 932</span> 
|
|
2173
|
-
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span> 
|
|
2174
|
-
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span> 
|
|
2175
|
-
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span> 
|
|
2176
|
-
<div class="line"><a name="l00936"></a><span class="lineno"> 936</span> 
|
|
2177
|
-
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span> 
|
|
2178
|
-
<div class="line"><a name="l00938"></a><span class="lineno"> 938</span> 
|
|
2179
|
-
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  <span class="keywordflow">
|
|
2170
|
+
<div class="line"><a name="l00930"></a><span class="lineno"> 930</span>  }</div>
|
|
2171
|
+
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(curId))</div>
|
|
2172
|
+
<div class="line"><a name="l00932"></a><span class="lineno"> 932</span>  {</div>
|
|
2173
|
+
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId).empty());</div>
|
|
2174
|
+
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &cur = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId);</div>
|
|
2175
|
+
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(res))</div>
|
|
2176
|
+
<div class="line"><a name="l00936"></a><span class="lineno"> 936</span>  {</div>
|
|
2177
|
+
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = cur;</div>
|
|
2178
|
+
<div class="line"><a name="l00938"></a><span class="lineno"> 938</span>  }</div>
|
|
2179
|
+
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  <span class="keywordflow">else</span></div>
|
|
2180
2180
|
<div class="line"><a name="l00940"></a><span class="lineno"> 940</span>  {</div>
|
|
2181
|
-
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = cur;</div>
|
|
2181
|
+
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(cur);</div>
|
|
2182
2182
|
<div class="line"><a name="l00942"></a><span class="lineno"> 942</span>  }</div>
|
|
2183
|
-
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span> 
|
|
2184
|
-
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span> 
|
|
2185
|
-
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span> 
|
|
2186
|
-
<div class="line"><a name="l00946"></a><span class="lineno"> 946</span>  }</div>
|
|
2187
|
-
<div class="line"><a name="l00947"></a><span class="lineno"> 947</span>  }</div>
|
|
2188
|
-
<div class="line"><a name="l00948"></a><span class="lineno"> 948</span>  }</div>
|
|
2189
|
-
<div class="line"><a name="l00949"></a><span class="lineno"> 949</span> }</div>
|
|
2183
|
+
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span>  }</div>
|
|
2184
|
+
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span>  }</div>
|
|
2185
|
+
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span> }</div>
|
|
2190
2186
|
</div><!-- fragment -->
|
|
2191
2187
|
</div>
|
|
2192
2188
|
</div>
|
|
@@ -2275,20 +2271,20 @@ Private Attributes</h2></td></tr>
|
|
|
2275
2271
|
</table>
|
|
2276
2272
|
</div><div class="memdoc">
|
|
2277
2273
|
|
|
2278
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2279
|
-
<div class="fragment"><div class="line"><a name="
|
|
2280
|
-
<div class="line"><a name="
|
|
2281
|
-
<div class="line"><a name="
|
|
2282
|
-
<div class="line"><a name="
|
|
2274
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00963">963</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2275
|
+
<div class="fragment"><div class="line"><a name="l00964"></a><span class="lineno"> 964</span> {</div>
|
|
2276
|
+
<div class="line"><a name="l00965"></a><span class="lineno"> 965</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = retPE-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
2277
|
+
<div class="line"><a name="l00966"></a><span class="lineno"> 966</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = retPE-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
2278
|
+
<div class="line"><a name="l00967"></a><span class="lineno"> 967</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
|
|
2279
|
+
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  {</div>
|
|
2280
|
+
<div class="line"><a name="l00969"></a><span class="lineno"> 969</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
|
|
2281
|
+
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span>  }</div>
|
|
2282
|
+
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
|
|
2283
2283
|
<div class="line"><a name="l00972"></a><span class="lineno"> 972</span>  {</div>
|
|
2284
|
-
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span> 
|
|
2285
|
-
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span> 
|
|
2286
|
-
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span> 
|
|
2287
|
-
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span> 
|
|
2288
|
-
<div class="line"><a name="l00977"></a><span class="lineno"> 977</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
2289
|
-
<div class="line"><a name="l00978"></a><span class="lineno"> 978</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
2290
|
-
<div class="line"><a name="l00979"></a><span class="lineno"> 979</span>  }</div>
|
|
2291
|
-
<div class="line"><a name="l00980"></a><span class="lineno"> 980</span> }</div>
|
|
2284
|
+
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
2285
|
+
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
|
|
2286
|
+
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span>  }</div>
|
|
2287
|
+
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span> }</div>
|
|
2292
2288
|
</div><!-- fragment -->
|
|
2293
2289
|
</div>
|
|
2294
2290
|
</div>
|
|
@@ -2341,33 +2337,33 @@ Private Attributes</h2></td></tr>
|
|
|
2341
2337
|
</table>
|
|
2342
2338
|
</div><div class="memdoc">
|
|
2343
2339
|
|
|
2344
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2345
|
-
<div class="fragment"><div class="line"><a name="
|
|
2346
|
-
<div class="line"><a name="
|
|
2347
|
-
<div class="line"><a name="
|
|
2348
|
-
<div class="line"><a name="
|
|
2349
|
-
<div class="line"><a name="
|
|
2350
|
-
<div class="line"><a name="
|
|
2351
|
-
<div class="line"><a name="
|
|
2352
|
-
<div class="line"><a name="
|
|
2340
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00885">885</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2341
|
+
<div class="fragment"><div class="line"><a name="l00886"></a><span class="lineno"> 886</span> {</div>
|
|
2342
|
+
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = select-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
|
|
2343
|
+
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> tval = select-><a class="code" href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">getTrueValue</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
|
|
2344
|
+
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fval = select-><a class="code" href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">getFalseValue</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
|
|
2345
|
+
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> cond = select-><a class="code" href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">getCondition</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
|
|
2346
|
+
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(tval) && <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(fval) && <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(cond))</div>
|
|
2347
|
+
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span>  {</div>
|
|
2348
|
+
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond].is_numeral())</div>
|
|
2349
|
+
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span>  {</div>
|
|
2350
|
+
<div class="line"><a name="l00895"></a><span class="lineno"> 895</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond].is_zero() ? <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[fval] : <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[tval];</div>
|
|
2351
|
+
<div class="line"><a name="l00896"></a><span class="lineno"> 896</span>  }</div>
|
|
2352
|
+
<div class="line"><a name="l00897"></a><span class="lineno"> 897</span>  <span class="keywordflow">else</span></div>
|
|
2353
2353
|
<div class="line"><a name="l00898"></a><span class="lineno"> 898</span>  {</div>
|
|
2354
|
-
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond]
|
|
2354
|
+
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond];</div>
|
|
2355
2355
|
<div class="line"><a name="l00900"></a><span class="lineno"> 900</span>  }</div>
|
|
2356
|
-
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span> 
|
|
2357
|
-
<div class="line"><a name="l00902"></a><span class="lineno"> 902</span> 
|
|
2358
|
-
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span> 
|
|
2359
|
-
<div class="line"><a name="l00904"></a><span class="lineno"> 904</span> 
|
|
2360
|
-
<div class="line"><a name="l00905"></a><span class="lineno"> 905</span> 
|
|
2361
|
-
<div class="line"><a name="l00906"></a><span class="lineno"> 906</span> 
|
|
2362
|
-
<div class="line"><a name="l00907"></a><span class="lineno"> 907</span> 
|
|
2363
|
-
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span> 
|
|
2364
|
-
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span> 
|
|
2365
|
-
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span> 
|
|
2366
|
-
<div class="line"><a name="l00911"></a><span class="lineno"> 911</span> 
|
|
2367
|
-
<div class="line"><a name="l00912"></a><span class="lineno"> 912</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond].is_zero() ? <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(fval) : <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(tval);</div>
|
|
2368
|
-
<div class="line"><a name="l00913"></a><span class="lineno"> 913</span>  }</div>
|
|
2369
|
-
<div class="line"><a name="l00914"></a><span class="lineno"> 914</span>  }</div>
|
|
2370
|
-
<div class="line"><a name="l00915"></a><span class="lineno"> 915</span> }</div>
|
|
2356
|
+
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span>  }</div>
|
|
2357
|
+
<div class="line"><a name="l00902"></a><span class="lineno"> 902</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(tval) && <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(fval) && <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(cond))</div>
|
|
2358
|
+
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span>  {</div>
|
|
2359
|
+
<div class="line"><a name="l00904"></a><span class="lineno"> 904</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond].is_numeral())</div>
|
|
2360
|
+
<div class="line"><a name="l00905"></a><span class="lineno"> 905</span>  {</div>
|
|
2361
|
+
<div class="line"><a name="l00906"></a><span class="lineno"> 906</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(fval).empty());</div>
|
|
2362
|
+
<div class="line"><a name="l00907"></a><span class="lineno"> 907</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(tval).empty());</div>
|
|
2363
|
+
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[cond].is_zero() ? <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(fval) : <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(tval);</div>
|
|
2364
|
+
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span>  }</div>
|
|
2365
|
+
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span>  }</div>
|
|
2366
|
+
<div class="line"><a name="l00911"></a><span class="lineno"> 911</span> }</div>
|
|
2371
2367
|
</div><!-- fragment -->
|
|
2372
2368
|
</div>
|
|
2373
2369
|
</div>
|
|
@@ -2429,34 +2425,34 @@ Private Attributes</h2></td></tr>
|
|
|
2429
2425
|
</table>
|
|
2430
2426
|
</div><div class="memdoc">
|
|
2431
2427
|
|
|
2432
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#
|
|
2433
|
-
<div class="fragment"><div class="line"><a name="
|
|
2434
|
-
<div class="line"><a name="
|
|
2435
|
-
<div class="line"><a name="
|
|
2436
|
-
<div class="line"><a name="
|
|
2437
|
-
<div class="line"><a name="
|
|
2438
|
-
<div class="line"><a name="
|
|
2439
|
-
<div class="line"><a name="
|
|
2440
|
-
<div class="line"><a name="
|
|
2441
|
-
<div class="line"><a name="
|
|
2442
|
-
<div class="line"><a name="
|
|
2443
|
-
<div class="line"><a name="
|
|
2444
|
-
<div class="line"><a name="
|
|
2445
|
-
<div class="line"><a name="
|
|
2446
|
-
<div class="line"><a name="
|
|
2447
|
-
<div class="line"><a name="
|
|
2448
|
-
<div class="line"><a name="
|
|
2449
|
-
<div class="line"><a name="
|
|
2450
|
-
<div class="line"><a name="
|
|
2451
|
-
<div class="line"><a name="
|
|
2452
|
-
<div class="line"><a name="
|
|
2453
|
-
<div class="line"><a name="
|
|
2454
|
-
<div class="line"><a name="
|
|
2455
|
-
<div class="line"><a name="
|
|
2456
|
-
<div class="line"><a name="
|
|
2457
|
-
<div class="line"><a name="
|
|
2458
|
-
<div class="line"><a name="
|
|
2459
|
-
<div class="line"><a name="
|
|
2428
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00802">802</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
|
|
2429
|
+
<div class="fragment"><div class="line"><a name="l00803"></a><span class="lineno"> 803</span> {</div>
|
|
2430
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> rhs = store-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
2431
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = store-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
2432
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(lhs))</div>
|
|
2433
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  {</div>
|
|
2434
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
|
|
2435
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  {</div>
|
|
2436
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(lhs).empty());</div>
|
|
2437
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &addrs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(lhs);</div>
|
|
2438
|
+
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
2439
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  {</div>
|
|
2440
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">store</a>(addr, <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs]);</div>
|
|
2441
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  }</div>
|
|
2442
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  }</div>
|
|
2443
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
|
|
2444
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  {</div>
|
|
2445
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(lhs).empty());</div>
|
|
2446
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &addrs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(lhs);</div>
|
|
2447
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
2448
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  {</div>
|
|
2449
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
|
|
2450
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">storeVAddrs</a>(addr, <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs));</div>
|
|
2451
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  }</div>
|
|
2452
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span>  </div>
|
|
2453
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  }</div>
|
|
2454
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  }</div>
|
|
2455
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span> }</div>
|
|
2460
2456
|
</div><!-- fragment -->
|
|
2461
2457
|
</div>
|
|
2462
2458
|
</div>
|
|
@@ -2691,7 +2687,6 @@ Private Attributes</h2></td></tr>
|
|
|
2691
2687
|
<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
|
|
2692
2688
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00902">SVFStatements.h:902</a></div></div>
|
|
2693
2689
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
|
|
2694
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a221061ec858e5c51b222164a6c4f8152"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a221061ec858e5c51b222164a6c4f8152">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
2695
2690
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_a77d6a1706328d86b210b26bacaf2fa9f"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f">SVF::AddressValue::setBottom</a></div><div class="ttdeci">void setBottom()</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00197">AddressValue.h:197</a></div></div>
|
|
2696
2691
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ae48cc31474d2c1cbc581b8f7ed433a14"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">SVF::SVFIR2ItvExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00174">SVFIR2ItvExeState.h:174</a></div></div>
|
|
2697
2692
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt::FRem</a></div><div class="ttdeci">@ FRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00983">SVFStatements.h:983</a></div></div>
|
|
@@ -2750,6 +2745,7 @@ Private Attributes</h2></td></tr>
|
|
|
2750
2745
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
|
|
2751
2746
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_afed2852aec6793e1943f97ed39dd8d2b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#afed2852aec6793e1943f97ed39dd8d2b">SVF::SVFIR2ItvExeState::getGepOffset</a></div><div class="ttdeci">std::pair< APOffset, APOffset > getGepOffset(const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00352">SVFIR2ItvExeState.cpp:352</a></div></div>
|
|
2752
2747
|
<div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</a></div></div>
|
|
2748
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
2753
2749
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">SVF::CmpStmt::FCMP_ULE</a></div><div class="ttdeci">@ FCMP_ULE</div><div class="ttdoc">1 1 0 1 True if unordered, less than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00901">SVFStatements.h:901</a></div></div>
|
|
2754
2750
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a66c426719f583653cb70189f01d6fda5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">SVF::SVFIR2ItvExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00162">SVFIR2ItvExeState.h:162</a></div></div>
|
|
2755
2751
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">key: nodeID value: Domain Value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00070">IntervalExeState.h:70</a></div></div>
|