svf-tools 1.0.294 → 1.0.295

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

@@ -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

@@ -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 &)'],['../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

@@ -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 &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 &)'],['../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 &)'],['../classSVF_1_1CopyPE.html#ad80e63a8a67a3760d78ccde867b15284',1,'SVF::CopyPE::CopyPE(PAGNode *s, PAGNode *d)']]],

package/lib/SVF-FE/BreakConstantExpr.cpp

@@ -107,45 +107,6 @@ hasConstantGEP (Value * V)
     return 0;
 }
 
-//
-// Function: convertGEP()
-//
-// Description:
-//  Convert a GEP constant expression into a GEP instruction.
-//
-// Inputs:
-//  CE       - The GEP constant expression.
-//  InsertPt - The instruction before which to insert the new GEP instruction.
-//
-// Return value:
-//  A pointer to the new GEP instruction is returned.
-//
-static Instruction *
-convertGEP (ConstantExpr * CE, Instruction * InsertPt)
-{
-    //
-    // Create iterators to the indices of the constant expression.
-    //
-    std::vector<Value *> Indices;
-    for (unsigned index = 1; index < CE->getNumOperands(); ++index)
-    {
-        Indices.push_back (CE->getOperand (index));
-    }
-    llvm::ArrayRef<Value *> arrayIdices(Indices);
-    //
-    // Update the statistics.
-    //
-    ++GEPChanges;
-
-
-    //
-    // Make the new GEP instruction.
-    //
-    return (GetElementPtrInst::Create (nullptr,CE->getOperand(0),
-                                       arrayIdices,
-                                       CE->getName(),
-                                       InsertPt));
-}
 
 //
 // Function: convertExpression()
@@ -161,111 +122,12 @@ convertExpression (ConstantExpr * CE, Instruction * InsertPt)
     //
     // Convert this constant expression into a regular instruction.
     //
-    Instruction * NewInst = 0;
-    switch (CE->getOpcode())
-    {
-    case Instruction::GetElementPtr:
-    {
-        NewInst = convertGEP (CE, InsertPt);
-        break;
-    }
-
-    case Instruction::Add:
-    case Instruction::Sub:
-    case Instruction::Mul:
-    case Instruction::FAdd:
-    case Instruction::FSub:
-    case Instruction::FMul:
-    case Instruction::UDiv:
-    case Instruction::SDiv:
-    case Instruction::FDiv:
-    case Instruction::URem:
-    case Instruction::SRem:
-    case Instruction::FRem:
-    case Instruction::Shl:
-    case Instruction::LShr:
-    case Instruction::AShr:
-    case Instruction::And:
-    case Instruction::Or:
-    case Instruction::Xor:
-    {
-        Instruction::BinaryOps Op = (Instruction::BinaryOps)(CE->getOpcode());
-        NewInst = llvm::BinaryOperator::Create (Op,
-                                                CE->getOperand(0),
-                                                CE->getOperand(1),
-                                                CE->getName(),
-                                                InsertPt);
-        break;
-    }
-
-    case Instruction::FNeg:
-    {
-        Instruction::UnaryOps Op = (Instruction::UnaryOps)(CE->getOpcode());
-        NewInst = llvm::UnaryOperator::Create (Op,
-                                                CE->getOperand(0),
-                                                CE->getName(),
-                                                InsertPt);
-        break;
-    }
-
-    case Instruction::Trunc:
-    case Instruction::ZExt:
-    case Instruction::SExt:
-    case Instruction::FPToUI:
-    case Instruction::FPToSI:
-    case Instruction::UIToFP:
-    case Instruction::SIToFP:
-    case Instruction::FPTrunc:
-    case Instruction::FPExt:
-    case Instruction::PtrToInt:
-    case Instruction::IntToPtr:
-    case Instruction::BitCast:
-    {
-        Instruction::CastOps Op = (Instruction::CastOps)(CE->getOpcode());
-        NewInst = CastInst::Create (Op,
-                                    CE->getOperand(0),
-                                    CE->getType(),
-                                    CE->getName(),
-                                    InsertPt);
-        break;
-    }
-
-    case Instruction:: FCmp:
-    case Instruction:: ICmp:
-    {
-        Instruction::OtherOps Op = (Instruction::OtherOps)(CE->getOpcode());
-        NewInst = CmpInst::Create (Op,
-                                   static_cast<CmpInst::Predicate>(CE->getPredicate()),
-                                   CE->getOperand(0),
-                                   CE->getOperand(1),
-                                   CE->getName(),
-                                   InsertPt);
-        break;
-    }
-
-    case Instruction:: Select:
-        NewInst = SelectInst::Create (CE->getOperand(0),
-                                      CE->getOperand(1),
-                                      CE->getOperand(2),
-                                      CE->getName(),
-                                      InsertPt);
-        break;
-
-    case Instruction:: ExtractElement:
-    case Instruction:: InsertElement:
-    case Instruction:: ShuffleVector:
-    case Instruction:: InsertValue:
-    default:
-        assert (0 && "Unhandled constant expression!\n");
-        break;
-    }
-
-    //
-    // Update the statistics.
-    //
+    if (CE->getOpcode() == Instruction::GetElementPtr)
+        ++GEPChanges;
     ++TotalChanges;
-
-    return NewInst;
+    Instruction* Result = CE->getAsInstruction();
+    Result->insertBefore(InsertPt);
+    return Result;
 }
 
 //

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.294",
+  "version": "1.0.295",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {