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
|
@@ -283,12 +283,12 @@ $(function() {
|
|
|
283
283
|
<div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
284
284
|
<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>
|
|
285
285
|
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  {</div>
|
|
286
|
-
<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#
|
|
286
|
+
<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>
|
|
287
287
|
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div>
|
|
288
288
|
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="keywordflow">else</span></div>
|
|
289
289
|
<div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  {</div>
|
|
290
|
-
<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#
|
|
291
|
-
<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#
|
|
290
|
+
<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>
|
|
291
|
+
<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>
|
|
292
292
|
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  }</div>
|
|
293
293
|
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  }</div>
|
|
294
294
|
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  </div>
|
|
@@ -347,12 +347,12 @@ $(function() {
|
|
|
347
347
|
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
348
348
|
<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>
|
|
349
349
|
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div>
|
|
350
|
-
<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#
|
|
350
|
+
<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>
|
|
351
351
|
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  }</div>
|
|
352
352
|
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordflow">else</span></div>
|
|
353
353
|
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  {</div>
|
|
354
|
-
<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#
|
|
355
|
-
<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#
|
|
354
|
+
<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>
|
|
355
|
+
<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>
|
|
356
356
|
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  }</div>
|
|
357
357
|
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div>
|
|
358
358
|
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  </div>
|
|
@@ -685,358 +685,353 @@ $(function() {
|
|
|
685
685
|
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  {</div>
|
|
686
686
|
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> resVal;</div>
|
|
687
687
|
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &lhs = getVAddrs(op0), &rhs = getVAddrs(op1);</div>
|
|
688
|
-
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span> 
|
|
689
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span> 
|
|
690
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
691
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span> 
|
|
692
|
-
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> 
|
|
693
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  <span class="
|
|
694
|
-
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="keywordflow">
|
|
688
|
+
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  assert(!lhs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>() && !rhs.empty() && <span class="stringliteral">"empty address?"</span>);</div>
|
|
689
|
+
<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>
|
|
690
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  <span class="keywordflow">switch</span> (predicate)</div>
|
|
691
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  {</div>
|
|
692
|
+
<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>
|
|
693
|
+
<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>
|
|
694
|
+
<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>
|
|
695
695
|
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  {</div>
|
|
696
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
697
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
698
|
-
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span> 
|
|
699
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
700
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  <span class="keywordflow">
|
|
696
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
697
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  {</div>
|
|
698
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lhs.<a class="code" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">equals</a>(rhs));</div>
|
|
699
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  }</div>
|
|
700
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  <span class="keywordflow">else</span></div>
|
|
701
701
|
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  {</div>
|
|
702
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
703
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
704
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span> 
|
|
705
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span> 
|
|
706
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <span class="keywordflow">
|
|
702
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">hasIntersect</a>(rhs))</div>
|
|
703
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  {</div>
|
|
704
|
+
<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>
|
|
705
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  }</div>
|
|
706
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <span class="keywordflow">else</span></div>
|
|
707
707
|
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  {</div>
|
|
708
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
708
|
+
<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>
|
|
709
709
|
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  }</div>
|
|
710
|
-
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span> 
|
|
711
|
-
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span> 
|
|
712
|
-
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span> 
|
|
713
|
-
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span> 
|
|
714
|
-
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> 
|
|
715
|
-
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span> 
|
|
716
|
-
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span> 
|
|
717
|
-
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span> 
|
|
718
|
-
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span> 
|
|
719
|
-
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span> 
|
|
720
|
-
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span> 
|
|
721
|
-
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">
|
|
710
|
+
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  }</div>
|
|
711
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  <span class="keywordflow">break</span>;</div>
|
|
712
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  }</div>
|
|
713
|
+
<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>
|
|
714
|
+
<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>
|
|
715
|
+
<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>
|
|
716
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  {</div>
|
|
717
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
718
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  {</div>
|
|
719
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(!lhs.<a class="code" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">equals</a>(rhs));</div>
|
|
720
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  }</div>
|
|
721
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">else</span></div>
|
|
722
722
|
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  {</div>
|
|
723
|
-
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span> 
|
|
724
|
-
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span> 
|
|
725
|
-
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span> 
|
|
726
|
-
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span> 
|
|
727
|
-
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <span class="keywordflow">
|
|
723
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">hasIntersect</a>(rhs))</div>
|
|
724
|
+
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  {</div>
|
|
725
|
+
<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>
|
|
726
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  }</div>
|
|
727
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <span class="keywordflow">else</span></div>
|
|
728
728
|
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  {</div>
|
|
729
|
-
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
729
|
+
<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>
|
|
730
730
|
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  }</div>
|
|
731
|
-
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span> 
|
|
732
|
-
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span> 
|
|
733
|
-
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span> 
|
|
734
|
-
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span> 
|
|
735
|
-
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> 
|
|
736
|
-
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span> 
|
|
737
|
-
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span> 
|
|
738
|
-
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span> 
|
|
739
|
-
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span> 
|
|
740
|
-
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span> 
|
|
741
|
-
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span> 
|
|
742
|
-
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span> 
|
|
743
|
-
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">
|
|
731
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  }</div>
|
|
732
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  <span class="keywordflow">break</span>;</div>
|
|
733
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  }</div>
|
|
734
|
+
<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>
|
|
735
|
+
<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>
|
|
736
|
+
<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>
|
|
737
|
+
<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>
|
|
738
|
+
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  {</div>
|
|
739
|
+
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
740
|
+
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  {</div>
|
|
741
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>() > *rhs.begin());</div>
|
|
742
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  }</div>
|
|
743
|
+
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  <span class="keywordflow">else</span></div>
|
|
744
744
|
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  {</div>
|
|
745
|
-
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
745
|
+
<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>
|
|
746
746
|
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  }</div>
|
|
747
|
-
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <span class="keywordflow">
|
|
748
|
-
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span> 
|
|
749
|
-
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span> 
|
|
750
|
-
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span> 
|
|
751
|
-
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span> 
|
|
752
|
-
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span> 
|
|
753
|
-
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span> 
|
|
754
|
-
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span> 
|
|
755
|
-
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span> 
|
|
756
|
-
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span> 
|
|
757
|
-
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span> 
|
|
758
|
-
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">
|
|
747
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <span class="keywordflow">break</span>;</div>
|
|
748
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  }</div>
|
|
749
|
+
<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>
|
|
750
|
+
<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>
|
|
751
|
+
<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>
|
|
752
|
+
<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>
|
|
753
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  {</div>
|
|
754
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
755
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  {</div>
|
|
756
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>() >= *rhs.begin());</div>
|
|
757
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  }</div>
|
|
758
|
+
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">else</span></div>
|
|
759
759
|
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  {</div>
|
|
760
|
-
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
760
|
+
<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>
|
|
761
761
|
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span>  }</div>
|
|
762
|
-
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">
|
|
763
|
-
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span> 
|
|
764
|
-
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span> 
|
|
765
|
-
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span> 
|
|
766
|
-
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span> 
|
|
767
|
-
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span> 
|
|
768
|
-
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span> 
|
|
769
|
-
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span> 
|
|
770
|
-
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span> 
|
|
771
|
-
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span> 
|
|
772
|
-
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span> 
|
|
773
|
-
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">
|
|
762
|
+
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">break</span>;</div>
|
|
763
|
+
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  }</div>
|
|
764
|
+
<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>
|
|
765
|
+
<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>
|
|
766
|
+
<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>
|
|
767
|
+
<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>
|
|
768
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  {</div>
|
|
769
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
770
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  {</div>
|
|
771
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>() < *rhs.begin());</div>
|
|
772
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  }</div>
|
|
773
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">else</span></div>
|
|
774
774
|
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  {</div>
|
|
775
|
-
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
775
|
+
<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>
|
|
776
776
|
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  }</div>
|
|
777
|
-
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">
|
|
778
|
-
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span> 
|
|
779
|
-
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span> 
|
|
780
|
-
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span> 
|
|
781
|
-
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span> 
|
|
782
|
-
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span> 
|
|
783
|
-
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span> 
|
|
784
|
-
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span> 
|
|
785
|
-
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span> 
|
|
786
|
-
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span> 
|
|
787
|
-
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span> 
|
|
788
|
-
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">
|
|
777
|
+
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">break</span>;</div>
|
|
778
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  }</div>
|
|
779
|
+
<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>
|
|
780
|
+
<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>
|
|
781
|
+
<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>
|
|
782
|
+
<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>
|
|
783
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  {</div>
|
|
784
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
785
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  {</div>
|
|
786
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(*lhs.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>() <= *rhs.begin());</div>
|
|
787
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div>
|
|
788
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">else</span></div>
|
|
789
789
|
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  {</div>
|
|
790
|
-
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
790
|
+
<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>
|
|
791
791
|
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  }</div>
|
|
792
|
-
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">
|
|
793
|
-
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span> 
|
|
794
|
-
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span> 
|
|
795
|
-
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span> 
|
|
792
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">break</span>;</div>
|
|
793
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  }</div>
|
|
794
|
+
<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>
|
|
795
|
+
<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>
|
|
796
796
|
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <span class="keywordflow">break</span>;</div>
|
|
797
|
-
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span> 
|
|
798
|
-
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span> 
|
|
799
|
-
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span> 
|
|
800
|
-
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span> 
|
|
801
|
-
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span> 
|
|
802
|
-
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span> 
|
|
803
|
-
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span> 
|
|
804
|
-
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span> 
|
|
805
|
-
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span> 
|
|
806
|
-
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span> 
|
|
807
|
-
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> 
|
|
808
|
-
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span> 
|
|
809
|
-
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span> 
|
|
810
|
-
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span> 
|
|
811
|
-
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span> 
|
|
812
|
-
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  </div>
|
|
813
|
-
<div class="line"><a name="l00760"></a><span class="lineno"
|
|
814
|
-
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span> {</div>
|
|
815
|
-
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span> 
|
|
816
|
-
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span> 
|
|
817
|
-
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span> 
|
|
818
|
-
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span> 
|
|
819
|
-
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span> 
|
|
820
|
-
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span> 
|
|
821
|
-
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span> 
|
|
822
|
-
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span> 
|
|
823
|
-
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span> 
|
|
824
|
-
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keywordflow">
|
|
825
|
-
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span> 
|
|
826
|
-
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> 
|
|
827
|
-
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> 
|
|
828
|
-
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <
|
|
829
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span> 
|
|
830
|
-
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span> 
|
|
831
|
-
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span> 
|
|
832
|
-
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span> 
|
|
833
|
-
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span> 
|
|
834
|
-
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span> 
|
|
835
|
-
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">
|
|
797
|
+
<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>
|
|
798
|
+
<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>
|
|
799
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  <span class="keywordflow">break</span>;</div>
|
|
800
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <span class="keywordflow">default</span>:</div>
|
|
801
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  {</div>
|
|
802
|
+
<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>
|
|
803
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  }</div>
|
|
804
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  }</div>
|
|
805
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  _es[res] = resVal;</div>
|
|
806
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div>
|
|
807
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> }</div>
|
|
808
|
+
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  </div>
|
|
809
|
+
<div class="line"><a name="l00756"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68"> 756</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVFIR2ItvExeState::translateLoad</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *load)</div>
|
|
810
|
+
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span> {</div>
|
|
811
|
+
<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>
|
|
812
|
+
<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>
|
|
813
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
814
|
+
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  {</div>
|
|
815
|
+
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &addrs = getVAddrs(rhs);</div>
|
|
816
|
+
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span>  assert(!addrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>());</div>
|
|
817
|
+
<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>
|
|
818
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  {</div>
|
|
819
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
|
|
820
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <span class="keywordflow">if</span> (inLocToIValTable(objId))</div>
|
|
821
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  _es[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
822
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
|
|
823
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  _es.getVAddrs(lhs).setBottom();</div>
|
|
824
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keywordflow">break</span>;</div>
|
|
825
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  }</div>
|
|
826
|
+
<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>
|
|
827
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  {</div>
|
|
828
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
|
|
829
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="keywordflow">if</span> (inLocToIValTable(objId))</div>
|
|
830
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  {</div>
|
|
831
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <span class="keywordflow">if</span> (!inVarToIValTable(lhs))</div>
|
|
832
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  {</div>
|
|
833
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  _es[lhs] = _es.load(addr);</div>
|
|
834
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  }</div>
|
|
835
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">else</span></div>
|
|
836
836
|
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  {</div>
|
|
837
|
-
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  _es[lhs]
|
|
837
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  _es[lhs].join_with(_es.load(addr));</div>
|
|
838
838
|
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  }</div>
|
|
839
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> 
|
|
840
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span> 
|
|
841
|
-
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span> 
|
|
842
|
-
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> 
|
|
843
|
-
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> 
|
|
844
|
-
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> 
|
|
845
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> 
|
|
846
|
-
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="keywordflow">
|
|
839
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  }</div>
|
|
840
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
|
|
841
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  {</div>
|
|
842
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
|
|
843
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  {</div>
|
|
844
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  _es.getVAddrs(lhs) = _es.loadVAddrs(addr);</div>
|
|
845
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  }</div>
|
|
846
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="keywordflow">else</span></div>
|
|
847
847
|
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  {</div>
|
|
848
|
-
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  _es.getVAddrs(lhs)
|
|
848
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  _es.getVAddrs(lhs).join_with(_es.loadVAddrs(addr));</div>
|
|
849
849
|
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  }</div>
|
|
850
|
-
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span> 
|
|
851
|
-
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> 
|
|
852
|
-
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span> 
|
|
853
|
-
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> 
|
|
854
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span> 
|
|
855
|
-
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span> 
|
|
856
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span> 
|
|
857
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> 
|
|
858
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  </div>
|
|
859
|
-
<div class="line"><a name="l00806"></a><span class="lineno"
|
|
860
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span> {</div>
|
|
861
|
-
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span> 
|
|
862
|
-
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span> 
|
|
863
|
-
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span> 
|
|
864
|
-
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span> 
|
|
865
|
-
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span> 
|
|
866
|
-
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span> 
|
|
867
|
-
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span> 
|
|
868
|
-
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span> 
|
|
869
|
-
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span> 
|
|
870
|
-
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span> 
|
|
871
|
-
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span> 
|
|
872
|
-
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span> 
|
|
873
|
-
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span> 
|
|
874
|
-
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span> 
|
|
875
|
-
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span> 
|
|
876
|
-
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span> 
|
|
877
|
-
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span> 
|
|
878
|
-
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span> 
|
|
879
|
-
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span> 
|
|
880
|
-
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span> 
|
|
881
|
-
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span> 
|
|
882
|
-
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span> 
|
|
850
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  }</div>
|
|
851
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  }</div>
|
|
852
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  }</div>
|
|
853
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> }</div>
|
|
854
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  </div>
|
|
855
|
+
<div class="line"><a name="l00802"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5"> 802</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVFIR2ItvExeState::translateStore</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store)</div>
|
|
856
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span> {</div>
|
|
857
|
+
<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>
|
|
858
|
+
<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>
|
|
859
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <span class="keywordflow">if</span> (inVarToAddrsTable(lhs))</div>
|
|
860
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  {</div>
|
|
861
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
|
|
862
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  {</div>
|
|
863
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  assert(!getVAddrs(lhs).empty());</div>
|
|
864
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &addrs = getVAddrs(lhs);</div>
|
|
865
|
+
<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>
|
|
866
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  {</div>
|
|
867
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  _es.store(addr, _es[rhs]);</div>
|
|
868
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  }</div>
|
|
869
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  }</div>
|
|
870
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
871
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  {</div>
|
|
872
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span>  assert(!getVAddrs(lhs).empty());</div>
|
|
873
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &addrs = getVAddrs(lhs);</div>
|
|
874
|
+
<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>
|
|
875
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  {</div>
|
|
876
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
877
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  _es.storeVAddrs(addr, getVAddrs(rhs));</div>
|
|
878
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  }</div>
|
|
879
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span>  </div>
|
|
880
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  }</div>
|
|
881
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  }</div>
|
|
882
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span> }</div>
|
|
883
883
|
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  </div>
|
|
884
|
-
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span> 
|
|
885
|
-
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span> 
|
|
886
|
-
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span> 
|
|
887
|
-
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  </div>
|
|
888
|
-
<div class="line"><a name="l00835"></a><span class="lineno"
|
|
889
|
-
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span> {</div>
|
|
890
|
-
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span> 
|
|
891
|
-
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> 
|
|
892
|
-
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  <span class="keywordflow">
|
|
884
|
+
<div class="line"><a name="l00831"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999"> 831</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVFIR2ItvExeState::translateCopy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CopyStmt.html">CopyStmt</a> *<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>)</div>
|
|
885
|
+
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span> {</div>
|
|
886
|
+
<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>
|
|
887
|
+
<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>
|
|
888
|
+
<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>
|
|
889
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  {</div>
|
|
890
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  _es[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
891
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  }</div>
|
|
892
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  <span class="keywordflow">else</span></div>
|
|
893
893
|
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  {</div>
|
|
894
|
-
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span> 
|
|
895
|
-
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span> 
|
|
896
|
-
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span> 
|
|
897
|
-
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> 
|
|
898
|
-
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  <span class="keywordflow">if</span> (
|
|
894
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
|
|
895
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  {</div>
|
|
896
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  _es[lhs] = _es[rhs];</div>
|
|
897
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span>  }</div>
|
|
898
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
899
899
|
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span>  {</div>
|
|
900
|
-
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span> 
|
|
901
|
-
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span> 
|
|
902
|
-
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span> 
|
|
903
|
-
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span> 
|
|
904
|
-
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span> 
|
|
905
|
-
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span> 
|
|
906
|
-
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span> 
|
|
907
|
-
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span> 
|
|
908
|
-
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span> 
|
|
909
|
-
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span>  </div>
|
|
910
|
-
<div class="line"><a name="l00857"></a><span class="lineno"
|
|
911
|
-
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span> 
|
|
912
|
-
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <a class="code" href="
|
|
913
|
-
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <
|
|
914
|
-
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span> 
|
|
915
|
-
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span> 
|
|
916
|
-
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  <a class="code" href="classSVF_1_1AddressValue.html">
|
|
917
|
-
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span> 
|
|
918
|
-
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span> 
|
|
919
|
-
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span> 
|
|
920
|
-
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <span class="keywordflow">
|
|
900
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
901
|
+
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
|
|
902
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  }</div>
|
|
903
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  }</div>
|
|
904
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span> }</div>
|
|
905
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  </div>
|
|
906
|
+
<div class="line"><a name="l00853"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc"> 853</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVFIR2ItvExeState::translateGep</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepStmt.html">GepStmt</a> *gep)</div>
|
|
907
|
+
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span> {</div>
|
|
908
|
+
<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>
|
|
909
|
+
<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>
|
|
910
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(rhs)) <span class="keywordflow">return</span>;</div>
|
|
911
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
912
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &rhsVal = getVAddrs(rhs);</div>
|
|
913
|
+
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="keywordflow">if</span> (rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
914
|
+
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  std::pair<APOffset, APOffset> offsetPair = getGepOffset(gep);</div>
|
|
915
|
+
<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>
|
|
916
|
+
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  <span class="keywordflow">if</span> (!isVirtualMemAddress(*rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()))</div>
|
|
917
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  {</div>
|
|
918
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  <span class="keywordflow">return</span>;</div>
|
|
919
|
+
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  }</div>
|
|
920
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <span class="keywordflow">else</span></div>
|
|
921
921
|
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  {</div>
|
|
922
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <
|
|
923
|
-
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span> 
|
|
924
|
-
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span> 
|
|
925
|
-
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span> 
|
|
926
|
-
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span> 
|
|
927
|
-
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> 
|
|
928
|
-
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  <span class="keywordflow">
|
|
922
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> gepAddrs;</div>
|
|
923
|
+
<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>
|
|
924
|
+
<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>
|
|
925
|
+
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  {</div>
|
|
926
|
+
<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>
|
|
927
|
+
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span>  }</div>
|
|
928
|
+
<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>
|
|
929
929
|
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  {</div>
|
|
930
|
-
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span> 
|
|
930
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(getGepObjAddress(rhs, i));</div>
|
|
931
931
|
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  }</div>
|
|
932
|
-
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <span class="keywordflow">
|
|
933
|
-
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span> 
|
|
934
|
-
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span> 
|
|
935
|
-
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span> 
|
|
936
|
-
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span> 
|
|
937
|
-
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span> 
|
|
938
|
-
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span> 
|
|
939
|
-
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span> 
|
|
940
|
-
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span> 
|
|
941
|
-
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span>  </div>
|
|
942
|
-
<div class="line"><a name="l00889"></a><span class="lineno"
|
|
943
|
-
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span> 
|
|
944
|
-
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  <
|
|
945
|
-
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span> 
|
|
946
|
-
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span> 
|
|
947
|
-
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span> 
|
|
948
|
-
<div class="line"><a name="l00895"></a><span class="lineno"> 895</span> 
|
|
949
|
-
<div class="line"><a name="l00896"></a><span class="lineno"> 896</span> 
|
|
950
|
-
<div class="line"><a name="l00897"></a><span class="lineno"> 897</span>  <span class="keywordflow">
|
|
932
|
+
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <span class="keywordflow">if</span>(gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
933
|
+
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span>  _es.getVAddrs(lhs) = gepAddrs;</div>
|
|
934
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span>  <span class="keywordflow">return</span>;</div>
|
|
935
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  }</div>
|
|
936
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span> }</div>
|
|
937
|
+
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  </div>
|
|
938
|
+
<div class="line"><a name="l00885"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8"> 885</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVFIR2ItvExeState::translateSelect</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SelectStmt.html">SelectStmt</a> *select)</div>
|
|
939
|
+
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span> {</div>
|
|
940
|
+
<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>
|
|
941
|
+
<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>
|
|
942
|
+
<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>
|
|
943
|
+
<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>
|
|
944
|
+
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  <span class="keywordflow">if</span> (inVarToIValTable(tval) && inVarToIValTable(fval) && inVarToIValTable(cond))</div>
|
|
945
|
+
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span>  {</div>
|
|
946
|
+
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span>  <span class="keywordflow">if</span> (_es[cond].is_numeral())</div>
|
|
947
|
+
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span>  {</div>
|
|
948
|
+
<div class="line"><a name="l00895"></a><span class="lineno"> 895</span>  _es[res] = _es[cond].is_zero() ? _es[fval] : _es[tval];</div>
|
|
949
|
+
<div class="line"><a name="l00896"></a><span class="lineno"> 896</span>  }</div>
|
|
950
|
+
<div class="line"><a name="l00897"></a><span class="lineno"> 897</span>  <span class="keywordflow">else</span></div>
|
|
951
951
|
<div class="line"><a name="l00898"></a><span class="lineno"> 898</span>  {</div>
|
|
952
|
-
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span>  _es[res] = _es[cond]
|
|
952
|
+
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span>  _es[res] = _es[cond];</div>
|
|
953
953
|
<div class="line"><a name="l00900"></a><span class="lineno"> 900</span>  }</div>
|
|
954
|
-
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span> 
|
|
955
|
-
<div class="line"><a name="l00902"></a><span class="lineno"> 902</span> 
|
|
956
|
-
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span> 
|
|
957
|
-
<div class="line"><a name="l00904"></a><span class="lineno"> 904</span> 
|
|
958
|
-
<div class="line"><a name="l00905"></a><span class="lineno"> 905</span> 
|
|
959
|
-
<div class="line"><a name="l00906"></a><span class="lineno"> 906</span> 
|
|
960
|
-
<div class="line"><a name="l00907"></a><span class="lineno"> 907</span> 
|
|
961
|
-
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span> 
|
|
962
|
-
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span> 
|
|
963
|
-
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span> 
|
|
964
|
-
<div class="line"><a name="l00911"></a><span class="lineno"> 911</span> 
|
|
965
|
-
<div class="line"><a name="l00912"></a><span class="lineno"> 912</span> 
|
|
966
|
-
<div class="line"><a name="l00913"></a><span class="lineno"> 913</span> 
|
|
967
|
-
<div class="line"><a name="l00914"></a><span class="lineno"> 914</span> 
|
|
968
|
-
<div class="line"><a name="l00915"></a><span class="lineno"> 915</span> 
|
|
969
|
-
<div class="line"><a name="l00916"></a><span class="lineno"> 916</span>  </div>
|
|
970
|
-
<div class="line"><a name="l00917"></a><span class="lineno"
|
|
971
|
-
<div class="line"><a name="l00918"></a><span class="lineno"> 918</span> 
|
|
972
|
-
<div class="line"><a name="l00919"></a><span class="lineno"> 919</span> 
|
|
973
|
-
<div class="line"><a name="l00920"></a><span class="lineno"> 920</span> 
|
|
974
|
-
<div class="line"><a name="l00921"></a><span class="lineno"> 921</span> 
|
|
975
|
-
<div class="line"><a name="l00922"></a><span class="lineno"> 922</span> 
|
|
976
|
-
<div class="line"><a name="l00923"></a><span class="lineno"> 923</span> 
|
|
977
|
-
<div class="line"><a name="l00924"></a><span class="lineno"> 924</span> 
|
|
978
|
-
<div class="line"><a name="l00925"></a><span class="lineno"> 925</span> 
|
|
979
|
-
<div class="line"><a name="l00926"></a><span class="lineno"> 926</span>  <span class="keywordflow">
|
|
954
|
+
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span>  }</div>
|
|
955
|
+
<div class="line"><a name="l00902"></a><span class="lineno"> 902</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(tval) && inVarToAddrsTable(fval) && inVarToIValTable(cond))</div>
|
|
956
|
+
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span>  {</div>
|
|
957
|
+
<div class="line"><a name="l00904"></a><span class="lineno"> 904</span>  <span class="keywordflow">if</span> (_es[cond].is_numeral())</div>
|
|
958
|
+
<div class="line"><a name="l00905"></a><span class="lineno"> 905</span>  {</div>
|
|
959
|
+
<div class="line"><a name="l00906"></a><span class="lineno"> 906</span>  assert(!getVAddrs(fval).empty());</div>
|
|
960
|
+
<div class="line"><a name="l00907"></a><span class="lineno"> 907</span>  assert(!getVAddrs(tval).empty());</div>
|
|
961
|
+
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span>  _es.getVAddrs(res) = _es[cond].is_zero() ? getVAddrs(fval) : getVAddrs(tval);</div>
|
|
962
|
+
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span>  }</div>
|
|
963
|
+
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span>  }</div>
|
|
964
|
+
<div class="line"><a name="l00911"></a><span class="lineno"> 911</span> }</div>
|
|
965
|
+
<div class="line"><a name="l00912"></a><span class="lineno"> 912</span>  </div>
|
|
966
|
+
<div class="line"><a name="l00913"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e"> 913</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVFIR2ItvExeState::translatePhi</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi)</div>
|
|
967
|
+
<div class="line"><a name="l00914"></a><span class="lineno"> 914</span> {</div>
|
|
968
|
+
<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>
|
|
969
|
+
<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>
|
|
970
|
+
<div class="line"><a name="l00917"></a><span class="lineno"> 917</span>  {</div>
|
|
971
|
+
<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>
|
|
972
|
+
<div class="line"><a name="l00919"></a><span class="lineno"> 919</span>  <span class="keywordflow">if</span> (inVarToIValTable(curId))</div>
|
|
973
|
+
<div class="line"><a name="l00920"></a><span class="lineno"> 920</span>  {</div>
|
|
974
|
+
<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 = _es[curId];</div>
|
|
975
|
+
<div class="line"><a name="l00922"></a><span class="lineno"> 922</span>  <span class="keywordflow">if</span> (!inVarToIValTable(res))</div>
|
|
976
|
+
<div class="line"><a name="l00923"></a><span class="lineno"> 923</span>  {</div>
|
|
977
|
+
<div class="line"><a name="l00924"></a><span class="lineno"> 924</span>  _es[res] = cur;</div>
|
|
978
|
+
<div class="line"><a name="l00925"></a><span class="lineno"> 925</span>  }</div>
|
|
979
|
+
<div class="line"><a name="l00926"></a><span class="lineno"> 926</span>  <span class="keywordflow">else</span></div>
|
|
980
980
|
<div class="line"><a name="l00927"></a><span class="lineno"> 927</span>  {</div>
|
|
981
|
-
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span>  _es[res] = cur;</div>
|
|
981
|
+
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span>  _es[res].<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(cur);</div>
|
|
982
982
|
<div class="line"><a name="l00929"></a><span class="lineno"> 929</span>  }</div>
|
|
983
|
-
<div class="line"><a name="l00930"></a><span class="lineno"> 930</span> 
|
|
984
|
-
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span> 
|
|
985
|
-
<div class="line"><a name="l00932"></a><span class="lineno"> 932</span> 
|
|
986
|
-
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span> 
|
|
987
|
-
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span> 
|
|
988
|
-
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span> 
|
|
989
|
-
<div class="line"><a name="l00936"></a><span class="lineno"> 936</span> 
|
|
990
|
-
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span> 
|
|
991
|
-
<div class="line"><a name="l00938"></a><span class="lineno"> 938</span> 
|
|
992
|
-
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  <span class="keywordflow">
|
|
983
|
+
<div class="line"><a name="l00930"></a><span class="lineno"> 930</span>  }</div>
|
|
984
|
+
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(curId))</div>
|
|
985
|
+
<div class="line"><a name="l00932"></a><span class="lineno"> 932</span>  {</div>
|
|
986
|
+
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span>  assert(!getVAddrs(curId).empty());</div>
|
|
987
|
+
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &cur = getVAddrs(curId);</div>
|
|
988
|
+
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(res))</div>
|
|
989
|
+
<div class="line"><a name="l00936"></a><span class="lineno"> 936</span>  {</div>
|
|
990
|
+
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span>  _es.getVAddrs(res) = cur;</div>
|
|
991
|
+
<div class="line"><a name="l00938"></a><span class="lineno"> 938</span>  }</div>
|
|
992
|
+
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  <span class="keywordflow">else</span></div>
|
|
993
993
|
<div class="line"><a name="l00940"></a><span class="lineno"> 940</span>  {</div>
|
|
994
|
-
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  _es.getVAddrs(res) = cur;</div>
|
|
994
|
+
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  _es.getVAddrs(res).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(cur);</div>
|
|
995
995
|
<div class="line"><a name="l00942"></a><span class="lineno"> 942</span>  }</div>
|
|
996
|
-
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span> 
|
|
997
|
-
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span> 
|
|
998
|
-
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span> 
|
|
999
|
-
<div class="line"><a name="l00946"></a><span class="lineno"> 946</span> 
|
|
1000
|
-
<div class="line"><a name="l00947"></a><span class="lineno"> 947</span> 
|
|
1001
|
-
<div class="line"><a name="l00948"></a><span class="lineno"> 948</span> 
|
|
1002
|
-
<div class="line"><a name="l00949"></a><span class="lineno"> 949</span> 
|
|
1003
|
-
<div class="line"><a name="l00950"></a><span class="lineno"> 950</span>  </div>
|
|
1004
|
-
<div class="line"><a name="l00951"></a><span class="lineno"> 951</span>  </div>
|
|
1005
|
-
<div class="line"><a name="l00952"></a><span class="lineno"
|
|
1006
|
-
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span> {</div>
|
|
1007
|
-
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span> 
|
|
1008
|
-
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span> 
|
|
1009
|
-
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <span class="keywordflow">if</span> (
|
|
996
|
+
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span>  }</div>
|
|
997
|
+
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span>  }</div>
|
|
998
|
+
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span> }</div>
|
|
999
|
+
<div class="line"><a name="l00946"></a><span class="lineno"> 946</span>  </div>
|
|
1000
|
+
<div class="line"><a name="l00947"></a><span class="lineno"> 947</span>  </div>
|
|
1001
|
+
<div class="line"><a name="l00948"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad"> 948</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVFIR2ItvExeState::translateCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE)</div>
|
|
1002
|
+
<div class="line"><a name="l00949"></a><span class="lineno"> 949</span> {</div>
|
|
1003
|
+
<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>
|
|
1004
|
+
<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>
|
|
1005
|
+
<div class="line"><a name="l00952"></a><span class="lineno"> 952</span>  <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
|
|
1006
|
+
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span>  {</div>
|
|
1007
|
+
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span>  _es[lhs] = _es[rhs];</div>
|
|
1008
|
+
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span>  }</div>
|
|
1009
|
+
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
1010
1010
|
<div class="line"><a name="l00957"></a><span class="lineno"> 957</span>  {</div>
|
|
1011
|
-
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span> 
|
|
1012
|
-
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span> 
|
|
1013
|
-
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span> 
|
|
1014
|
-
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> 
|
|
1015
|
-
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span> 
|
|
1016
|
-
<div class="line"><a name="l00963"></a><span class="lineno"> 963</span> 
|
|
1017
|
-
<div class="line"><a name="l00964"></a><span class="lineno"> 964</span> 
|
|
1018
|
-
<div class="line"><a name="l00965"></a><span class="lineno"> 965</span> 
|
|
1019
|
-
<div class="line"><a name="l00966"></a><span class="lineno"> 966</span>  </div>
|
|
1020
|
-
<div class="line"><a name="l00967"></a><span class="lineno"
|
|
1021
|
-
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span> {</div>
|
|
1022
|
-
<div class="line"><a name="l00969"></a><span class="lineno"> 969</span> 
|
|
1023
|
-
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span> 
|
|
1024
|
-
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span>  <span class="keywordflow">if</span> (
|
|
1011
|
+
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
1012
|
+
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span>  _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
|
|
1013
|
+
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span>  }</div>
|
|
1014
|
+
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> }</div>
|
|
1015
|
+
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span>  </div>
|
|
1016
|
+
<div class="line"><a name="l00963"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc"> 963</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVFIR2ItvExeState::translateRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE)</div>
|
|
1017
|
+
<div class="line"><a name="l00964"></a><span class="lineno"> 964</span> {</div>
|
|
1018
|
+
<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>
|
|
1019
|
+
<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>
|
|
1020
|
+
<div class="line"><a name="l00967"></a><span class="lineno"> 967</span>  <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
|
|
1021
|
+
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  {</div>
|
|
1022
|
+
<div class="line"><a name="l00969"></a><span class="lineno"> 969</span>  _es[lhs] = _es[rhs];</div>
|
|
1023
|
+
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span>  }</div>
|
|
1024
|
+
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
1025
1025
|
<div class="line"><a name="l00972"></a><span class="lineno"> 972</span>  {</div>
|
|
1026
|
-
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span> 
|
|
1027
|
-
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span> 
|
|
1028
|
-
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span> 
|
|
1029
|
-
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span> 
|
|
1030
|
-
<div class="line"><a name="l00977"></a><span class="lineno"> 977</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
1031
|
-
<div class="line"><a name="l00978"></a><span class="lineno"> 978</span>  _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
|
|
1032
|
-
<div class="line"><a name="l00979"></a><span class="lineno"> 979</span>  }</div>
|
|
1033
|
-
<div class="line"><a name="l00980"></a><span class="lineno"> 980</span> }</div>
|
|
1026
|
+
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span>  assert(!getVAddrs(rhs).empty());</div>
|
|
1027
|
+
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span>  _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
|
|
1028
|
+
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span>  }</div>
|
|
1029
|
+
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span> }</div>
|
|
1034
1030
|
</div><!-- fragment --></div><!-- contents -->
|
|
1035
1031
|
<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>
|
|
1036
1032
|
<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>
|
|
1037
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1033
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00948">SVFIR2ItvExeState.cpp:948</a></div></div>
|
|
1038
1034
|
<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>
|
|
1039
|
-
<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>
|
|
1040
1035
|
<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00350">SVFStatements.h:350</a></div></div>
|
|
1041
1036
|
<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>
|
|
1042
1037
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198">SVF::BinaryOPStmt::FMul</a></div><div class="ttdeci">@ FMul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00977">SVFStatements.h:977</a></div></div>
|
|
@@ -1048,7 +1043,7 @@ $(function() {
|
|
|
1048
1043
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
|
|
1049
1044
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aed7fc3951608972b6f8fdce14b4a0cbb"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aed7fc3951608972b6f8fdce14b4a0cbb">SVF::SVFIR2ItvExeState::getIndexfromGepTypePair</a></div><div class="ttdeci">std::pair< APOffset, APOffset > getIndexfromGepTypePair(const AccessPath::VarAndGepTypePair &gep_pair, const GepStmt *gep)</div><div class="ttdoc">Return the Index offset from one gep param offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00243">SVFIR2ItvExeState.cpp:243</a></div></div>
|
|
1050
1045
|
<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00284">SVFStatements.cpp:284</a></div></div>
|
|
1051
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a604126e59364cb56b44a88cae5afbfb8"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVF::SVFIR2ItvExeState::translateSelect</a></div><div class="ttdeci">void translateSelect(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1046
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a604126e59364cb56b44a88cae5afbfb8"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVF::SVFIR2ItvExeState::translateSelect</a></div><div class="ttdeci">void translateSelect(const SelectStmt *select)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00885">SVFIR2ItvExeState.cpp:885</a></div></div>
|
|
1052
1047
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00139">AddressValue.h:139</a></div></div>
|
|
1053
1048
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_ae93859318bf4f618b4cf681988a870ce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">SVF::AddressValue::size</a></div><div class="ttdeci">u32_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00118">AddressValue.h:118</a></div></div>
|
|
1054
1049
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">SVF::CmpStmt::FCMP_FALSE</a></div><div class="ttdeci">@ FCMP_FALSE</div><div class="ttdoc">0 0 0 0 Always false (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00888">SVFStatements.h:888</a></div></div>
|
|
@@ -1070,11 +1065,11 @@ $(function() {
|
|
|
1070
1065
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt::Or</a></div><div class="ttdeci">@ Or</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00988">SVFStatements.h:988</a></div></div>
|
|
1071
1066
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00984">SVFStatements.h:984</a></div></div>
|
|
1072
1067
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aac5cc8767eb750bf121f1897788dee24"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">SVF::SVFIR2ItvExeState::translateCmp</a></div><div class="ttdeci">void translateCmp(const CmpStmt *cmp)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00572">SVFIR2ItvExeState.cpp:572</a></div></div>
|
|
1073
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aa274b5b4e18c28ec8035ca1b073aacfc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVF::SVFIR2ItvExeState::translateGep</a></div><div class="ttdeci">void translateGep(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1068
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aa274b5b4e18c28ec8035ca1b073aacfc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVF::SVFIR2ItvExeState::translateGep</a></div><div class="ttdeci">void translateGep(const GepStmt *gep)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00853">SVFIR2ItvExeState.cpp:853</a></div></div>
|
|
1074
1069
|
<div class="ttc" id="aclassSVF_1_1SVFVar_html_ac2db6304ea5526fb446ae882983beeb0"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">SVF::SVFVar::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get/has methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
|
|
1075
1070
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">SVF::CmpStmt::FCMP_OEQ</a></div><div class="ttdeci">@ FCMP_OEQ</div><div class="ttdoc">0 0 0 1 True if ordered and equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00889">SVFStatements.h:889</a></div></div>
|
|
1076
1071
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a198e8d5f586a698462dee2c3fde8c83e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e">SVF::SVFIR2ItvExeState::applySummary</a></div><div class="ttdeci">void applySummary(IntervalExeState &es)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00036">SVFIR2ItvExeState.cpp:36</a></div></div>
|
|
1077
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ae00e5398cbeb9aa1cfc464da4250a91e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVF::SVFIR2ItvExeState::translatePhi</a></div><div class="ttdeci">void translatePhi(const PhiStmt *phi)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1072
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ae00e5398cbeb9aa1cfc464da4250a91e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVF::SVFIR2ItvExeState::translatePhi</a></div><div class="ttdeci">void translatePhi(const PhiStmt *phi)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00913">SVFIR2ItvExeState.cpp:913</a></div></div>
|
|
1078
1073
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a57cbbcc977705ba7cd660bb5b632a66c"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c">SVF::SVFIR2ItvExeState::widenVAddrs</a></div><div class="ttdeci">void widenVAddrs(IntervalExeState &lhs, const IntervalExeState &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00083">SVFIR2ItvExeState.cpp:83</a></div></div>
|
|
1079
1074
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt::UDiv</a></div><div class="ttdeci">@ UDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00978">SVFStatements.h:978</a></div></div>
|
|
1080
1075
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">SVF::BinaryOPStmt::FDiv</a></div><div class="ttdeci">@ FDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00980">SVFStatements.h:980</a></div></div>
|
|
@@ -1092,19 +1087,20 @@ $(function() {
|
|
|
1092
1087
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00270">IntervalValue.h:270</a></div></div>
|
|
1093
1088
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
|
|
1094
1089
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_add3acad151d5af6c9a5f692f7a01e65b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue::top</a></div><div class="ttdeci">static IntervalValue top()</div><div class="ttdoc">Create the IntervalValue [-oo, +oo].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00083">IntervalValue.h:83</a></div></div>
|
|
1095
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a8f2a564370d9b9fb05e139c45eeaba68"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVF::SVFIR2ItvExeState::translateLoad</a></div><div class="ttdeci">void translateLoad(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1090
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a8f2a564370d9b9fb05e139c45eeaba68"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVF::SVFIR2ItvExeState::translateLoad</a></div><div class="ttdeci">void translateLoad(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00756">SVFIR2ItvExeState.cpp:756</a></div></div>
|
|
1096
1091
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
1097
1092
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
|
|
1098
1093
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a24f009ea362c4acf1cfa44d4dd80ef8b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a24f009ea362c4acf1cfa44d4dd80ef8b">SVF::SVFIR2ItvExeState::getGepByteOffset</a></div><div class="ttdeci">std::pair< APOffset, APOffset > getGepByteOffset(const GepStmt *gep, APOffset elemBytesize)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00324">SVFIR2ItvExeState.cpp:324</a></div></div>
|
|
1099
1094
|
<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>
|
|
1100
1095
|
<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>
|
|
1101
1096
|
<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>
|
|
1097
|
+
<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>
|
|
1102
1098
|
<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>
|
|
1103
1099
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00956">SVFStatements.h:956</a></div></div>
|
|
1104
1100
|
<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00386">SVFStatements.h:386</a></div></div>
|
|
1105
1101
|
<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>
|
|
1106
1102
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00150">SVFValue.h:150</a></div></div>
|
|
1107
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1103
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00963">SVFIR2ItvExeState.cpp:963</a></div></div>
|
|
1108
1104
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00915">SVFStatements.h:915</a></div></div>
|
|
1109
1105
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00113">SVFIR.h:113</a></div></div>
|
|
1110
1106
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a449ee8f244120866037c7f6d2ee5fc13"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVF::SVFIR2ItvExeState::translateBinary</a></div><div class="ttdeci">void translateBinary(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00510">SVFIR2ItvExeState.cpp:510</a></div></div>
|
|
@@ -1123,7 +1119,7 @@ $(function() {
|
|
|
1123
1119
|
<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00928">SVFValue.h:928</a></div></div>
|
|
1124
1120
|
<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00962">SVFValue.h:962</a></div></div>
|
|
1125
1121
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00976">SVFStatements.h:976</a></div></div>
|
|
1126
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aed2e41879bae8389c49e69356b7aaac5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1122
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aed2e41879bae8389c49e69356b7aaac5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00802">SVFIR2ItvExeState.cpp:802</a></div></div>
|
|
1127
1123
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral & ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
|
|
1128
1124
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00897">SVFStatements.h:897</a></div></div>
|
|
1129
1125
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00055">IntervalExeState.h:55</a></div></div>
|
|
@@ -1138,7 +1134,7 @@ $(function() {
|
|
|
1138
1134
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_a269a73753a7b495eb08bb0c9c0a58dc0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">SVF::AddressValue::hasIntersect</a></div><div class="ttdeci">bool hasIntersect(const AddressValue &other)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00175">AddressValue.h:175</a></div></div>
|
|
1139
1135
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
|
|
1140
1136
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
1141
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_afcf2f81101f1b9580d82b5c2efb83999"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVF::SVFIR2ItvExeState::translateCopy</a></div><div class="ttdeci">void translateCopy(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1137
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_afcf2f81101f1b9580d82b5c2efb83999"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVF::SVFIR2ItvExeState::translateCopy</a></div><div class="ttdeci">void translateCopy(const CopyStmt *copy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00831">SVFIR2ItvExeState.cpp:831</a></div></div>
|
|
1142
1138
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af80d7665d9815a80ffdba92c3ba029d1"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1">SVF::SVFIR2ItvExeState::moveToGlobal</a></div><div class="ttdeci">void moveToGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00056">SVFIR2ItvExeState.cpp:56</a></div></div>
|
|
1143
1139
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
|
|
1144
1140
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00113">AddressValue.h:113</a></div></div>
|