svf-tools 1.0.769 → 1.0.771

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

@@ -1133,6 +1133,10 @@ Typedefs</h2></td></tr>
 <tr class="separator:a292a6e8c5b4f2023b5575879c57eca62"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af4912ad47e19060e53b665f73e0ee6ec"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a></td></tr>
 <tr class="separator:af4912ad47e19060e53b665f73e0ee6ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a255efa5be786996cbdd0c1f3d98b8400"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, const <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SuccBBAndCondValPair</a></td></tr>
+<tr class="separator:a255efa5be786996cbdd0c1f3d98b8400"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8de26e1810ea0c3b1e8ad62f1c8a864d"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SuccBBAndCondValPair</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SuccBBAndCondValPairVec</a></td></tr>
+<tr class="separator:a8de26e1810ea0c3b1e8ad62f1c8a864d"><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="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>
@@ -1880,7 +1884,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00245">245</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00249">249</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2072,7 +2076,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00243">243</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00247">247</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2088,7 +2092,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00247">247</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00251">251</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2378,7 +2382,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00232">232</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00236">236</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2394,7 +2398,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00234">234</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00238">238</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2410,7 +2414,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00230">230</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00234">234</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2426,7 +2430,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00231">231</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00235">235</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2442,7 +2446,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00236">236</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00240">240</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2458,7 +2462,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00237">237</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00241">241</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2490,7 +2494,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00235">235</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00239">239</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2506,7 +2510,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00233">233</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00237">237</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2522,7 +2526,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00229">229</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00233">233</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2538,7 +2542,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00238">238</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00242">242</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3242,7 +3246,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00244">244</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00248">248</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3420,7 +3424,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00242">242</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00246">246</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4282,7 +4286,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="BasicTypes_8h_source.html#l00257">257</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00261">261</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4380,7 +4384,7 @@ template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&l
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00253">253</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00257">257</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4396,7 +4400,7 @@ template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&l
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00250">250</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00254">254</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4412,7 +4416,7 @@ template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&l
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00254">254</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00258">258</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4428,7 +4432,7 @@ template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&l
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00251">251</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00255">255</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4444,7 +4448,7 @@ template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&l
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00252">252</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00256">256</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4610,7 +4614,39 @@ 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="BasicTypes_8h_source.html#l00269">269</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00273">273</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="a255efa5be786996cbdd0c1f3d98b8400"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a255efa5be786996cbdd0c1f3d98b8400">&#9670;&nbsp;</a></span>SuccBBAndCondValPair</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::pair&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*, const <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>*&gt; <a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF::SuccBBAndCondValPair</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="a8de26e1810ea0c3b1e8ad62f1c8a864d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8de26e1810ea0c3b1e8ad62f1c8a864d">&#9670;&nbsp;</a></span>SuccBBAndCondValPairVec</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::vector&lt;<a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SuccBBAndCondValPair</a>&gt; <a class="el" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00183">183</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4932,7 +4968,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="BasicTypes_8h_source.html#l00260">260</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00264">264</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -8544,7 +8580,7 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a4cabef62b821efb0c88efb304fd0a70c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF::getType</a></div><div class="ttdeci">DEFTYPE getType() const</div><div class="ttdoc">Return type of this CHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00360">MSSAMuChi.h:360</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a499ce9b5ddc1be98376f5a5791b38c86"><div class="ttname"><a href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00032">SVFFileSystem.h:32</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00854">SVFFileSystem.cpp:854</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00952">SVFFileSystem.cpp:952</a></div></div>