svf-tools 1.0.821 → 1.0.823
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/AccessPath_8cpp_source.html +130 -125
- package/SVF-doxygen/html/AccessPath_8h_source.html +5 -5
- package/SVF-doxygen/html/CFGrammar_8cpp_source.html +3 -3
- package/SVF-doxygen/html/CommandLine_8h_source.html +1 -1
- package/SVF-doxygen/html/ExtAPI_8cpp.html +1 -1
- package/SVF-doxygen/html/ExtAPI_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFG_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +571 -567
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +14 -14
- package/SVF-doxygen/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VFG_8cpp_source.html +4 -5
- package/SVF-doxygen/html/cJSON_8cpp.html +2 -2
- package/SVF-doxygen/html/cJSON_8cpp_source.html +2 -2
- package/SVF-doxygen/html/classOption.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +123 -118
- package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +544 -540
- package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VFG.html +4 -5
- package/SVF-doxygen/html/extapi_8c.html +527 -450
- package/SVF-doxygen/html/extapi_8c_source.html +1218 -1177
- package/SVF-doxygen/html/globals.html +1 -0
- package/SVF-doxygen/html/globals_func.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/search/functions_0.js +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +11 -11
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +11 -11
- package/package.json +1 -1
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -0
- package/svf/lib/Graphs/SVFG.cpp +4 -4
- package/svf/lib/Graphs/VFG.cpp +4 -4
- package/svf/lib/MemoryModel/AccessPath.cpp +5 -0
- package/svf-llvm/lib/extapi.c +61 -20
|
@@ -426,590 +426,594 @@ $(function() {
|
|
|
426
426
|
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  res = res + <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(idxLb, idxUb);</div>
|
|
427
427
|
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div>
|
|
428
428
|
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  res.<a class="code" href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">meet_with</a>(<a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>)0, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>)<a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>()));</div>
|
|
429
|
-
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="keywordflow">
|
|
430
|
-
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span> 
|
|
431
|
-
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  </div>
|
|
432
|
-
<div class="line"><a name="
|
|
433
|
-
<div class="line"><a name="
|
|
434
|
-
<div class="line"><a name="
|
|
435
|
-
<div class="line"><a name="
|
|
436
|
-
<div class="line"><a name="l00411"></a><span class="lineno"
|
|
437
|
-
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span> 
|
|
438
|
-
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span> 
|
|
439
|
-
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span> 
|
|
440
|
-
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span> 
|
|
441
|
-
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span> 
|
|
442
|
-
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> 
|
|
443
|
-
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span> 
|
|
444
|
-
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span> 
|
|
445
|
-
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span> 
|
|
446
|
-
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span> 
|
|
447
|
-
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span> 
|
|
448
|
-
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  </div>
|
|
449
|
-
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span> 
|
|
450
|
-
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span> 
|
|
451
|
-
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span> 
|
|
452
|
-
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span> 
|
|
453
|
-
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span> 
|
|
454
|
-
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span> 
|
|
455
|
-
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span> 
|
|
456
|
-
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span> 
|
|
457
|
-
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span> 
|
|
458
|
-
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span> 
|
|
459
|
-
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span> 
|
|
460
|
-
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span> 
|
|
461
|
-
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span> 
|
|
462
|
-
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  </div>
|
|
463
|
-
<div class="line"><a name="
|
|
464
|
-
<div class="line"><a name="
|
|
465
|
-
<div class="line"><a name="
|
|
466
|
-
<div class="line"><a name="
|
|
467
|
-
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span> 
|
|
468
|
-
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> 
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
471
|
-
<div class="line"><a name="
|
|
472
|
-
<div class="line"><a name="
|
|
473
|
-
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span> 
|
|
474
|
-
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span> 
|
|
475
|
-
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span> 
|
|
476
|
-
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> 
|
|
477
|
-
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <
|
|
478
|
-
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> 
|
|
479
|
-
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span> 
|
|
480
|
-
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::
|
|
481
|
-
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a
|
|
482
|
-
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (
|
|
483
|
-
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
484
|
-
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <span class="keywordflow">else</span
|
|
485
|
-
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a
|
|
486
|
-
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> 
|
|
487
|
-
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> 
|
|
488
|
-
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <
|
|
489
|
-
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span> 
|
|
490
|
-
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span> 
|
|
491
|
-
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  <
|
|
492
|
-
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span> 
|
|
493
|
-
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span> 
|
|
494
|
-
<div class="line"><a name="l00475"></a><span class="lineno"
|
|
495
|
-
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span> 
|
|
496
|
-
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span> 
|
|
497
|
-
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span> 
|
|
498
|
-
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span> 
|
|
499
|
-
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span> 
|
|
500
|
-
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <span class="keywordflow">if</span> (<span class="
|
|
501
|
-
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span> 
|
|
502
|
-
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span> 
|
|
503
|
-
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span> 
|
|
504
|
-
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> 
|
|
505
|
-
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span> 
|
|
506
|
-
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span> 
|
|
507
|
-
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span> 
|
|
508
|
-
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span> 
|
|
509
|
-
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span> 
|
|
510
|
-
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span> 
|
|
511
|
-
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span> 
|
|
512
|
-
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span> 
|
|
513
|
-
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span> 
|
|
514
|
-
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span> 
|
|
515
|
-
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span> 
|
|
516
|
-
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span> 
|
|
517
|
-
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span>  </div>
|
|
518
|
-
<div class="line"><a name="l00499"></a><span class="lineno"
|
|
519
|
-
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> 
|
|
520
|
-
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span> 
|
|
521
|
-
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span> 
|
|
522
|
-
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span> 
|
|
523
|
-
<div class="line"><a name="l00504"></a><span class="lineno"> 504</span> 
|
|
524
|
-
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span> 
|
|
525
|
-
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span> 
|
|
526
|
-
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> 
|
|
527
|
-
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span> 
|
|
528
|
-
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span> 
|
|
529
|
-
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> 
|
|
530
|
-
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  </div>
|
|
531
|
-
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span> 
|
|
532
|
-
<div class="line"><a name="l00513"></a><span class="lineno"> 513</span> 
|
|
533
|
-
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span> 
|
|
534
|
-
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span> 
|
|
535
|
-
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span> 
|
|
536
|
-
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span> 
|
|
537
|
-
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span> 
|
|
538
|
-
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span> 
|
|
539
|
-
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span> 
|
|
429
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="keywordflow">if</span> (res.<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
|
|
430
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  {</div>
|
|
431
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  res = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0);</div>
|
|
432
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  }</div>
|
|
433
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <span class="keywordflow">return</span> res;</div>
|
|
434
|
+
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span> }</div>
|
|
435
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  </div>
|
|
436
|
+
<div class="line"><a name="l00411"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e"> 411</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e">SVFIR2ItvExeState::initValVar</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ValVar.html">ValVar</a> *valVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
437
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span> {</div>
|
|
438
|
+
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  </div>
|
|
439
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
440
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = valVar-><a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>())</div>
|
|
441
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  {</div>
|
|
442
|
+
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <span class="comment">// TODO:miss floatpointerty, voidty, labelty, matadataty</span></div>
|
|
443
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a> ||</div>
|
|
444
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFType::SVFPointerTy</a> ||</div>
|
|
445
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFType::SVFFunctionTy</a> ||</div>
|
|
446
|
+
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFType::SVFStructTy</a> ||</div>
|
|
447
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFType::SVFArrayTy</a>)</div>
|
|
448
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="comment">// continue with null expression</span></div>
|
|
449
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  _es[varId] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
450
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <span class="keywordflow">else</span></div>
|
|
451
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  {</div>
|
|
452
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  </div>
|
|
453
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << valVar-><a class="code" href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">getValue</a>()-><a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>() << <span class="stringliteral">"\n"</span> << <span class="stringliteral">" type: "</span> << *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> << <span class="stringliteral">"\n"</span>;</div>
|
|
454
|
+
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"what other types we have"</span>);</div>
|
|
455
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  }</div>
|
|
457
|
+
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  <span class="keywordflow">else</span></div>
|
|
458
|
+
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  {</div>
|
|
459
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  <span class="keywordflow">if</span> (svfir-><a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() == valVar-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>())</div>
|
|
460
|
+
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  _es[varId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, 0);</div>
|
|
461
|
+
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  <span class="keywordflow">else</span></div>
|
|
462
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  _es[varId] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
463
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  assert(SVFUtil::isa<DummyValVar>(valVar) && <span class="stringliteral">"not a DummValVar if it has no type?"</span>);</div>
|
|
464
|
+
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  }</div>
|
|
465
|
+
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span> }</div>
|
|
466
|
+
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  </div>
|
|
467
|
+
<div class="line"><a name="l00447"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d"> 447</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">SVFIR2ItvExeState::initObjVar</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
468
|
+
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> {</div>
|
|
469
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  </div>
|
|
470
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <span class="keywordflow">if</span> (objVar-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div>
|
|
471
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  {</div>
|
|
472
|
+
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemObj.html">MemObj</a> *obj = objVar-><a class="code" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a>();</div>
|
|
473
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0">isConstDataOrConstGlobal</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">isConstantArray</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">isConstantStruct</a>())</div>
|
|
474
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  {</div>
|
|
475
|
+
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a> *consInt = SVFUtil::dyn_cast<SVFConstantInt>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
476
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  {</div>
|
|
477
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <span class="keywordtype">double</span> numeral = (double)consInt->getSExtValue();</div>
|
|
478
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(numeral, numeral);</div>
|
|
479
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  }</div>
|
|
480
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantFP.html">SVFConstantFP</a>* consFP = SVFUtil::dyn_cast<SVFConstantFP>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
481
|
+
<div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(consFP->getFPValue(), consFP->getFPValue());</div>
|
|
482
|
+
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFConstantNullPtr>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
483
|
+
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, 0);</div>
|
|
484
|
+
<div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFGlobalValue>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
485
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(varId).<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(getVirtualMemAddress(varId));</div>
|
|
486
|
+
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">isConstantArray</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">isConstantStruct</a>())</div>
|
|
487
|
+
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
488
|
+
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <span class="keywordflow">else</span></div>
|
|
489
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[varId] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
490
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  }</div>
|
|
491
|
+
<div class="line"><a name="l00472"></a><span class="lineno"> 472</span>  <span class="keywordflow">else</span></div>
|
|
492
|
+
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(varId).<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(getVirtualMemAddress(varId));</div>
|
|
493
|
+
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span>  }</div>
|
|
494
|
+
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  <span class="keywordflow">else</span></div>
|
|
495
|
+
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(varId).<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(getVirtualMemAddress(varId));</div>
|
|
496
|
+
<div class="line"><a name="l00477"></a><span class="lineno"> 477</span> }</div>
|
|
497
|
+
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  </div>
|
|
498
|
+
<div class="line"><a name="l00479"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b"> 479</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">SVFIR2ItvExeState::initSVFVar</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
|
|
499
|
+
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span> {</div>
|
|
500
|
+
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  <span class="keywordflow">if</span> (inVarToValTable(varId) || _es.inVarToAddrsTable(varId)) <span class="keywordflow">return</span>;</div>
|
|
501
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
502
|
+
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a> *svfVar = svfir-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(varId);</div>
|
|
503
|
+
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span>  <span class="comment">// write objvar into cache instead of exestate</span></div>
|
|
504
|
+
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar = dyn_cast<ObjVar>(svfVar))</div>
|
|
505
|
+
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  {</div>
|
|
506
|
+
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  initObjVar(objVar, varId);</div>
|
|
507
|
+
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  <span class="keywordflow">return</span>;</div>
|
|
508
|
+
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span>  }</div>
|
|
509
|
+
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ValVar.html">ValVar</a> *valVar = dyn_cast<ValVar>(svfVar))</div>
|
|
510
|
+
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  {</div>
|
|
511
|
+
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  initValVar(valVar, varId);</div>
|
|
512
|
+
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span>  <span class="keywordflow">return</span>;</div>
|
|
513
|
+
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  }</div>
|
|
514
|
+
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  <span class="keywordflow">else</span></div>
|
|
515
|
+
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  {</div>
|
|
516
|
+
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  initValVar(valVar, varId);</div>
|
|
517
|
+
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span>  <span class="keywordflow">return</span>;</div>
|
|
518
|
+
<div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  }</div>
|
|
519
|
+
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> }</div>
|
|
520
|
+
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  </div>
|
|
521
|
+
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  </div>
|
|
522
|
+
<div class="line"><a name="l00503"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9"> 503</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">SVFIR2ItvExeState::translateAddr</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr)</div>
|
|
523
|
+
<div class="line"><a name="l00504"></a><span class="lineno"> 504</span> {</div>
|
|
524
|
+
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  initSVFVar(addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>());</div>
|
|
525
|
+
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  <span class="keywordflow">if</span> (inVarToValTable(addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()))</div>
|
|
526
|
+
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span>  {</div>
|
|
527
|
+
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span>  <span class="comment">// if addr RHS is integerType(i8 i32 etc), value should be limited.</span></div>
|
|
528
|
+
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  <span class="keywordflow">if</span> (addr-><a class="code" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>()-><a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>()-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a>)</div>
|
|
529
|
+
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span>  {</div>
|
|
530
|
+
<div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()].meet_with(</div>
|
|
531
|
+
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  getRangeLimitFromType(addr-><a class="code" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a>()-><a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>()));</div>
|
|
532
|
+
<div class="line"><a name="l00513"></a><span class="lineno"> 513</span>  }</div>
|
|
533
|
+
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[addr-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()] = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>[addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()];</div>
|
|
534
|
+
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  </div>
|
|
535
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  }</div>
|
|
536
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()))</div>
|
|
537
|
+
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  {</div>
|
|
538
|
+
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(addr-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()) = <a class="code" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">IntervalExeState::globalES</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">getAddrs</a>(</div>
|
|
539
|
+
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  addr-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>());</div>
|
|
540
540
|
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  }</div>
|
|
541
|
-
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span> 
|
|
542
|
-
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span> 
|
|
543
|
-
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  </div>
|
|
544
|
-
<div class="line"><a name="l00525"></a><span class="lineno"
|
|
545
|
-
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span> 
|
|
546
|
-
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span> 
|
|
547
|
-
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span> 
|
|
548
|
-
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span> 
|
|
549
|
-
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span> 
|
|
550
|
-
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  <
|
|
551
|
-
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  <
|
|
552
|
-
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span> 
|
|
553
|
-
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span> 
|
|
554
|
-
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span> 
|
|
555
|
-
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span> 
|
|
556
|
-
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span> 
|
|
557
|
-
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  <
|
|
558
|
-
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  <
|
|
559
|
-
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> 
|
|
560
|
-
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span> 
|
|
561
|
-
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
562
|
-
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
563
|
-
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  resVal = (lhs
|
|
541
|
+
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  <span class="keywordflow">else</span></div>
|
|
542
|
+
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  {</div>
|
|
543
|
+
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"not number or virtual addrs?"</span>);</div>
|
|
544
|
+
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  }</div>
|
|
545
|
+
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span> }</div>
|
|
546
|
+
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  </div>
|
|
547
|
+
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  </div>
|
|
548
|
+
<div class="line"><a name="l00529"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13"> 529</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVFIR2ItvExeState::translateBinary</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> *binary)</div>
|
|
549
|
+
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span> {</div>
|
|
550
|
+
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op0 = binary-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0);</div>
|
|
551
|
+
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op1 = binary-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1);</div>
|
|
552
|
+
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = binary-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
|
|
553
|
+
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  <span class="keywordflow">if</span> (!inVarToValTable(op0)) _es[op0] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
554
|
+
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span>  <span class="keywordflow">if</span> (!inVarToValTable(op1)) _es[op1] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
555
|
+
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span>  <span class="keywordflow">if</span> (inVarToValTable(op0) && inVarToValTable(op1))</div>
|
|
556
|
+
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  {</div>
|
|
557
|
+
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &lhs = _es[op0], &rhs = _es[op1];</div>
|
|
558
|
+
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> resVal;</div>
|
|
559
|
+
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span>  <span class="keywordflow">switch</span> (binary-><a class="code" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">getOpcode</a>())</div>
|
|
560
|
+
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  {</div>
|
|
561
|
+
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">BinaryOPStmt::Add</a>:</div>
|
|
562
|
+
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">BinaryOPStmt::FAdd</a>:</div>
|
|
563
|
+
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  resVal = (lhs + rhs);</div>
|
|
564
564
|
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  <span class="keywordflow">break</span>;</div>
|
|
565
|
-
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
566
|
-
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
567
|
-
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  resVal = (lhs
|
|
565
|
+
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">BinaryOPStmt::Sub</a>:</div>
|
|
566
|
+
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448">BinaryOPStmt::FSub</a>:</div>
|
|
567
|
+
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  resVal = (lhs - rhs);</div>
|
|
568
568
|
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  <span class="keywordflow">break</span>;</div>
|
|
569
|
-
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
570
|
-
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
571
|
-
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span> 
|
|
572
|
-
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span> 
|
|
573
|
-
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span> 
|
|
574
|
-
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
575
|
-
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
576
|
-
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span> 
|
|
577
|
-
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span> 
|
|
578
|
-
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span> 
|
|
579
|
-
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#
|
|
580
|
-
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span> 
|
|
581
|
-
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span> 
|
|
582
|
-
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span> 
|
|
583
|
-
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span> 
|
|
584
|
-
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span> 
|
|
585
|
-
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span> 
|
|
586
|
-
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span> 
|
|
587
|
-
<div class="line"><a name="l00568"></a><span class="lineno"> 568</span> 
|
|
588
|
-
<div class="line"><a name="l00569"></a><span class="lineno"> 569</span> 
|
|
589
|
-
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span> 
|
|
590
|
-
<div class="line"><a name="l00571"></a><span class="lineno"> 571</span> 
|
|
591
|
-
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span> 
|
|
592
|
-
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span> 
|
|
593
|
-
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span> 
|
|
594
|
-
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span> 
|
|
595
|
-
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span> 
|
|
596
|
-
<div class="line"><a name="l00577"></a><span class="lineno"> 577</span> 
|
|
597
|
-
<div class="line"><a name="l00578"></a><span class="lineno"> 578</span> 
|
|
598
|
-
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span> 
|
|
599
|
-
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span> 
|
|
600
|
-
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span> 
|
|
601
|
-
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span> 
|
|
602
|
-
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span> 
|
|
603
|
-
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span> 
|
|
604
|
-
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span> }</div>
|
|
605
|
-
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span> 
|
|
606
|
-
<div class="line"><a name="l00587"></a><span class="lineno"
|
|
607
|
-
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span> 
|
|
608
|
-
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span> 
|
|
609
|
-
<div class="line"><a name="l00590"></a><span class="lineno"> 590</span> 
|
|
610
|
-
<div class="line"><a name="l00591"></a><span class="lineno"> 591</span> 
|
|
611
|
-
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span> 
|
|
612
|
-
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span> 
|
|
613
|
-
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span> 
|
|
614
|
-
<div class="line"><a name="l00595"></a><span class="lineno"> 595</span> 
|
|
615
|
-
<div class="line"><a name="l00596"></a><span class="lineno"> 596</span> 
|
|
616
|
-
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span> 
|
|
617
|
-
<div class="line"><a name="l00598"></a><span class="lineno"> 598</span> 
|
|
618
|
-
<div class="line"><a name="l00599"></a><span class="lineno"> 599</span>  <
|
|
619
|
-
<div class="line"><a name="l00600"></a><span class="lineno"> 600</span>  <span class="
|
|
620
|
-
<div class="line"><a name="l00601"></a><span class="lineno"> 601</span>  <span class="keywordflow">
|
|
621
|
-
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span> 
|
|
622
|
-
<div class="line"><a name="l00603"></a><span class="lineno"> 603</span> 
|
|
623
|
-
<div class="line"><a name="l00604"></a><span class="lineno"> 604</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
624
|
-
<div class="line"><a name="l00605"></a><span class="lineno"> 605</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
625
|
-
<div class="line"><a name="l00606"></a><span class="lineno"> 606</span> 
|
|
626
|
-
<div class="line"><a name="l00607"></a><span class="lineno"> 607</span> 
|
|
627
|
-
<div class="line"><a name="l00608"></a><span class="lineno"> 608</span> 
|
|
628
|
-
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
629
|
-
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
630
|
-
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span> 
|
|
631
|
-
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span> 
|
|
632
|
-
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span> 
|
|
633
|
-
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span> 
|
|
634
|
-
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
635
|
-
<div class="line"><a name="l00616"></a><span class="lineno"> 616</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
636
|
-
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span> 
|
|
637
|
-
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span> 
|
|
638
|
-
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span> 
|
|
639
|
-
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span> 
|
|
640
|
-
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
641
|
-
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
642
|
-
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span> 
|
|
643
|
-
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span> 
|
|
644
|
-
<div class="line"><a name="l00625"></a><span class="lineno"> 625</span> 
|
|
645
|
-
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span> 
|
|
646
|
-
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
647
|
-
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
648
|
-
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span> 
|
|
649
|
-
<div class="line"><a name="l00630"></a><span class="lineno"> 630</span> 
|
|
650
|
-
<div class="line"><a name="l00631"></a><span class="lineno"> 631</span> 
|
|
651
|
-
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span> 
|
|
652
|
-
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#
|
|
653
|
-
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span> 
|
|
654
|
-
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span> 
|
|
655
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span> 
|
|
656
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
657
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  <
|
|
658
|
-
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> 
|
|
659
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span> 
|
|
660
|
-
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span> 
|
|
661
|
-
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span> 
|
|
662
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
663
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
664
|
-
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span> 
|
|
665
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
666
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span> 
|
|
667
|
-
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span> 
|
|
668
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
669
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
670
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span> 
|
|
671
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  <
|
|
672
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span> 
|
|
673
|
-
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span> 
|
|
674
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  <span class="
|
|
675
|
-
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  <span class="keywordflow">
|
|
569
|
+
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">BinaryOPStmt::Mul</a>:</div>
|
|
570
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198">BinaryOPStmt::FMul</a>:</div>
|
|
571
|
+
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  resVal = (lhs * rhs);</div>
|
|
572
|
+
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span>  <span class="keywordflow">break</span>;</div>
|
|
573
|
+
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">BinaryOPStmt::SDiv</a>:</div>
|
|
574
|
+
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">BinaryOPStmt::FDiv</a>:</div>
|
|
575
|
+
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">BinaryOPStmt::UDiv</a>:</div>
|
|
576
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  resVal = (lhs / rhs);</div>
|
|
577
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  <span class="keywordflow">break</span>;</div>
|
|
578
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">BinaryOPStmt::SRem</a>:</div>
|
|
579
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">BinaryOPStmt::FRem</a>:</div>
|
|
580
|
+
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc">BinaryOPStmt::URem</a>:</div>
|
|
581
|
+
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  resVal = (lhs % rhs);</div>
|
|
582
|
+
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span>  <span class="keywordflow">break</span>;</div>
|
|
583
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6">BinaryOPStmt::Xor</a>:</div>
|
|
584
|
+
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  resVal = (lhs ^ rhs);</div>
|
|
585
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  <span class="keywordflow">break</span>;</div>
|
|
586
|
+
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">BinaryOPStmt::And</a>:</div>
|
|
587
|
+
<div class="line"><a name="l00568"></a><span class="lineno"> 568</span>  resVal = (lhs & rhs);</div>
|
|
588
|
+
<div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  <span class="keywordflow">break</span>;</div>
|
|
589
|
+
<div class="line"><a name="l00570"></a><span class="lineno"> 570</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">BinaryOPStmt::Or</a>:</div>
|
|
590
|
+
<div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  resVal = (lhs | rhs);</div>
|
|
591
|
+
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  <span class="keywordflow">break</span>;</div>
|
|
592
|
+
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">BinaryOPStmt::AShr</a>:</div>
|
|
593
|
+
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  resVal = (lhs >> rhs);</div>
|
|
594
|
+
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  <span class="keywordflow">break</span>;</div>
|
|
595
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">BinaryOPStmt::Shl</a>:</div>
|
|
596
|
+
<div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  resVal = (lhs << rhs);</div>
|
|
597
|
+
<div class="line"><a name="l00578"></a><span class="lineno"> 578</span>  <span class="keywordflow">break</span>;</div>
|
|
598
|
+
<div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1">BinaryOPStmt::LShr</a>:</div>
|
|
599
|
+
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  resVal = (lhs >> rhs);</div>
|
|
600
|
+
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span>  <span class="keywordflow">break</span>;</div>
|
|
601
|
+
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span>  <span class="keywordflow">default</span>:</div>
|
|
602
|
+
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span>  {</div>
|
|
603
|
+
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined binary: "</span>);</div>
|
|
604
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  }</div>
|
|
605
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span>  }</div>
|
|
606
|
+
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  _es[res] = resVal;</div>
|
|
607
|
+
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span>  }</div>
|
|
608
|
+
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span> }</div>
|
|
609
|
+
<div class="line"><a name="l00590"></a><span class="lineno"> 590</span>  </div>
|
|
610
|
+
<div class="line"><a name="l00591"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24"> 591</a></span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">SVFIR2ItvExeState::translateCmp</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CmpStmt.html">CmpStmt</a> *cmp)</div>
|
|
611
|
+
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span> {</div>
|
|
612
|
+
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op0 = cmp-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(0);</div>
|
|
613
|
+
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op1 = cmp-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1);</div>
|
|
614
|
+
<div class="line"><a name="l00595"></a><span class="lineno"> 595</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = cmp-><a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
|
|
615
|
+
<div class="line"><a name="l00596"></a><span class="lineno"> 596</span>  <span class="keywordflow">if</span> (inVarToValTable(op0) && inVarToValTable(op1))</div>
|
|
616
|
+
<div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  {</div>
|
|
617
|
+
<div class="line"><a name="l00598"></a><span class="lineno"> 598</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> resVal;</div>
|
|
618
|
+
<div class="line"><a name="l00599"></a><span class="lineno"> 599</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &lhs = _es[op0], &rhs = _es[op1];</div>
|
|
619
|
+
<div class="line"><a name="l00600"></a><span class="lineno"> 600</span>  <span class="keyword">auto</span> predicate = cmp-><a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>();</div>
|
|
620
|
+
<div class="line"><a name="l00601"></a><span class="lineno"> 601</span>  <span class="keywordflow">switch</span> (predicate)</div>
|
|
621
|
+
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span>  {</div>
|
|
622
|
+
<div class="line"><a name="l00603"></a><span class="lineno"> 603</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">CmpStmt::ICMP_EQ</a>:</div>
|
|
623
|
+
<div class="line"><a name="l00604"></a><span class="lineno"> 604</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">CmpStmt::FCMP_OEQ</a>:</div>
|
|
624
|
+
<div class="line"><a name="l00605"></a><span class="lineno"> 605</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">CmpStmt::FCMP_UEQ</a>:</div>
|
|
625
|
+
<div class="line"><a name="l00606"></a><span class="lineno"> 606</span>  resVal = (lhs == rhs);</div>
|
|
626
|
+
<div class="line"><a name="l00607"></a><span class="lineno"> 607</span>  <span class="keywordflow">break</span>;</div>
|
|
627
|
+
<div class="line"><a name="l00608"></a><span class="lineno"> 608</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">CmpStmt::ICMP_NE</a>:</div>
|
|
628
|
+
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">CmpStmt::FCMP_ONE</a>:</div>
|
|
629
|
+
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">CmpStmt::FCMP_UNE</a>:</div>
|
|
630
|
+
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  resVal = (lhs != rhs);</div>
|
|
631
|
+
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span>  <span class="keywordflow">break</span>;</div>
|
|
632
|
+
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">CmpStmt::ICMP_UGT</a>:</div>
|
|
633
|
+
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">CmpStmt::ICMP_SGT</a>:</div>
|
|
634
|
+
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">CmpStmt::FCMP_OGT</a>:</div>
|
|
635
|
+
<div class="line"><a name="l00616"></a><span class="lineno"> 616</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">CmpStmt::FCMP_UGT</a>:</div>
|
|
636
|
+
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span>  resVal = (lhs > rhs);</div>
|
|
637
|
+
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span>  <span class="keywordflow">break</span>;</div>
|
|
638
|
+
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">CmpStmt::ICMP_UGE</a>:</div>
|
|
639
|
+
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">CmpStmt::ICMP_SGE</a>:</div>
|
|
640
|
+
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">CmpStmt::FCMP_OGE</a>:</div>
|
|
641
|
+
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">CmpStmt::FCMP_UGE</a>:</div>
|
|
642
|
+
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  resVal = (lhs >= rhs);</div>
|
|
643
|
+
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span>  <span class="keywordflow">break</span>;</div>
|
|
644
|
+
<div class="line"><a name="l00625"></a><span class="lineno"> 625</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">CmpStmt::ICMP_ULT</a>:</div>
|
|
645
|
+
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">CmpStmt::ICMP_SLT</a>:</div>
|
|
646
|
+
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">CmpStmt::FCMP_OLT</a>:</div>
|
|
647
|
+
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">CmpStmt::FCMP_ULT</a>:</div>
|
|
648
|
+
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span>  resVal = (lhs < rhs);</div>
|
|
649
|
+
<div class="line"><a name="l00630"></a><span class="lineno"> 630</span>  <span class="keywordflow">break</span>;</div>
|
|
650
|
+
<div class="line"><a name="l00631"></a><span class="lineno"> 631</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">CmpStmt::ICMP_ULE</a>:</div>
|
|
651
|
+
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">CmpStmt::ICMP_SLE</a>:</div>
|
|
652
|
+
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">CmpStmt::FCMP_OLE</a>:</div>
|
|
653
|
+
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">CmpStmt::FCMP_ULE</a>:</div>
|
|
654
|
+
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  resVal = (lhs <= rhs);</div>
|
|
655
|
+
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span>  <span class="keywordflow">break</span>;</div>
|
|
656
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">CmpStmt::FCMP_FALSE</a>:</div>
|
|
657
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, 0);</div>
|
|
658
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span>  <span class="keywordflow">break</span>;</div>
|
|
659
|
+
<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#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">CmpStmt::FCMP_TRUE</a>:</div>
|
|
660
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1, 1);</div>
|
|
661
|
+
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  <span class="keywordflow">break</span>;</div>
|
|
662
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  <span class="keywordflow">default</span>:</div>
|
|
663
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  {</div>
|
|
664
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined compare: "</span>);</div>
|
|
665
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  }</div>
|
|
666
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  }</div>
|
|
667
|
+
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  _es[res] = resVal;</div>
|
|
668
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  }</div>
|
|
669
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(op0) && inVarToAddrsTable(op1))</div>
|
|
670
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  {</div>
|
|
671
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> resVal;</div>
|
|
672
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &lhs = getAddrs(op0), &rhs = getAddrs(op1);</div>
|
|
673
|
+
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  assert(!lhs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>() && !rhs.empty() && <span class="stringliteral">"empty address?"</span>);</div>
|
|
674
|
+
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  <span class="keyword">auto</span> predicate = cmp-><a class="code" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">getPredicate</a>();</div>
|
|
675
|
+
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  <span class="keywordflow">switch</span> (predicate)</div>
|
|
676
676
|
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  {</div>
|
|
677
|
-
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span> 
|
|
678
|
-
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span> 
|
|
679
|
-
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span> 
|
|
680
|
-
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> 
|
|
681
|
-
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keywordflow">
|
|
677
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">CmpStmt::ICMP_EQ</a>:</div>
|
|
678
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee">CmpStmt::FCMP_OEQ</a>:</div>
|
|
679
|
+
<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#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">CmpStmt::FCMP_UEQ</a>:</div>
|
|
680
|
+
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  {</div>
|
|
681
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
682
682
|
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  {</div>
|
|
683
|
-
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  <
|
|
684
|
-
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span> 
|
|
685
|
-
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span> 
|
|
686
|
-
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span> 
|
|
687
|
-
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">
|
|
683
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</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>
|
|
684
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  }</div>
|
|
685
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  <span class="keywordflow">else</span></div>
|
|
686
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  {</div>
|
|
687
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">hasIntersect</a>(rhs))</div>
|
|
688
688
|
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  {</div>
|
|
689
|
-
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
689
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
690
690
|
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  }</div>
|
|
691
|
-
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span> 
|
|
692
|
-
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span> 
|
|
693
|
-
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span> 
|
|
694
|
-
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span> 
|
|
695
|
-
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span> 
|
|
696
|
-
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span> 
|
|
697
|
-
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span> 
|
|
698
|
-
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span> 
|
|
699
|
-
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span> 
|
|
700
|
-
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span> 
|
|
701
|
-
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> 
|
|
702
|
-
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  <span class="keywordflow">
|
|
691
|
+
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span>  <span class="keywordflow">else</span></div>
|
|
692
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  {</div>
|
|
693
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0);</div>
|
|
694
|
+
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  }</div>
|
|
695
|
+
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  }</div>
|
|
696
|
+
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  <span class="keywordflow">break</span>;</div>
|
|
697
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  }</div>
|
|
698
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">CmpStmt::ICMP_NE</a>:</div>
|
|
699
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">CmpStmt::FCMP_ONE</a>:</div>
|
|
700
|
+
<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#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">CmpStmt::FCMP_UNE</a>:</div>
|
|
701
|
+
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  {</div>
|
|
702
|
+
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
703
703
|
<div class="line"><a name="l00684"></a><span class="lineno"> 684</span>  {</div>
|
|
704
|
-
<div class="line"><a name="l00685"></a><span class="lineno"> 685</span>  <
|
|
705
|
-
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span> 
|
|
706
|
-
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span> 
|
|
707
|
-
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span> 
|
|
708
|
-
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  <span class="keywordflow">
|
|
704
|
+
<div class="line"><a name="l00685"></a><span class="lineno"> 685</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>
|
|
705
|
+
<div class="line"><a name="l00686"></a><span class="lineno"> 686</span>  }</div>
|
|
706
|
+
<div class="line"><a name="l00687"></a><span class="lineno"> 687</span>  <span class="keywordflow">else</span></div>
|
|
707
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  {</div>
|
|
708
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">hasIntersect</a>(rhs))</div>
|
|
709
709
|
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  {</div>
|
|
710
|
-
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(
|
|
710
|
+
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
711
711
|
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  }</div>
|
|
712
|
-
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span> 
|
|
713
|
-
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span> 
|
|
714
|
-
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span> 
|
|
715
|
-
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span> 
|
|
716
|
-
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span> 
|
|
717
|
-
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span> 
|
|
718
|
-
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span> 
|
|
719
|
-
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span> 
|
|
720
|
-
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span> 
|
|
721
|
-
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span> 
|
|
722
|
-
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span> 
|
|
723
|
-
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span> 
|
|
724
|
-
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">
|
|
712
|
+
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  <span class="keywordflow">else</span></div>
|
|
713
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  {</div>
|
|
714
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1);</div>
|
|
715
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  }</div>
|
|
716
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  }</div>
|
|
717
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  <span class="keywordflow">break</span>;</div>
|
|
718
|
+
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  }</div>
|
|
719
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">CmpStmt::ICMP_UGT</a>:</div>
|
|
720
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">CmpStmt::ICMP_SGT</a>:</div>
|
|
721
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">CmpStmt::FCMP_OGT</a>:</div>
|
|
722
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">CmpStmt::FCMP_UGT</a>:</div>
|
|
723
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  {</div>
|
|
724
|
+
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
725
725
|
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  {</div>
|
|
726
|
-
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
726
|
+
<div class="line"><a name="l00707"></a><span class="lineno"> 707</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>
|
|
727
727
|
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span>  }</div>
|
|
728
|
-
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">
|
|
729
|
-
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span> 
|
|
730
|
-
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span> 
|
|
731
|
-
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span> 
|
|
732
|
-
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span> 
|
|
733
|
-
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span> 
|
|
734
|
-
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span> 
|
|
735
|
-
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span> 
|
|
736
|
-
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span> 
|
|
737
|
-
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span> 
|
|
738
|
-
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span> 
|
|
739
|
-
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">
|
|
728
|
+
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  <span class="keywordflow">else</span></div>
|
|
729
|
+
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  {</div>
|
|
730
|
+
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
731
|
+
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  }</div>
|
|
732
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  <span class="keywordflow">break</span>;</div>
|
|
733
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  }</div>
|
|
734
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">CmpStmt::ICMP_UGE</a>:</div>
|
|
735
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac5a87d53b1ad255cec18b3784cd81f80">CmpStmt::ICMP_SGE</a>:</div>
|
|
736
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c">CmpStmt::FCMP_OGE</a>:</div>
|
|
737
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">CmpStmt::FCMP_UGE</a>:</div>
|
|
738
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  {</div>
|
|
739
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
740
740
|
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  {</div>
|
|
741
|
-
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
741
|
+
<div class="line"><a name="l00722"></a><span class="lineno"> 722</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
742
|
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  }</div>
|
|
743
|
-
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">
|
|
744
|
-
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span> 
|
|
745
|
-
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span> 
|
|
746
|
-
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span> 
|
|
747
|
-
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span> 
|
|
748
|
-
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span> 
|
|
749
|
-
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span> 
|
|
750
|
-
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span> 
|
|
751
|
-
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span> 
|
|
752
|
-
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span> 
|
|
753
|
-
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span> 
|
|
754
|
-
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">
|
|
743
|
+
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span>  <span class="keywordflow">else</span></div>
|
|
744
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  {</div>
|
|
745
|
+
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
746
|
+
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  }</div>
|
|
747
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keywordflow">break</span>;</div>
|
|
748
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  }</div>
|
|
749
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7833b647068883840c9bb438103e736d">CmpStmt::ICMP_ULT</a>:</div>
|
|
750
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">CmpStmt::ICMP_SLT</a>:</div>
|
|
751
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">CmpStmt::FCMP_OLT</a>:</div>
|
|
752
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d">CmpStmt::FCMP_ULT</a>:</div>
|
|
753
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  {</div>
|
|
754
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
755
755
|
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  {</div>
|
|
756
|
-
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
756
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</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
757
|
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  }</div>
|
|
758
|
-
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">
|
|
759
|
-
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span> 
|
|
760
|
-
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span> 
|
|
761
|
-
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span> 
|
|
762
|
-
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span> 
|
|
763
|
-
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span> 
|
|
764
|
-
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span> 
|
|
765
|
-
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span> 
|
|
766
|
-
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span> 
|
|
767
|
-
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span> 
|
|
768
|
-
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span> 
|
|
769
|
-
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  <span class="keywordflow">
|
|
758
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">else</span></div>
|
|
759
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  {</div>
|
|
760
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
761
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  }</div>
|
|
762
|
+
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <span class="keywordflow">break</span>;</div>
|
|
763
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  }</div>
|
|
764
|
+
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">CmpStmt::ICMP_ULE</a>:</div>
|
|
765
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">CmpStmt::ICMP_SLE</a>:</div>
|
|
766
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d">CmpStmt::FCMP_OLE</a>:</div>
|
|
767
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb">CmpStmt::FCMP_ULE</a>:</div>
|
|
768
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  {</div>
|
|
769
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1 && rhs.size() == 1)</div>
|
|
770
770
|
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  {</div>
|
|
771
|
-
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html
|
|
771
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</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
772
|
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div>
|
|
773
|
-
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  <span class="keywordflow">
|
|
774
|
-
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span> 
|
|
775
|
-
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span> 
|
|
776
|
-
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span> 
|
|
773
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  <span class="keywordflow">else</span></div>
|
|
774
|
+
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  {</div>
|
|
775
|
+
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
776
|
+
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  }</div>
|
|
777
777
|
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  <span class="keywordflow">break</span>;</div>
|
|
778
|
-
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span> 
|
|
779
|
-
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span> 
|
|
780
|
-
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  <
|
|
781
|
-
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span> 
|
|
782
|
-
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span> 
|
|
783
|
-
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span> 
|
|
784
|
-
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span> 
|
|
785
|
-
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span> 
|
|
786
|
-
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span> 
|
|
787
|
-
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span> 
|
|
788
|
-
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span> }</div>
|
|
789
|
-
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span> 
|
|
790
|
-
<div class="line"><a name="l00771"></a><span class="lineno"
|
|
791
|
-
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span> 
|
|
792
|
-
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> 
|
|
793
|
-
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> 
|
|
794
|
-
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span> 
|
|
795
|
-
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span> 
|
|
796
|
-
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span> 
|
|
797
|
-
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span> 
|
|
798
|
-
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span> 
|
|
799
|
-
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span> 
|
|
800
|
-
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <
|
|
801
|
-
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span> 
|
|
802
|
-
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span> 
|
|
803
|
-
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span> 
|
|
804
|
-
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span> 
|
|
805
|
-
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span> 
|
|
806
|
-
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span> 
|
|
807
|
-
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span> 
|
|
808
|
-
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span> 
|
|
809
|
-
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span> 
|
|
810
|
-
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span> 
|
|
811
|
-
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span> 
|
|
812
|
-
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span> 
|
|
813
|
-
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span> 
|
|
814
|
-
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span> 
|
|
815
|
-
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span> 
|
|
816
|
-
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span> 
|
|
817
|
-
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span> 
|
|
818
|
-
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span> 
|
|
819
|
-
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span> 
|
|
820
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span> 
|
|
821
|
-
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span> 
|
|
822
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span> 
|
|
823
|
-
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span> 
|
|
824
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span> 
|
|
825
|
-
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span> 
|
|
826
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span> 
|
|
827
|
-
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span> 
|
|
778
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  }</div>
|
|
779
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06">CmpStmt::FCMP_FALSE</a>:</div>
|
|
780
|
+
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, 0);</div>
|
|
781
|
+
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  <span class="keywordflow">break</span>;</div>
|
|
782
|
+
<div class="line"><a name="l00763"></a><span class="lineno"> 763</span>  <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">CmpStmt::FCMP_TRUE</a>:</div>
|
|
783
|
+
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span>  resVal = <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(1, 1);</div>
|
|
784
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  <span class="keywordflow">break</span>;</div>
|
|
785
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <span class="keywordflow">default</span>:</div>
|
|
786
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  {</div>
|
|
787
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined compare: "</span>);</div>
|
|
788
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  }</div>
|
|
789
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  }</div>
|
|
790
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  _es[res] = resVal;</div>
|
|
791
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  }</div>
|
|
792
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span> }</div>
|
|
793
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  </div>
|
|
794
|
+
<div class="line"><a name="l00775"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68"> 775</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>
|
|
795
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span> {</div>
|
|
796
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</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>
|
|
797
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</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>
|
|
798
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
799
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  {</div>
|
|
800
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = getAddrs(rhs);</div>
|
|
801
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  assert(!addrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>());</div>
|
|
802
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> rhsItv = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
803
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> rhsAddr;</div>
|
|
804
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  <span class="keywordtype">bool</span> isVal = <span class="keyword">false</span>, isAddr = <span class="keyword">false</span>;</div>
|
|
805
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
806
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  {</div>
|
|
807
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
|
|
808
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">if</span> (inLocToValTable(objId))</div>
|
|
809
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  {</div>
|
|
810
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  rhsItv.<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(_es.load(addr));</div>
|
|
811
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  isVal = <span class="keyword">true</span>;</div>
|
|
812
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  }</div>
|
|
813
|
+
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
|
|
814
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  {</div>
|
|
815
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  rhsAddr.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(_es.loadAddrs(addr));</div>
|
|
816
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  isAddr = <span class="keyword">true</span>;</div>
|
|
817
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  }</div>
|
|
818
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  }</div>
|
|
819
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  <span class="keywordflow">if</span> (isVal)</div>
|
|
820
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  {</div>
|
|
821
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  <span class="comment">// lhs var is an integer</span></div>
|
|
822
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  _es[lhs] = rhsItv;</div>
|
|
823
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  }</div>
|
|
824
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (isAddr)</div>
|
|
825
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  {</div>
|
|
826
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <span class="comment">// lhs var is an address</span></div>
|
|
827
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  _es.getAddrs(lhs) = rhsAddr;</div>
|
|
828
828
|
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  }</div>
|
|
829
|
-
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span> 
|
|
830
|
-
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span> 
|
|
831
|
-
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  </div>
|
|
832
|
-
<div class="line"><a name="l00813"></a><span class="lineno"
|
|
833
|
-
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span> 
|
|
834
|
-
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span> 
|
|
835
|
-
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span> 
|
|
836
|
-
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span> 
|
|
837
|
-
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span> 
|
|
838
|
-
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span> 
|
|
839
|
-
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span> 
|
|
840
|
-
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span> 
|
|
841
|
-
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span> 
|
|
842
|
-
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span> 
|
|
843
|
-
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span> 
|
|
844
|
-
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span> 
|
|
845
|
-
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span> 
|
|
846
|
-
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span> 
|
|
847
|
-
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span> 
|
|
848
|
-
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span> 
|
|
849
|
-
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span> 
|
|
850
|
-
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span> 
|
|
851
|
-
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span> 
|
|
852
|
-
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span> 
|
|
853
|
-
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span> 
|
|
854
|
-
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span> 
|
|
855
|
-
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span> 
|
|
856
|
-
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span> 
|
|
857
|
-
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> 
|
|
858
|
-
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span> 
|
|
859
|
-
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span> }</div>
|
|
829
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  <span class="keywordflow">else</span></div>
|
|
830
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  {</div>
|
|
831
|
+
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  <span class="comment">// rhs not initialized, e.g., absence of a store before load</span></div>
|
|
832
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  }</div>
|
|
833
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  }</div>
|
|
834
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span> }</div>
|
|
835
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  </div>
|
|
836
|
+
<div class="line"><a name="l00817"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5"> 817</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>
|
|
837
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span> {</div>
|
|
838
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</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>
|
|
839
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</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>
|
|
840
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  <span class="keywordflow">if</span> (inVarToAddrsTable(lhs))</div>
|
|
841
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  {</div>
|
|
842
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
|
|
843
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  {</div>
|
|
844
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  assert(!getAddrs(lhs).empty());</div>
|
|
845
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = getAddrs(lhs);</div>
|
|
846
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
847
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  {</div>
|
|
848
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  _es.store(addr, _es[rhs]);</div>
|
|
849
|
+
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  }</div>
|
|
850
|
+
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span>  }</div>
|
|
851
|
+
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
852
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  {</div>
|
|
853
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  assert(!getAddrs(lhs).empty());</div>
|
|
854
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &addrs = getAddrs(lhs);</div>
|
|
855
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &addr: addrs)</div>
|
|
856
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  {</div>
|
|
857
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  assert(!getAddrs(rhs).empty());</div>
|
|
858
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  _es.storeAddrs(addr, getAddrs(rhs));</div>
|
|
859
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  }</div>
|
|
860
860
|
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  </div>
|
|
861
|
-
<div class="line"><a name="l00842"></a><span class="lineno"
|
|
862
|
-
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span> 
|
|
863
|
-
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> 
|
|
864
|
-
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span> 
|
|
865
|
-
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span> 
|
|
866
|
-
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span> 
|
|
867
|
-
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span> 
|
|
868
|
-
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span> 
|
|
869
|
-
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  <span class="keywordflow">
|
|
861
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  }</div>
|
|
862
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  }</div>
|
|
863
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span> }</div>
|
|
864
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  </div>
|
|
865
|
+
<div class="line"><a name="l00846"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999"> 846</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>
|
|
866
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span> {</div>
|
|
867
|
+
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = <a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getLHSVarID();</div>
|
|
868
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> rhs = <a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getRHSVarID();</div>
|
|
869
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()->isBlkPtr(lhs))</div>
|
|
870
870
|
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span>  {</div>
|
|
871
|
-
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  <
|
|
872
|
-
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span> 
|
|
873
|
-
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span> 
|
|
874
|
-
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span> 
|
|
875
|
-
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span> 
|
|
876
|
-
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span> 
|
|
877
|
-
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span> 
|
|
878
|
-
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span> 
|
|
879
|
-
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span> 
|
|
880
|
-
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span> 
|
|
881
|
-
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span> 
|
|
882
|
-
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span> 
|
|
883
|
-
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span> 
|
|
884
|
-
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span> 
|
|
885
|
-
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span> 
|
|
886
|
-
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span> 
|
|
887
|
-
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span> 
|
|
888
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span> 
|
|
889
|
-
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span> 
|
|
890
|
-
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span> 
|
|
891
|
-
<div class="line"><a name="l00872"></a><span class="lineno"
|
|
892
|
-
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span> 
|
|
893
|
-
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> 
|
|
894
|
-
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span> 
|
|
895
|
-
<div class="line"><a name="l00876"></a><span class="lineno"> 876</span> 
|
|
896
|
-
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span> 
|
|
897
|
-
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  <a class="code" href="
|
|
898
|
-
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <
|
|
899
|
-
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span>  <
|
|
900
|
-
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span> 
|
|
901
|
-
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span> 
|
|
902
|
-
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="keywordflow">
|
|
903
|
-
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span> 
|
|
904
|
-
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span> 
|
|
905
|
-
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span>  <
|
|
906
|
-
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span> 
|
|
907
|
-
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span> 
|
|
908
|
-
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span> 
|
|
909
|
-
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  <
|
|
910
|
-
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span> 
|
|
911
|
-
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span>  <
|
|
912
|
-
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span> 
|
|
913
|
-
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span>  <span class="keywordflow">
|
|
914
|
-
<div class="line"><a name="l00895"></a><span class="lineno"> 895</span> 
|
|
915
|
-
<div class="line"><a name="l00896"></a><span class="lineno"> 896</span> 
|
|
916
|
-
<div class="line"><a name="l00897"></a><span class="lineno"> 897</span> 
|
|
917
|
-
<div class="line"><a name="l00898"></a><span class="lineno"
|
|
918
|
-
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span> 
|
|
919
|
-
<div class="line"><a name="l00900"></a><span class="lineno"> 900</span> 
|
|
920
|
-
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span> 
|
|
921
|
-
<div class="line"><a name="l00902"></a><span class="lineno"
|
|
922
|
-
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span> 
|
|
923
|
-
<div class="line"><a name="l00904"></a><span class="lineno"> 904</span>  <
|
|
924
|
-
<div class="line"><a name="l00905"></a><span class="lineno"> 905</span> 
|
|
925
|
-
<div class="line"><a name="l00906"></a><span class="lineno"> 906</span> 
|
|
926
|
-
<div class="line"><a name="l00907"></a><span class="lineno"> 907</span> 
|
|
927
|
-
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span> 
|
|
928
|
-
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span> 
|
|
929
|
-
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span>  <span class="keywordflow">
|
|
871
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  _es[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
|
|
872
|
+
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  }</div>
|
|
873
|
+
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  <span class="keywordflow">else</span></div>
|
|
874
|
+
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span>  {</div>
|
|
875
|
+
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span>  <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
|
|
876
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span>  {</div>
|
|
877
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  _es[lhs] = _es[rhs];</div>
|
|
878
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  <span class="comment">// if copy LHS is integerType(i8 i32 etc), value should be limited.</span></div>
|
|
879
|
+
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  <span class="comment">// this branch can handle bitcast from higher bits integer to</span></div>
|
|
880
|
+
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  <span class="comment">// lower bits integer. e.g. bitcast i32 to i8</span></div>
|
|
881
|
+
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getLHSVar()->getType()->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a>)</div>
|
|
882
|
+
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  {</div>
|
|
883
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  _es[lhs].meet_with(</div>
|
|
884
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  getRangeLimitFromType(<a class="code" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>->getLHSVar()->getType()));</div>
|
|
885
|
+
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  }</div>
|
|
886
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  }</div>
|
|
887
|
+
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
888
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  {</div>
|
|
889
|
+
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  assert(!getAddrs(rhs).empty());</div>
|
|
890
|
+
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  _es.getAddrs(lhs) = getAddrs(rhs);</div>
|
|
891
|
+
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  }</div>
|
|
892
|
+
<div class="line"><a name="l00873"></a><span class="lineno"> 873</span>  }</div>
|
|
893
|
+
<div class="line"><a name="l00874"></a><span class="lineno"> 874</span> }</div>
|
|
894
|
+
<div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  </div>
|
|
895
|
+
<div class="line"><a name="l00876"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc"> 876</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>
|
|
896
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span> {</div>
|
|
897
|
+
<div class="line"><a name="l00878"></a><span class="lineno"> 878</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>
|
|
898
|
+
<div class="line"><a name="l00879"></a><span class="lineno"> 879</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>
|
|
899
|
+
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span>  <span class="keywordflow">if</span> (!inVarToAddrsTable(rhs)) <span class="keywordflow">return</span>;</div>
|
|
900
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span>  assert(!getAddrs(rhs).empty());</div>
|
|
901
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &rhsVal = getAddrs(rhs);</div>
|
|
902
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="keywordflow">if</span> (rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
903
|
+
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> offsetPair = getItvOfFlattenedElemIndex(gep);</div>
|
|
904
|
+
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span>  <span class="keywordflow">if</span> (!isVirtualMemAddress(*rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>()))</div>
|
|
905
|
+
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span>  <span class="keywordflow">return</span>;</div>
|
|
906
|
+
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span>  <span class="keywordflow">else</span></div>
|
|
907
|
+
<div class="line"><a name="l00888"></a><span class="lineno"> 888</span>  {</div>
|
|
908
|
+
<div class="line"><a name="l00889"></a><span class="lineno"> 889</span>  <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> gepAddrs;</div>
|
|
909
|
+
<div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> lb = offsetPair.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() < <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>()?</div>
|
|
910
|
+
<div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  offsetPair.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>(): <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>();</div>
|
|
911
|
+
<div class="line"><a name="l00892"></a><span class="lineno"> 892</span>  <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> ub = offsetPair.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() < <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>()?</div>
|
|
912
|
+
<div class="line"><a name="l00893"></a><span class="lineno"> 893</span>  offsetPair.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>(): <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>();</div>
|
|
913
|
+
<div class="line"><a name="l00894"></a><span class="lineno"> 894</span>  <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = lb; i <= ub; i++)</div>
|
|
914
|
+
<div class="line"><a name="l00895"></a><span class="lineno"> 895</span>  gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(getGepObjAddress(rhs, i));</div>
|
|
915
|
+
<div class="line"><a name="l00896"></a><span class="lineno"> 896</span>  <span class="keywordflow">if</span>(gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
|
|
916
|
+
<div class="line"><a name="l00897"></a><span class="lineno"> 897</span>  _es.getAddrs(lhs) = gepAddrs;</div>
|
|
917
|
+
<div class="line"><a name="l00898"></a><span class="lineno"> 898</span>  <span class="keywordflow">return</span>;</div>
|
|
918
|
+
<div class="line"><a name="l00899"></a><span class="lineno"> 899</span>  }</div>
|
|
919
|
+
<div class="line"><a name="l00900"></a><span class="lineno"> 900</span> }</div>
|
|
920
|
+
<div class="line"><a name="l00901"></a><span class="lineno"> 901</span>  </div>
|
|
921
|
+
<div class="line"><a name="l00902"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8"> 902</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>
|
|
922
|
+
<div class="line"><a name="l00903"></a><span class="lineno"> 903</span> {</div>
|
|
923
|
+
<div class="line"><a name="l00904"></a><span class="lineno"> 904</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>
|
|
924
|
+
<div class="line"><a name="l00905"></a><span class="lineno"> 905</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>
|
|
925
|
+
<div class="line"><a name="l00906"></a><span class="lineno"> 906</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>
|
|
926
|
+
<div class="line"><a name="l00907"></a><span class="lineno"> 907</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>
|
|
927
|
+
<div class="line"><a name="l00908"></a><span class="lineno"> 908</span>  <span class="keywordflow">if</span> (inVarToValTable(tval) && inVarToValTable(fval) && inVarToValTable(cond))</div>
|
|
928
|
+
<div class="line"><a name="l00909"></a><span class="lineno"> 909</span>  {</div>
|
|
929
|
+
<div class="line"><a name="l00910"></a><span class="lineno"> 910</span>  <span class="keywordflow">if</span> (_es[cond].is_numeral())</div>
|
|
930
930
|
<div class="line"><a name="l00911"></a><span class="lineno"> 911</span>  {</div>
|
|
931
|
-
<div class="line"><a name="l00912"></a><span class="lineno"> 912</span>  _es[res] = _es[cond];</div>
|
|
931
|
+
<div class="line"><a name="l00912"></a><span class="lineno"> 912</span>  _es[res] = _es[cond].is_zero() ? _es[fval] : _es[tval];</div>
|
|
932
932
|
<div class="line"><a name="l00913"></a><span class="lineno"> 913</span>  }</div>
|
|
933
|
-
<div class="line"><a name="l00914"></a><span class="lineno"> 914</span> 
|
|
934
|
-
<div class="line"><a name="l00915"></a><span class="lineno"> 915</span> 
|
|
935
|
-
<div class="line"><a name="l00916"></a><span class="lineno"> 916</span> 
|
|
936
|
-
<div class="line"><a name="l00917"></a><span class="lineno"> 917</span> 
|
|
937
|
-
<div class="line"><a name="l00918"></a><span class="lineno"> 918</span> 
|
|
938
|
-
<div class="line"><a name="l00919"></a><span class="lineno"> 919</span> 
|
|
939
|
-
<div class="line"><a name="l00920"></a><span class="lineno"> 920</span> 
|
|
940
|
-
<div class="line"><a name="l00921"></a><span class="lineno"> 921</span> 
|
|
941
|
-
<div class="line"><a name="l00922"></a><span class="lineno"> 922</span> 
|
|
942
|
-
<div class="line"><a name="l00923"></a><span class="lineno"> 923</span> 
|
|
943
|
-
<div class="line"><a name="l00924"></a><span class="lineno"> 924</span> 
|
|
944
|
-
<div class="line"><a name="l00925"></a><span class="lineno"> 925</span> 
|
|
945
|
-
<div class="line"><a name="l00926"></a><span class="lineno"
|
|
946
|
-
<div class="line"><a name="l00927"></a><span class="lineno"> 927</span> 
|
|
947
|
-
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span> 
|
|
948
|
-
<div class="line"><a name="l00929"></a><span class="lineno"> 929</span> 
|
|
949
|
-
<div class="line"><a name="l00930"></a><span class="lineno"> 930</span> 
|
|
950
|
-
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span> 
|
|
951
|
-
<div class="line"><a name="l00932"></a><span class="lineno"> 932</span>  <
|
|
952
|
-
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span> 
|
|
953
|
-
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span> 
|
|
954
|
-
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span> 
|
|
955
|
-
<div class="line"><a name="l00936"></a><span class="lineno"> 936</span> 
|
|
956
|
-
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span> 
|
|
957
|
-
<div class="line"><a name="l00938"></a><span class="lineno"> 938</span> 
|
|
958
|
-
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span> 
|
|
959
|
-
<div class="line"><a name="l00940"></a><span class="lineno"> 940</span> 
|
|
960
|
-
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span> 
|
|
961
|
-
<div class="line"><a name="l00942"></a><span class="lineno"> 942</span> 
|
|
962
|
-
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span> 
|
|
963
|
-
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span> 
|
|
964
|
-
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span> 
|
|
965
|
-
<div class="line"><a name="l00946"></a><span class="lineno"> 946</span> 
|
|
966
|
-
<div class="line"><a name="l00947"></a><span class="lineno"> 947</span> 
|
|
967
|
-
<div class="line"><a name="l00948"></a><span class="lineno"> 948</span> 
|
|
968
|
-
<div class="line"><a name="l00949"></a><span class="lineno"> 949</span> 
|
|
969
|
-
<div class="line"><a name="l00950"></a><span class="lineno"> 950</span> 
|
|
970
|
-
<div class="line"><a name="l00951"></a><span class="lineno"> 951</span> 
|
|
971
|
-
<div class="line"><a name="l00952"></a><span class="lineno"> 952</span> 
|
|
972
|
-
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span> 
|
|
973
|
-
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span> 
|
|
974
|
-
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span> 
|
|
975
|
-
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span> 
|
|
976
|
-
<div class="line"><a name="l00957"></a><span class="lineno"> 957</span> 
|
|
977
|
-
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span>  </div>
|
|
978
|
-
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span> 
|
|
979
|
-
<div class="line"><a name="l00960"></a><span class="lineno"
|
|
980
|
-
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> 
|
|
981
|
-
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span> 
|
|
982
|
-
<div class="line"><a name="l00963"></a><span class="lineno"> 963</span> 
|
|
983
|
-
<div class="line"><a name="l00964"></a><span class="lineno"> 964</span> 
|
|
984
|
-
<div class="line"><a name="l00965"></a><span class="lineno"> 965</span> 
|
|
985
|
-
<div class="line"><a name="l00966"></a><span class="lineno"> 966</span> 
|
|
986
|
-
<div class="line"><a name="l00967"></a><span class="lineno"> 967</span> 
|
|
987
|
-
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  <span class="keywordflow">
|
|
933
|
+
<div class="line"><a name="l00914"></a><span class="lineno"> 914</span>  <span class="keywordflow">else</span></div>
|
|
934
|
+
<div class="line"><a name="l00915"></a><span class="lineno"> 915</span>  {</div>
|
|
935
|
+
<div class="line"><a name="l00916"></a><span class="lineno"> 916</span>  _es[res] = _es[cond];</div>
|
|
936
|
+
<div class="line"><a name="l00917"></a><span class="lineno"> 917</span>  }</div>
|
|
937
|
+
<div class="line"><a name="l00918"></a><span class="lineno"> 918</span>  }</div>
|
|
938
|
+
<div class="line"><a name="l00919"></a><span class="lineno"> 919</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(tval) && inVarToAddrsTable(fval) && inVarToValTable(cond))</div>
|
|
939
|
+
<div class="line"><a name="l00920"></a><span class="lineno"> 920</span>  {</div>
|
|
940
|
+
<div class="line"><a name="l00921"></a><span class="lineno"> 921</span>  <span class="keywordflow">if</span> (_es[cond].is_numeral())</div>
|
|
941
|
+
<div class="line"><a name="l00922"></a><span class="lineno"> 922</span>  {</div>
|
|
942
|
+
<div class="line"><a name="l00923"></a><span class="lineno"> 923</span>  assert(!getAddrs(fval).empty());</div>
|
|
943
|
+
<div class="line"><a name="l00924"></a><span class="lineno"> 924</span>  assert(!getAddrs(tval).empty());</div>
|
|
944
|
+
<div class="line"><a name="l00925"></a><span class="lineno"> 925</span>  _es.getAddrs(res) = _es[cond].is_zero() ? getAddrs(fval) : getAddrs(tval);</div>
|
|
945
|
+
<div class="line"><a name="l00926"></a><span class="lineno"> 926</span>  }</div>
|
|
946
|
+
<div class="line"><a name="l00927"></a><span class="lineno"> 927</span>  }</div>
|
|
947
|
+
<div class="line"><a name="l00928"></a><span class="lineno"> 928</span> }</div>
|
|
948
|
+
<div class="line"><a name="l00929"></a><span class="lineno"> 929</span>  </div>
|
|
949
|
+
<div class="line"><a name="l00930"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e"> 930</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>
|
|
950
|
+
<div class="line"><a name="l00931"></a><span class="lineno"> 931</span> {</div>
|
|
951
|
+
<div class="line"><a name="l00932"></a><span class="lineno"> 932</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>
|
|
952
|
+
<div class="line"><a name="l00933"></a><span class="lineno"> 933</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> rhsItv = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
953
|
+
<div class="line"><a name="l00934"></a><span class="lineno"> 934</span>  <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> rhsAddr;</div>
|
|
954
|
+
<div class="line"><a name="l00935"></a><span class="lineno"> 935</span>  <span class="keywordtype">bool</span> isVal = <span class="keyword">false</span>, isAddr = <span class="keyword">false</span>;</div>
|
|
955
|
+
<div class="line"><a name="l00936"></a><span class="lineno"> 936</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>
|
|
956
|
+
<div class="line"><a name="l00937"></a><span class="lineno"> 937</span>  {</div>
|
|
957
|
+
<div class="line"><a name="l00938"></a><span class="lineno"> 938</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>
|
|
958
|
+
<div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  <span class="keywordflow">if</span> (inVarToValTable(curId))</div>
|
|
959
|
+
<div class="line"><a name="l00940"></a><span class="lineno"> 940</span>  {</div>
|
|
960
|
+
<div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  rhsItv.<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(_es[curId]);</div>
|
|
961
|
+
<div class="line"><a name="l00942"></a><span class="lineno"> 942</span>  isVal = <span class="keyword">true</span>;</div>
|
|
962
|
+
<div class="line"><a name="l00943"></a><span class="lineno"> 943</span>  }</div>
|
|
963
|
+
<div class="line"><a name="l00944"></a><span class="lineno"> 944</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(curId))</div>
|
|
964
|
+
<div class="line"><a name="l00945"></a><span class="lineno"> 945</span>  {</div>
|
|
965
|
+
<div class="line"><a name="l00946"></a><span class="lineno"> 946</span>  assert(!getAddrs(curId).empty());</div>
|
|
966
|
+
<div class="line"><a name="l00947"></a><span class="lineno"> 947</span>  rhsAddr.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(getAddrs(curId));</div>
|
|
967
|
+
<div class="line"><a name="l00948"></a><span class="lineno"> 948</span>  isAddr = <span class="keyword">true</span>;</div>
|
|
968
|
+
<div class="line"><a name="l00949"></a><span class="lineno"> 949</span>  }</div>
|
|
969
|
+
<div class="line"><a name="l00950"></a><span class="lineno"> 950</span>  }</div>
|
|
970
|
+
<div class="line"><a name="l00951"></a><span class="lineno"> 951</span>  <span class="keywordflow">if</span> (isVal)</div>
|
|
971
|
+
<div class="line"><a name="l00952"></a><span class="lineno"> 952</span>  {</div>
|
|
972
|
+
<div class="line"><a name="l00953"></a><span class="lineno"> 953</span>  <span class="comment">// res var is an integer</span></div>
|
|
973
|
+
<div class="line"><a name="l00954"></a><span class="lineno"> 954</span>  _es[res] = rhsItv;</div>
|
|
974
|
+
<div class="line"><a name="l00955"></a><span class="lineno"> 955</span>  }</div>
|
|
975
|
+
<div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (isAddr)</div>
|
|
976
|
+
<div class="line"><a name="l00957"></a><span class="lineno"> 957</span>  {</div>
|
|
977
|
+
<div class="line"><a name="l00958"></a><span class="lineno"> 958</span>  <span class="comment">// res var is an address</span></div>
|
|
978
|
+
<div class="line"><a name="l00959"></a><span class="lineno"> 959</span>  _es.getAddrs(res) = rhsAddr;</div>
|
|
979
|
+
<div class="line"><a name="l00960"></a><span class="lineno"> 960</span>  }</div>
|
|
980
|
+
<div class="line"><a name="l00961"></a><span class="lineno"> 961</span> }</div>
|
|
981
|
+
<div class="line"><a name="l00962"></a><span class="lineno"> 962</span>  </div>
|
|
982
|
+
<div class="line"><a name="l00963"></a><span class="lineno"> 963</span>  </div>
|
|
983
|
+
<div class="line"><a name="l00964"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad"> 964</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>
|
|
984
|
+
<div class="line"><a name="l00965"></a><span class="lineno"> 965</span> {</div>
|
|
985
|
+
<div class="line"><a name="l00966"></a><span class="lineno"> 966</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = callPE-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
986
|
+
<div class="line"><a name="l00967"></a><span class="lineno"> 967</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = callPE-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
987
|
+
<div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
|
|
988
988
|
<div class="line"><a name="l00969"></a><span class="lineno"> 969</span>  {</div>
|
|
989
|
-
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span> 
|
|
990
|
-
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span> 
|
|
991
|
-
<div class="line"><a name="l00972"></a><span class="lineno"> 972</span> 
|
|
992
|
-
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span> 
|
|
993
|
-
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span> 
|
|
994
|
-
<div class="line"><a name="l00975"></a><span class="lineno"
|
|
995
|
-
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span> 
|
|
996
|
-
<div class="line"><a name="l00977"></a><span class="lineno"> 977</span> 
|
|
997
|
-
<div class="line"><a name="l00978"></a><span class="lineno"> 978</span> 
|
|
998
|
-
<div class="line"><a name="l00979"></a><span class="lineno"> 979</span> 
|
|
999
|
-
<div class="line"><a name="l00980"></a><span class="lineno"> 980</span> 
|
|
1000
|
-
<div class="line"><a name="l00981"></a><span class="lineno"> 981</span> 
|
|
1001
|
-
<div class="line"><a name="l00982"></a><span class="lineno"> 982</span> 
|
|
1002
|
-
<div class="line"><a name="l00983"></a><span class="lineno"> 983</span>  <span class="keywordflow">
|
|
989
|
+
<div class="line"><a name="l00970"></a><span class="lineno"> 970</span>  _es[lhs] = _es[rhs];</div>
|
|
990
|
+
<div class="line"><a name="l00971"></a><span class="lineno"> 971</span>  }</div>
|
|
991
|
+
<div class="line"><a name="l00972"></a><span class="lineno"> 972</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
992
|
+
<div class="line"><a name="l00973"></a><span class="lineno"> 973</span>  {</div>
|
|
993
|
+
<div class="line"><a name="l00974"></a><span class="lineno"> 974</span>  assert(!getAddrs(rhs).empty());</div>
|
|
994
|
+
<div class="line"><a name="l00975"></a><span class="lineno"> 975</span>  _es.getAddrs(lhs) = getAddrs(rhs);</div>
|
|
995
|
+
<div class="line"><a name="l00976"></a><span class="lineno"> 976</span>  }</div>
|
|
996
|
+
<div class="line"><a name="l00977"></a><span class="lineno"> 977</span> }</div>
|
|
997
|
+
<div class="line"><a name="l00978"></a><span class="lineno"> 978</span>  </div>
|
|
998
|
+
<div class="line"><a name="l00979"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc"> 979</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>
|
|
999
|
+
<div class="line"><a name="l00980"></a><span class="lineno"> 980</span> {</div>
|
|
1000
|
+
<div class="line"><a name="l00981"></a><span class="lineno"> 981</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = retPE-><a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
|
|
1001
|
+
<div class="line"><a name="l00982"></a><span class="lineno"> 982</span>  <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = retPE-><a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
|
|
1002
|
+
<div class="line"><a name="l00983"></a><span class="lineno"> 983</span>  <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
|
|
1003
1003
|
<div class="line"><a name="l00984"></a><span class="lineno"> 984</span>  {</div>
|
|
1004
|
-
<div class="line"><a name="l00985"></a><span class="lineno"> 985</span> 
|
|
1005
|
-
<div class="line"><a name="l00986"></a><span class="lineno"> 986</span> 
|
|
1006
|
-
<div class="line"><a name="l00987"></a><span class="lineno"> 987</span> 
|
|
1007
|
-
<div class="line"><a name="l00988"></a><span class="lineno"> 988</span> 
|
|
1004
|
+
<div class="line"><a name="l00985"></a><span class="lineno"> 985</span>  _es[lhs] = _es[rhs];</div>
|
|
1005
|
+
<div class="line"><a name="l00986"></a><span class="lineno"> 986</span>  }</div>
|
|
1006
|
+
<div class="line"><a name="l00987"></a><span class="lineno"> 987</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
|
|
1007
|
+
<div class="line"><a name="l00988"></a><span class="lineno"> 988</span>  {</div>
|
|
1008
|
+
<div class="line"><a name="l00989"></a><span class="lineno"> 989</span>  assert(!getAddrs(rhs).empty());</div>
|
|
1009
|
+
<div class="line"><a name="l00990"></a><span class="lineno"> 990</span>  _es.getAddrs(lhs) = getAddrs(rhs);</div>
|
|
1010
|
+
<div class="line"><a name="l00991"></a><span class="lineno"> 991</span>  }</div>
|
|
1011
|
+
<div class="line"><a name="l00992"></a><span class="lineno"> 992</span> }</div>
|
|
1008
1012
|
</div><!-- fragment --></div><!-- contents -->
|
|
1009
1013
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a1f279344b4061838d7b3498631bc907c"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c">SVF::AccessPath::getStructFieldOffset</a></div><div class="ttdeci">u32_t getStructFieldOffset(const SVFVar *idxOperandVar, const SVFStructType *idxOperandType) const</div><div class="ttdoc">Return byte offset from the beginning of the structure to the field where it is located for struct ty...</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00162">AccessPath.cpp:162</a></div></div>
|
|
1010
1014
|
<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>
|
|
1011
1015
|
<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#l00903">SVFStatements.h:903</a></div></div>
|
|
1012
|
-
<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#
|
|
1016
|
+
<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#l00964">SVFIR2ItvExeState.cpp:964</a></div></div>
|
|
1013
1017
|
<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>
|
|
1014
1018
|
<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#l00351">SVFStatements.h:351</a></div></div>
|
|
1015
1019
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a4bc7962d519c1c0380b5a6a144c91c51"><div class="ttname"><a href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00281">SVFType.h:281</a></div></div>
|
|
@@ -1025,7 +1029,7 @@ $(function() {
|
|
|
1025
1029
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00862">SVFStatements.h:862</a></div></div>
|
|
1026
1030
|
<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#l00351">SVFType.h:351</a></div></div>
|
|
1027
1031
|
<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>
|
|
1028
|
-
<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#
|
|
1032
|
+
<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#l00902">SVFIR2ItvExeState.cpp:902</a></div></div>
|
|
1029
1033
|
<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>
|
|
1030
1034
|
<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>
|
|
1031
1035
|
<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#l00889">SVFStatements.h:889</a></div></div>
|
|
@@ -1039,19 +1043,19 @@ $(function() {
|
|
|
1039
1043
|
<div class="ttc" id="aSVFIR2ItvExeState_8h_html"><div class="ttname"><a href="SVFIR2ItvExeState_8h.html">SVFIR2ItvExeState.h</a></div></div>
|
|
1040
1044
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt::Sub</a></div><div class="ttdeci">@ Sub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00975">SVFStatements.h:975</a></div></div>
|
|
1041
1045
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3428808abe683bfc6bb0267077cdb128">SVF::CmpStmt::ICMP_UGE</a></div><div class="ttdeci">@ ICMP_UGE</div><div class="ttdoc">unsigned greater or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00911">SVFStatements.h:911</a></div></div>
|
|
1042
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af7f42ee51b03b1aaaee18f10eec0c2b9"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">SVF::SVFIR2ItvExeState::translateAddr</a></div><div class="ttdeci">void translateAddr(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1046
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af7f42ee51b03b1aaaee18f10eec0c2b9"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">SVF::SVFIR2ItvExeState::translateAddr</a></div><div class="ttdeci">void translateAddr(const AddrStmt *addr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00503">SVFIR2ItvExeState.cpp:503</a></div></div>
|
|
1043
1047
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00816">SVFStatements.h:816</a></div></div>
|
|
1044
1048
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a144e17cec654e83654298b379ed4ce9f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">SVF::IntervalValue::meet_with</a></div><div class="ttdeci">void meet_with(const IntervalValue &other)</div><div class="ttdoc">Return a intersected IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00408">IntervalValue.h:408</a></div></div>
|
|
1045
1049
|
<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00605">SVFStatements.h:605</a></div></div>
|
|
1046
1050
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00871">SVFStatements.h:871</a></div></div>
|
|
1047
1051
|
<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#l00989">SVFStatements.h:989</a></div></div>
|
|
1048
1052
|
<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#l00985">SVFStatements.h:985</a></div></div>
|
|
1049
|
-
<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#
|
|
1050
|
-
<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#
|
|
1053
|
+
<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#l00591">SVFIR2ItvExeState.cpp:591</a></div></div>
|
|
1054
|
+
<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#l00876">SVFIR2ItvExeState.cpp:876</a></div></div>
|
|
1051
1055
|
<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>
|
|
1052
1056
|
<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#l00890">SVFStatements.h:890</a></div></div>
|
|
1053
1057
|
<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#l00105">SVFIR2ItvExeState.cpp:105</a></div></div>
|
|
1054
|
-
<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#
|
|
1058
|
+
<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#l00930">SVFIR2ItvExeState.cpp:930</a></div></div>
|
|
1055
1059
|
<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#l00979">SVFStatements.h:979</a></div></div>
|
|
1056
1060
|
<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#l00981">SVFStatements.h:981</a></div></div>
|
|
1057
1061
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00891">SVFStatements.h:891</a></div></div>
|
|
@@ -1064,7 +1068,7 @@ $(function() {
|
|
|
1064
1068
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1">SVF::BinaryOPStmt::LShr</a></div><div class="ttdeci">@ LShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00986">SVFStatements.h:986</a></div></div>
|
|
1065
1069
|
<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>
|
|
1066
1070
|
<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>
|
|
1067
|
-
<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#
|
|
1071
|
+
<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#l00775">SVFIR2ItvExeState.cpp:775</a></div></div>
|
|
1068
1072
|
<div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
1069
1073
|
<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>
|
|
1070
1074
|
<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>
|
|
@@ -1076,11 +1080,11 @@ $(function() {
|
|
|
1076
1080
|
<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">Map a memory address to its stored interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00151">IntervalExeState.h:151</a></div></div>
|
|
1077
1081
|
<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#l00177">SVFValue.h:177</a></div></div>
|
|
1078
1082
|
<div class="ttc" id="aclassSVF_1_1GepStmt_html_a348de09a7ccd04d1fa76fa6b250249ba"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">SVF::GepStmt::getOffsetVarAndGepTypePairVec</a></div><div class="ttdeci">const AccessPath::IdxOperandPairs getOffsetVarAndGepTypePairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00495">SVFStatements.h:495</a></div></div>
|
|
1079
|
-
<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#
|
|
1083
|
+
<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#l00979">SVFIR2ItvExeState.cpp:979</a></div></div>
|
|
1080
1084
|
<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#l00916">SVFStatements.h:916</a></div></div>
|
|
1081
1085
|
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00469">SVFType.h:469</a></div></div>
|
|
1082
1086
|
<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#l00114">SVFIR.h:114</a></div></div>
|
|
1083
|
-
<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#
|
|
1087
|
+
<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#l00529">SVFIR2ItvExeState.cpp:529</a></div></div>
|
|
1084
1088
|
<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a5dc699aa85fe879eb4b2c9109cf3030d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo(const SVFType *T) const</div><div class="ttdoc">Get struct info.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00056">SymbolTableInfo.cpp:56</a></div></div>
|
|
1085
1089
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
1086
1090
|
<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
|
|
@@ -1098,7 +1102,7 @@ $(function() {
|
|
|
1098
1102
|
<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#l00995">SVFValue.h:995</a></div></div>
|
|
1099
1103
|
<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#l00977">SVFStatements.h:977</a></div></div>
|
|
1100
1104
|
<div class="ttc" id="aclassSVF_1_1AccessPath_html_a4f482ca73cc6e7b8d946651e2b2ea2ae"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae">SVF::AccessPath::IdxOperandPair</a></div><div class="ttdeci">std::pair< const SVFVar *, const SVFType * > IdxOperandPair</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00064">AccessPath.h:64</a></div></div>
|
|
1101
|
-
<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#
|
|
1105
|
+
<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#l00817">SVFIR2ItvExeState.cpp:817</a></div></div>
|
|
1102
1106
|
<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>
|
|
1103
1107
|
<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#l00898">SVFStatements.h:898</a></div></div>
|
|
1104
1108
|
<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>
|
|
@@ -1113,7 +1117,7 @@ $(function() {
|
|
|
1113
1117
|
<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>
|
|
1114
1118
|
<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>
|
|
1115
1119
|
<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>
|
|
1116
|
-
<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#
|
|
1120
|
+
<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#l00846">SVFIR2ItvExeState.cpp:846</a></div></div>
|
|
1117
1121
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_ad03d28d16754c9049dd4d0ad3b6c1e28"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">SVF::AssignStmt::getRHSVar</a></div><div class="ttdeci">SVFVar * getRHSVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00290">SVFStatements.h:290</a></div></div>
|
|
1118
1122
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_ad317f2ae2e599a131a6fd9f415f5d712"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState::_varToAddrs</a></div><div class="ttdeci">VarToAddrs _varToAddrs</div><div class="ttdoc">Map a variable (symbol) to its memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
|
|
1119
1123
|
<div class="ttc" id="aclassSVF_1_1GepStmt_html_ab6f37c073e4755c4b8bb3ed6365687f4"><div class="ttname"><a href="classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4">SVF::GepStmt::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00500">SVFStatements.h:500</a></div></div>
|
|
@@ -1141,12 +1145,12 @@ $(function() {
|
|
|
1141
1145
|
<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
|
|
1142
1146
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</a></div></div>
|
|
1143
1147
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00858">SVFStatements.h:858</a></div></div>
|
|
1144
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af5d05c5316127cfe8d975a3a0a23798b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">SVF::SVFIR2ItvExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1148
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af5d05c5316127cfe8d975a3a0a23798b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">SVF::SVFIR2ItvExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00479">SVFIR2ItvExeState.cpp:479</a></div></div>
|
|
1145
1149
|
<div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
|
|
1146
1150
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01016">SVFStatements.h:1016</a></div></div>
|
|
1147
1151
|
<div class="ttc" id="aclassSVF_1_1ObjVar_html_a6a4feb73b54e602407e35eeb09f55930"><div class="ttname"><a href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">SVF::ObjVar::getMemObj</a></div><div class="ttdeci">const MemObj * getMemObj() const</div><div class="ttdoc">Return memory object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00353">SVFVariables.h:353</a></div></div>
|
|
1148
1152
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
|
|
1149
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a646fa58f61db6abd98d0a04af1fab88d"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">SVF::SVFIR2ItvExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1153
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a646fa58f61db6abd98d0a04af1fab88d"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">SVF::SVFIR2ItvExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00447">SVFIR2ItvExeState.cpp:447</a></div></div>
|
|
1150
1154
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
1151
1155
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00980">SVFStatements.h:980</a></div></div>
|
|
1152
1156
|
<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
|
|
@@ -1176,7 +1180,7 @@ $(function() {
|
|
|
1176
1180
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt::Add</a></div><div class="ttdeci">@ Add</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00973">SVFStatements.h:973</a></div></div>
|
|
1177
1181
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a198fd724be35f415851a2467c3930f76"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76">SVF::SVFIR2ItvExeState::widenAddrs</a></div><div class="ttdeci">void widenAddrs(IntervalExeState &lhs, const IntervalExeState &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00152">SVFIR2ItvExeState.cpp:152</a></div></div>
|
|
1178
1182
|
<div class="ttc" id="aclassSVF_1_1AddressValue_html_aed0b4789beda4980e4e215a65350f323"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">SVF::AddressValue::begin</a></div><div class="ttdeci">AddrSet::const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00103">AddressValue.h:103</a></div></div>
|
|
1179
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a61d288c8dc621a0578faa5ff784f4b6e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e">SVF::SVFIR2ItvExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *valVar, u32_t varId)</div><div class="ttdoc">Init ValVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#
|
|
1183
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a61d288c8dc621a0578faa5ff784f4b6e"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e">SVF::SVFIR2ItvExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *valVar, u32_t varId)</div><div class="ttdoc">Init ValVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00411">SVFIR2ItvExeState.cpp:411</a></div></div>
|
|
1180
1184
|
<!-- start footer part -->
|
|
1181
1185
|
<hr class="footer"/><address class="footer"><small>
|
|
1182
1186
|
Generated by  <a href="http://www.doxygen.org/index.html">
|