npm - svf-tools - Versions diffs - 1.0.293 → 1.0.297 - Mend

svf-tools 1.0.293 → 1.0.297

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.

Files changed (79) hide show

package/SVF-doxygen/html/html/globals_func_c.html CHANGED Viewed

@@ -73,15 +73,12 @@ $(function() {
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
-<li>convertGEP()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a6589d553bf45afce2d441f5c3e065a58">BreakConstantExpr.cpp</a>
-</li>
 <li>copyOrder()
 : <a class="el" href="cuddInt_8c.html#acad9fa7ce3b1333a9c072bca7dafcbb6">cuddInt.c</a>
 </li>
 <li>Cudd_addCmpl()
-: <a class="el" href="cuddInt_8c.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cuddInt.c</a>
 </li>
 <li>Cudd_addEvalConst()
 : <a class="el" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">cudd.h</a>
@@ -96,8 +93,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aef6faa7c3d70abff90b5187b2f505310">cuddInt.c</a>
 </li>
 <li>Cudd_bddAnd()
-: <a class="el" href="cuddInt_8c.html#a8374b23de03000aeafb9b6deecee4b3c">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a8374b23de03000aeafb9b6deecee4b3c">cuddInt.c</a>
 </li>
 <li>Cudd_bddAndLimit()
 : <a class="el" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">cudd.h</a>
@@ -131,8 +128,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a40fd71665cde402bd5bc4f39015c09ae">cuddInt.c</a>
 </li>
 <li>Cudd_bddLeq()
-: <a class="el" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">cudd.h</a>
-, <a class="el" href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">cuddInt.c</a>
+, <a class="el" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">cudd.h</a>
 </li>
 <li>Cudd_bddLeqUnless()
 : <a class="el" href="cudd_8h.html#a5dcbf450b32f6937bc6dba252474638d">cudd.h</a>
@@ -194,8 +191,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a1878b826a0a318e816d419ca5bcea97b">cuddInt.c</a>
 </li>
 <li>Cudd_EqualSupNorm()
-: <a class="el" href="cuddInt_8c.html#abe0be57ead326db49e00a51d7acf75f9">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">cudd.h</a>
+: <a class="el" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#abe0be57ead326db49e00a51d7acf75f9">cuddInt.c</a>
 </li>
 <li>Cudd_EquivDC()
 : <a class="el" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">cudd.h</a>
@@ -322,8 +319,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">cuddInt.c</a>
 </li>
 <li>Cudd_SetMinHit()
-: <a class="el" href="cuddInt_8c.html#ae96f3e2036a77ab8c1318e607dea232b">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">cudd.h</a>
+: <a class="el" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#ae96f3e2036a77ab8c1318e607dea232b">cuddInt.c</a>
 </li>
 <li>Cudd_Srandom()
 : <a class="el" href="cudd_8h.html#aa90de9057062381cbb8f367f67a7094f">cudd.h</a>
@@ -485,8 +482,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.c</a>
 </li>
 <li>cuddGa()
-: <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
 </li>
 <li>cuddGarbageCollect()
 : <a class="el" href="cuddInt_8h.html#a67e9deab5db86e16734a413ad199719c">cuddInt.h</a>
@@ -516,8 +513,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a9bf314654e2092980899575ffc3aeaa3">cuddInt.c</a>
 </li>
 <li>cuddHashTableInsert1()
-: <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
 </li>
 <li>cuddHashTableInsert2()
 : <a class="el" href="cuddInt_8c.html#a3bb782d3c2c4225e79f82706ee2bb755">cuddInt.c</a>
@@ -553,16 +550,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ac9f3d4ce5f9ac0f4fcd8f96587e13227">cuddInt.c</a>
 </li>
 <li>cuddInitInteract()
-: <a class="el" href="cuddInt_8c.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.c</a>
 </li>
 <li>cuddInitLinear()
 : <a class="el" href="cuddInt_8h.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.c</a>
 </li>
 <li>cuddInitTable()
-: <a class="el" href="cuddInt_8c.html#aac58f12de669eaac1d445054699e2a88">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aac58f12de669eaac1d445054699e2a88">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aac58f12de669eaac1d445054699e2a88">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aac58f12de669eaac1d445054699e2a88">cuddInt.c</a>
 </li>
 <li>cuddLinearAndSifting()
 : <a class="el" href="cuddInt_8h.html#a6280eb698415f13868d44ada26f93d64">cuddInt.h</a>
@@ -580,8 +577,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.c</a>
 </li>
 <li>cuddLocalCacheClearDead()
-: <a class="el" href="cuddInt_8h.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.h</a>
 </li>
 <li>cuddLocalCacheRemoveFromList()
 : <a class="el" href="cuddInt_8c.html#a0ce0bf5ccf36cef240bf9927ed606824">cuddInt.c</a>
@@ -590,8 +587,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a5325adbe14e1e1de34ddb6fd5de4ec6a">cuddInt.c</a>
 </li>
 <li>cuddMakeBddFromZddCover()
-: <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
 </li>
 <li>cuddNextHigh()
 : <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
@@ -617,80 +614,80 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a2d3bb63f4ba1ba097c0f9775ddc1f830">cuddInt.c</a>
 </li>
 <li>cuddReclaim()
-: <a class="el" href="cuddInt_8h.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.h</a>
 </li>
 <li>cuddReclaimZdd()
 : <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
 </li>
 <li>cuddRehash()
-: <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
 </li>
 <li>cuddResizeLinear()
 : <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
 </li>
 <li>cuddResizeTableZdd()
-: <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
 </li>
 <li>cuddSetInteract()
 : <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
 </li>
 <li>cuddShrinkDeathRow()
-: <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
 </li>
 <li>cuddSifting()
-: <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
 </li>
 <li>cuddSlowTableGrowth()
-: <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
 </li>
 <li>cuddSwapInPlace()
-: <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
 </li>
 <li>cuddSwapping()
-: <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
 </li>
 <li>cuddSymmCheck()
 : <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
 </li>
 <li>cuddSymmSifting()
-: <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
 </li>
 <li>cuddSymmSiftingConv()
 : <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</a>
 </li>
 <li>cuddTestInteract()
-: <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
 </li>
 <li>cuddTreeSifting()
-: <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
 </li>
 <li>cuddUniqueConst()
-: <a class="el" href="cuddInt_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
 </li>
 <li>cuddUniqueInter()
-: <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
 </li>
 <li>cuddUniqueInterIVO()
-: <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
 </li>
 <li>cuddUniqueInterZdd()
 : <a class="el" href="cuddInt_8c.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.c</a>
@@ -715,32 +712,32 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
 </li>
 <li>cuddZddChangeAux()
-: <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
 </li>
 <li>cuddZddComplement()
-: <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
 </li>
 <li>cuddZddDiff()
-: <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
 </li>
 <li>cuddZddDivide()
 : <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
 </li>
 <li>cuddZddDivideF()
-: <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
 </li>
 <li>cuddZddFreeUniv()
 : <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.c</a>
 </li>
 <li>cuddZddGetCofactors2()
-: <a class="el" href="cuddInt_8h.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.h</a>
 </li>
 <li>cuddZddGetCofactors3()
 : <a class="el" href="cuddInt_8c.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.c</a>
@@ -755,8 +752,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
 </li>
 <li>cuddZddGetNode()
-: <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
 </li>
 <li>cuddZddGetNodeIVO()
 : <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
@@ -775,16 +772,16 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
 </li>
 <li>cuddZddIntersect()
-: <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
 </li>
 <li>cuddZddIsop()
-: <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
 </li>
 <li>cuddZddIte()
-: <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
 </li>
 <li>cuddZddLinearAux()
 : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -806,12 +803,12 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
 </li>
 <li>cuddZddNextHigh()
-: <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
 </li>
 <li>cuddZddNextLow()
-: <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
 </li>
 <li>cuddZddP()
 : <a class="el" href="cuddInt_8h.html#a6e8a6b880ea63f99e8d52084468b0be5">cuddInt.h</a>
@@ -821,8 +818,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
 </li>
 <li>cuddZddSifting()
-: <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
 </li>
 <li>cuddZddSiftingAux()
 : <a class="el" href="cuddInt_8c.html#ad38635cb1780f4f2c80fd27141c0daef">cuddInt.c</a>
@@ -837,12 +834,12 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a789113cc56cb05380a131ce5a3aa0aff">cuddInt.c</a>
 </li>
 <li>cuddZddSubset0()
-: <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
 </li>
 <li>cuddZddSubset1()
-: <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
 </li>
 <li>cuddZddSwapInPlace()
 : <a class="el" href="cuddInt_8c.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.c</a>
@@ -873,8 +870,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#abea7ac08bf99972d38972dbc9666a7cc">cuddInt.c</a>
 </li>
 <li>cuddZddSymmSiftingConv()
-: <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
 </li>
 <li>cuddZddSymmSiftingConvAux()
 : <a class="el" href="cuddInt_8c.html#a447c4ee2e2ea22adaa37d20ac8f6a6f8">cuddInt.c</a>
@@ -887,8 +884,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a502f13629f5546da11d81c81cae8cc1b">cuddInt.c</a>
 </li>
 <li>cuddZddUnateProduct()
-: <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
 </li>
 <li>cuddZddUndoMoves()
 : <a class="el" href="cuddInt_8c.html#a37d9d5c0202700e85ee6ab3bb64f9c8f">cuddInt.c</a>
@@ -902,20 +899,20 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDiv()
-: <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDivF()
 : <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
 </li>
 <li>cutree_cdist()
-: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
-, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
 </li>
 <li>cutree_k()
-: <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+: <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/search/all_3.js CHANGED Viewed

@@ -382,7 +382,6 @@ var searchData=
   ['contextdda_2eh',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
   ['contextinsensitive',['ContextInsensitive',['../classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2',1,'SVF::Options']]],
   ['convertexpression',['convertExpression',['../BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1',1,'BreakConstantExpr.cpp']]],
-  ['convertgep',['convertGEP',['../BreakConstantExpr_8cpp.html#a6589d553bf45afce2d441f5c3e065a58',1,'BreakConstantExpr.cpp']]],
   ['copy',['Copy',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9',1,'SVF::ConstraintEdge::Copy()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a',1,'SVF::ConstraintNode::Copy()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6af447071283803d3aee763fe20783f4a4',1,'SVF::PAGEdge::Copy()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b',1,'SVF::VFGNode::Copy()']]],
   ['copycgedge',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html',1,'SVF::CopyCGEdge'],['../classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd',1,'SVF::CopyCGEdge::CopyCGEdge()'],['../classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53',1,'SVF::CopyCGEdge::CopyCGEdge(const CopyCGEdge &amp;)'],['../classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168',1,'SVF::CopyCGEdge::CopyCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['copyinedges',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],

package/SVF-doxygen/html/html/search/functions_2.js CHANGED Viewed

@@ -157,7 +157,6 @@ var searchData=
   ['contextcond',['ContextCond',['../classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1',1,'SVF::ContextCond::ContextCond()'],['../classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9',1,'SVF::ContextCond::ContextCond(const ContextCond &amp;cond)']]],
   ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html#adc70126ea6583df10b52501943a2af49',1,'SVF::ContextDDA']]],
   ['convertexpression',['convertExpression',['../BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1',1,'BreakConstantExpr.cpp']]],
-  ['convertgep',['convertGEP',['../BreakConstantExpr_8cpp.html#a6589d553bf45afce2d441f5c3e065a58',1,'BreakConstantExpr.cpp']]],
   ['copycgedge',['CopyCGEdge',['../classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd',1,'SVF::CopyCGEdge::CopyCGEdge()'],['../classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53',1,'SVF::CopyCGEdge::CopyCGEdge(const CopyCGEdge &amp;)'],['../classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168',1,'SVF::CopyCGEdge::CopyCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['copyorder',['copyOrder',['../cuddInt_8c.html#acad9fa7ce3b1333a9c072bca7dafcbb6',1,'cuddInt.c']]],
   ['copype',['CopyPE',['../classSVF_1_1CopyPE.html#aabb6ea2c6f8561e42933b5da45544e5f',1,'SVF::CopyPE::CopyPE()'],['../classSVF_1_1CopyPE.html#a452b0b5c27b15808c7599325c9b6412d',1,'SVF::CopyPE::CopyPE(const CopyPE &amp;)'],['../classSVF_1_1CopyPE.html#ad80e63a8a67a3760d78ccde867b15284',1,'SVF::CopyPE::CopyPE(PAGNode *s, PAGNode *d)']]],

package/build.sh CHANGED Viewed

@@ -10,13 +10,16 @@
 ########
 SVFHOME=$(pwd)
 sysOS=$(uname -s)
-MacLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-12.0.0/clang+llvm-12.0.0-x86_64-apple-darwin.tar.xz"
-UbuntuLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-12.0.0/clang+llvm-12.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz"
+MacLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-13.0.0/clang+llvm-13.0.0-x86_64-apple-darwin.tar.xz"
+UbuntuLLVM="https://github.com/llvm/llvm-project/releases/download/llvmorg-13.0.0/clang+llvm-13.0.0-x86_64-linux-gnu-ubuntu-16.04.tar.xz"
 MacZ3="https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-osx-10.14.6.zip"
 UbuntuZ3="https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip"
 MacCTIR="https://github.com/mbarbar/ctir/releases/download/ctir-10.c3/ctir-clang-v10.c3-macos10.15.zip"
 UbuntuCTIR="https://github.com/mbarbar/ctir/releases/download/ctir-10.c3/ctir-clang-v10.c3-ubuntu18.04.zip"
-LLVMHome="llvm-12.0.0.obj"
+# Keep LLVM version suffix for version checking and better debugging
+# keep the version consistent with LLVM_DIR in setup.sh and llvm_version in Dockerfile
+LLVMHome="llvm-13.0.0.obj"
 Z3Home="z3.obj"
 CTIRHome="ctir.obj"

package/include/Graphs/GraphPrinter.h CHANGED Viewed

@@ -34,6 +34,7 @@
 #include <system_error>
 #include <llvm/Support/ToolOutputFile.h>
 #include <llvm/Support/FileSystem.h>		// for file open flag
+#include <llvm/ADT/GraphTraits.h>
 namespace llvm
 {
@@ -60,7 +61,7 @@ public:
         std::string Filename = GraphName + ".dot";
         O << "Writing '" << Filename << "'...";
         std::error_code ErrInfo;
-        llvm::ToolOutputFile F(Filename.c_str(), ErrInfo, llvm::sys::fs::F_None);
+        llvm::ToolOutputFile F(Filename.c_str(), ErrInfo, llvm::sys::fs::OF_None);
         if (!ErrInfo)
         {

package/include/MemoryModel/MutablePointsToDS.h CHANGED Viewed

@@ -581,7 +581,7 @@ public:
         mutPTData.dumpPTData();
         /// dump points-to of address-taken variables
         std::error_code ErrInfo;
-        ToolOutputFile F("svfg_pts.data", ErrInfo, llvm::sys::fs::F_None);
+        ToolOutputFile F("svfg_pts.data", ErrInfo, llvm::sys::fs::OF_None);
         if (!ErrInfo)
         {
             raw_fd_ostream & osm = F.os();

package/include/MemoryModel/PointerAnalysisImpl.h CHANGED Viewed

@@ -539,15 +539,15 @@ public:
         CPtSet cpts2;
         expandFIObjs(pts2,cpts2);
         if (containBlackHoleNode(cpts1) || containBlackHoleNode(cpts2))
-            return llvm::MayAlias;
+            return llvm::AliasResult::MayAlias;
         else if(this->getAnalysisTy()==PathS_DDA && contains(cpts1,cpts2) && contains(cpts2,cpts1))
         {
-            return llvm::MustAlias;
+            return llvm::AliasResult::MustAlias;
         }
         else if(overlap(cpts1,cpts2))
-            return llvm::MayAlias;
+            return llvm::AliasResult::MayAlias;
         else
-            return llvm::NoAlias;
+            return llvm::AliasResult::NoAlias;
     }
     /// Test blk node for cpts
     inline bool containBlackHoleNode(const CPtSet& cpts)

package/include/Util/BasicTypes.h CHANGED Viewed

@@ -326,7 +326,7 @@ public:
     unsigned arg_size() const { return CB->arg_size(); }
     bool arg_empty() const { return CB->arg_empty(); }
     Value *getArgOperand(unsigned i) const { return CB->getArgOperand(i); }
-    unsigned getNumArgOperands() const { return CB->getNumArgOperands(); }
+    unsigned getNumArgOperands() const { return CB->arg_size(); }
     Function *getCalledFunction() const { return CB->getCalledFunction(); }
     Value *getCalledValue() const { return CB->getCalledOperand(); }
     Function *getCaller() const { return CB->getCaller(); }

package/lib/DDA/DDAPass.cpp CHANGED Viewed

@@ -304,7 +304,7 @@ AliasResult DDAPass::alias(const Value* V1, const Value* V2)
         return _pta->alias(V1,V2);
     }
-    return llvm::MayAlias;
+    return llvm::AliasResult::MayAlias;
 }
 /*!

package/lib/MemoryModel/PointerAnalysis.cpp CHANGED Viewed

@@ -592,24 +592,24 @@ void PointerAnalysis::validateSuccessTests(std::string fun)
                 bool checkSuccessful = false;
                 if (fun == aliasTestMayAlias || fun == aliasTestMayAliasMangled)
                 {
-                    if (aliasRes == llvm::MayAlias || aliasRes == llvm::MustAlias)
+                    if (aliasRes == llvm::AliasResult::MayAlias || aliasRes == llvm::AliasResult::MustAlias)
                         checkSuccessful = true;
                 }
                 else if (fun == aliasTestNoAlias || fun == aliasTestNoAliasMangled)
                 {
-                    if (aliasRes == llvm::NoAlias)
+                    if (aliasRes == llvm::AliasResult::NoAlias)
                         checkSuccessful = true;
                 }
                 else if (fun == aliasTestMustAlias || fun == aliasTestMustAliasMangled)
                 {
                     // change to must alias when our analysis support it
-                    if (aliasRes == llvm::MayAlias || aliasRes == llvm::MustAlias)
+                    if (aliasRes == llvm::AliasResult::MayAlias || aliasRes == llvm::AliasResult::MustAlias)
                         checkSuccessful = true;
                 }
                 else if (fun == aliasTestPartialAlias || fun == aliasTestPartialAliasMangled)
                 {
                     // change to partial alias when our analysis support it
-                    if (aliasRes == llvm::MayAlias)
+                    if (aliasRes == llvm::AliasResult::MayAlias)
                         checkSuccessful = true;
                 }
                 else
@@ -650,7 +650,7 @@ void PointerAnalysis::validateExpectedFailureTests(std::string fun)
                     checkFun->getLLVMFun()->user_end(); i != e; ++i)
             if (CallInst *call = SVFUtil::dyn_cast<CallInst>(*i))
             {
-                assert(call->getNumArgOperands() == 2
+                assert(call->arg_size() == 2
                        && "arguments should be two pointers!!");
                 Value* V1 = call->getArgOperand(0);
                 Value* V2 = call->getArgOperand(1);
@@ -660,13 +660,13 @@ void PointerAnalysis::validateExpectedFailureTests(std::string fun)
                 if (fun == aliasTestFailMayAlias || fun == aliasTestFailMayAliasMangled)
                 {
                     // change to must alias when our analysis support it
-                    if (aliasRes == llvm::NoAlias)
+                    if (aliasRes == llvm::AliasResult::NoAlias)
                         expectedFailure = true;
                 }
                 else if (fun == aliasTestFailNoAlias || fun == aliasTestFailNoAliasMangled)
                 {
                     // change to partial alias when our analysis support it
-                    if (aliasRes == llvm::MayAlias || aliasRes == llvm::PartialAlias || aliasRes == llvm::MustAlias)
+                    if (aliasRes == llvm::AliasResult::MayAlias || aliasRes == llvm::AliasResult::PartialAlias || aliasRes == llvm::AliasResult::MustAlias)
                         expectedFailure = true;
                 }
                 else

package/lib/MemoryModel/PointerAnalysisImpl.cpp CHANGED Viewed

@@ -113,7 +113,7 @@ void BVDataPTAImpl::writeToFile(const string& filename)
     outs() << "Storing pointer analysis results to '" << filename << "'...";
     error_code err;
-    ToolOutputFile F(filename.c_str(), err, llvm::sys::fs::F_None);
+    ToolOutputFile F(filename.c_str(), err, llvm::sys::fs::OF_None);
     if (err)
     {
         outs() << "  error opening file for writing!\n";
@@ -477,7 +477,7 @@ AliasResult BVDataPTAImpl::alias(const PointsTo& p1, const PointsTo& p2)
     expandFIObjs(p2,pts2);
     if (containBlackHoleNode(pts1) || containBlackHoleNode(pts2) || pts1.intersects(pts2))
-        return llvm::MayAlias;
+        return llvm::AliasResult::MayAlias;
     else
-        return llvm::NoAlias;
+        return llvm::AliasResult::NoAlias;
 }