svf-tools 1.0.460 → 1.0.463

package/SVF-doxygen/html/html/globals_s.html

@@ -273,12 +273,12 @@ $(function() {
 <li>stopping_criterion()
 : <a class="el" href="cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03">cuddInt.c</a>
 </li>
-<li>STOREDD
-: <a class="el" href="cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5">cuddInt.c</a>
-</li>
 <li>storedd
 : <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
 </li>
+<li>STOREDD
+: <a class="el" href="cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5">cuddInt.c</a>
+</li>
 <li>strcat()
 : <a class="el" href="util_8h.html#ae726f8c6b65e180aacfb570a35dc8375">util.h</a>
 </li>

package/SVF-doxygen/html/html/globals_type.html

@@ -136,6 +136,9 @@ $(function() {
 
 
 <h3><a id="index_d"></a>- d -</h3><ul>
+<li>DataLayout
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">BasicTypes.h</a>
+</li>
 <li>DD_CHKFP
 : <a class="el" href="cuddInt_8c.html#a94244e1e57121ccd0fe8530c9a5f10cc">cuddInt.c</a>
 </li>
@@ -214,6 +217,12 @@ $(function() {
 <li>DIBasicType
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">BasicTypes.h</a>
 </li>
+<li>DICompositeType
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">BasicTypes.h</a>
+</li>
+<li>DIDerivedType
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">BasicTypes.h</a>
+</li>
 <li>DINode
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">BasicTypes.h</a>
 </li>
@@ -226,6 +235,9 @@ $(function() {
 <li>DISubroutineType
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">BasicTypes.h</a>
 </li>
+<li>DIType
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">BasicTypes.h</a>
+</li>
 <li>DITypeRefArray
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">BasicTypes.h</a>
 </li>
@@ -265,6 +277,9 @@ $(function() {
 <li>GetElementPtrInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">BasicTypes.h</a>
 </li>
+<li>GlobalObject
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">BasicTypes.h</a>
+</li>
 </ul>
 
 

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -784,8 +784,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a7875172ff434b2210eea7cecfbbd959e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1f4624771922dc8c2447ad7433588c73"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallBase&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">CallBase</a></td></tr>
 <tr class="separator:a1f4624771922dc8c2447ad7433588c73"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af157dc77830b6cc804338df7430cbbb3"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalObject&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a></td></tr>
-<tr class="separator:af157dc77830b6cc804338df7430cbbb3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">GlobalValue</a></td></tr>
 <tr class="separator:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalVariable&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a></td></tr>
@@ -812,9 +810,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:aa962cc1d782cc46553251e96b64a754b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6ec0236303089a01fd9da36a8bb84e0a"><td class="memItemLeft" align="right" valign="top">typedef llvm::FunctionType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">FunctionType</a></td></tr>
 <tr class="separator:a6ec0236303089a01fd9da36a8bb84e0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a03db82b8a7914367024723dba4d6ca3c"><td class="memItemLeft" align="right" valign="top">typedef llvm::DataLayout&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a></td></tr>
-<tr class="memdesc:a03db82b8a7914367024723dba4d6ca3c"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM data layout.  <a href="#a03db82b8a7914367024723dba4d6ca3c">More...</a><br /></td></tr>
-<tr class="separator:a03db82b8a7914367024723dba4d6ca3c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a58cdfbc4160cae08745b67844ac29801"><td class="memItemLeft" align="right" valign="top">typedef llvm::Argument&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">Argument</a></td></tr>
 <tr class="memdesc:a58cdfbc4160cae08745b67844ac29801"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants.  <a href="#a58cdfbc4160cae08745b67844ac29801">More...</a><br /></td></tr>
 <tr class="separator:a58cdfbc4160cae08745b67844ac29801"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -858,13 +853,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a2eae2d6648dd6715421bd7af67d57637"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3d9e7f32dc17fe8d40f8d6a011403b91"><td class="memItemLeft" align="right" valign="top">typedef llvm::IntegerType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">IntegerType</a></td></tr>
 <tr class="separator:a3d9e7f32dc17fe8d40f8d6a011403b91"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad127b0ad478640ede3d426e3a58d2632"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a></td></tr>
-<tr class="memdesc:ad127b0ad478640ede3d426e3a58d2632"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM debug information.  <a href="#ad127b0ad478640ede3d426e3a58d2632">More...</a><br /></td></tr>
-<tr class="separator:ad127b0ad478640ede3d426e3a58d2632"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aded9b991c77acc5284ccead0739e84f1"><td class="memItemLeft" align="right" valign="top">typedef llvm::DICompositeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a></td></tr>
-<tr class="separator:aded9b991c77acc5284ccead0739e84f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a852e75c562139237fcc754c7461533e6"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIDerivedType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a></td></tr>
-<tr class="separator:a852e75c562139237fcc754c7461533e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a89c7208bfc0b57873dfa574f52050295"><td class="memItemLeft" align="right" valign="top">typedef llvm::DISubprogram&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295">DISubprogram</a></td></tr>
 <tr class="separator:a89c7208bfc0b57873dfa574f52050295"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab3532a31724d8719d29aa4c3521ca215"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CondVar.html">CondVar</a>&lt; <a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">CxtVar</a></td></tr>
@@ -1072,7 +1060,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Aliases and constants. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1088,7 +1076,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1138,7 +1126,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Instructions. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1218,7 +1206,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1234,7 +1222,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1250,7 +1238,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1266,7 +1254,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1334,56 +1322,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00360">360</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
 
-</div>
-</div>
-<a id="a03db82b8a7914367024723dba4d6ca3c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a03db82b8a7914367024723dba4d6ca3c">&#9670;&nbsp;</a></span>DataLayout</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::DataLayout <a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>LLVM data layout. </p>
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="aded9b991c77acc5284ccead0739e84f1"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aded9b991c77acc5284ccead0739e84f1">&#9670;&nbsp;</a></span>DICompositeType</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::DICompositeType <a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a852e75c562139237fcc754c7461533e6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a852e75c562139237fcc754c7461533e6">&#9670;&nbsp;</a></span>DIDerivedType</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::DIDerivedType <a class="el" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a89c7208bfc0b57873dfa574f52050295"></a>
@@ -1398,25 +1336,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ad127b0ad478640ede3d426e3a58d2632"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad127b0ad478640ede3d426e3a58d2632">&#9670;&nbsp;</a></span>DIType</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::DIType <a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>LLVM debug information. </p>
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1434,7 +1354,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Dominators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1450,7 +1370,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1466,7 +1386,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1482,7 +1402,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1594,7 +1514,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1992,23 +1912,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="af157dc77830b6cc804338df7430cbbb3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af157dc77830b6cc804338df7430cbbb3">&#9670;&nbsp;</a></span>GlobalObject</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::GlobalObject <a class="el" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF::GlobalObject</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2024,7 +1928,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2040,7 +1944,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2056,7 +1960,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2088,7 +1992,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2136,7 +2040,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2184,7 +2088,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2200,7 +2104,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2234,7 +2138,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2250,7 +2154,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2316,7 +2220,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
 
 <p>LLVM metadata. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2576,7 +2480,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00636">636</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00635">635</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
 
 </div>
 </div>
@@ -2640,7 +2544,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2672,7 +2576,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2688,7 +2592,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2706,7 +2610,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p>LLVM outputs. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2820,7 +2724,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2854,7 +2758,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p>LLVM types. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2872,7 +2776,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p>LLVM Iterators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3002,7 +2906,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3334,8 +3238,8 @@ template&lt;typename F , typename S &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00289">289</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;{</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00281">281</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;{</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aa01b96d5bc6c3930b0bfca789acf75c4"></a>