svf-tools 1.0.573 → 1.0.574

package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html

@@ -84,8 +84,6 @@ Inheritance diagram for SVF::SVFFunction:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:aed73a0604a9fc5b6560ce87cfeaa3944"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVFFunction</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;val)</td></tr>
-<tr class="separator:aed73a0604a9fc5b6560ce87cfeaa3944"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae7a55d86a87088f7d70254980e4325b3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVFFunction</a> (<a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *f)</td></tr>
 <tr class="separator:ae7a55d86a87088f7d70254980e4325b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f26d10b95201148e0ef54ee7ad9e022"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a9f26d10b95201148e0ef54ee7ad9e022">SVFFunction</a> (<a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *f, <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *<a class="el" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>, std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&gt; <a class="el" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>)</td></tr>
@@ -118,6 +116,12 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:abee75ed6f0e1625fb9fe2d5518e0c94c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abea5ab1cb4a27dee1c7b7c718ab0b722"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#abea5ab1cb4a27dee1c7b7c718ab0b722">getDomFrontierMap</a> ()</td></tr>
 <tr class="separator:abea5ab1cb4a27dee1c7b7c718ab0b722"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8d9140ca8da3d17135faa9dfcc6ecc43"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb) const</td></tr>
+<tr class="separator:a8d9140ca8da3d17135faa9dfcc6ecc43"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aff9c71d1f1546a19807abfe2af20ca7d"><td class="memItemLeft" align="right" valign="top">const std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#aff9c71d1f1546a19807abfe2af20ca7d">getLoopInfo</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb) const</td></tr>
+<tr class="separator:aff9c71d1f1546a19807abfe2af20ca7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac4401ffe8c5dae19839c0a2ec7ea7337"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ac4401ffe8c5dae19839c0a2ec7ea7337">addToBB2LoopMap</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb, const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *loopBB)</td></tr>
+<tr class="separator:ac4401ffe8c5dae19839c0a2ec7ea7337"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae2592f5b8166779cbd1b2542fdcd6d7d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">getPostDomTreeMap</a> () const</td></tr>
 <tr class="separator:ae2592f5b8166779cbd1b2542fdcd6d7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a465774dfabebd2ff4f79e2a7654f0430"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a465774dfabebd2ff4f79e2a7654f0430">getPostDomTreeMap</a> ()</td></tr>
@@ -132,6 +136,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a97b0ad9fd31d7982f44a839605566347"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae7f366f62080286448602698d45ec095"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ae7f366f62080286448602698d45ec095">getExitBB</a> () const</td></tr>
 <tr class="separator:ae7f366f62080286448602698d45ec095"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a27eb0c9d0756068da90302d420f42a2d"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a27eb0c9d0756068da90302d420f42a2d">getExitBlocksOfLoop</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&gt; &amp;exitbbs) const</td></tr>
+<tr class="separator:a27eb0c9d0756068da90302d420f42a2d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a408763a3a95397c5dc1a47fc85d443e9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a408763a3a95397c5dc1a47fc85d443e9">isLoopHeader</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb) const</td></tr>
+<tr class="separator:a408763a3a95397c5dc1a47fc85d443e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3955e86456afe4cc550eb42c84d61c68"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a3955e86456afe4cc550eb42c84d61c68">dominate</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bbKey, const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bbValue) const</td></tr>
 <tr class="separator:a3955e86456afe4cc550eb42c84d61c68"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8e1db3a8be765e23cbb4ec66b9e88e2d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a8e1db3a8be765e23cbb4ec66b9e88e2d">postDominate</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bbKey, const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bbValue) const</td></tr>
@@ -181,6 +189,8 @@ Private Attributes</h2></td></tr>
 <tr class="separator:aa54fb9214e4c1a8b11daaa3e0edd0a6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:afa46555a912e591eaf7b8057c41dc4fe"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a></td></tr>
 <tr class="separator:afa46555a912e591eaf7b8057c41dc4fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3ce143c5204cbed737fc18276ae90788"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a></td></tr>
+<tr class="separator:a3ce143c5204cbed737fc18276ae90788"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
@@ -203,10 +213,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<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>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="aed73a0604a9fc5b6560ce87cfeaa3944"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aed73a0604a9fc5b6560ce87cfeaa3944">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[1/3]</span></h2>
+<a id="ae7a55d86a87088f7d70254980e4325b3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae7a55d86a87088f7d70254980e4325b3">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -217,8 +227,8 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">SVF::SVFFunction::SVFFunction </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;&#160;</td>
-          <td class="paramname"><em>val</em></td><td>)</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td>
+          <td class="paramname"><em>f</em></td><td>)</td>
           <td></td>
         </tr>
       </table>
@@ -229,20 +239,20 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                                     : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(val,<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    {</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                            : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f-&gt;getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f-&gt;isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f-&gt;isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &amp;val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00224">SVFBasicTypes.h:224</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00213">SVFBasicTypes.h:213</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae7a55d86a87088f7d70254980e4325b3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae7a55d86a87088f7d70254980e4325b3">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[2/3]</span></h2>
+<a id="a9f26d10b95201148e0ef54ee7ad9e022"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9f26d10b95201148e0ef54ee7ad9e022">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -254,8 +264,24 @@ Additional Inherited Members</h2></td></tr>
           <td class="memname">SVF::SVFFunction::SVFFunction </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td>
-          <td class="paramname"><em>f</em></td><td>)</td>
+          <td class="paramname"><em>f</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
           <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>exitBB</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&gt;&#160;</td>
+          <td class="paramname"><em>reachableBBs</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
         </tr>
       </table>
   </td>
@@ -265,20 +291,22 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00138">138</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                            : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f-&gt;getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f-&gt;isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f-&gt;isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    {</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                                                                                           : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f-&gt;getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f-&gt;isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f-&gt;isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    {</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &amp;val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00224">SVFBasicTypes.h:224</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00213">SVFBasicTypes.h:213</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9f26d10b95201148e0ef54ee7ad9e022"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9f26d10b95201148e0ef54ee7ad9e022">&#9670;&nbsp;</a></span>SVFFunction() <span class="overload">[3/3]</span></h2>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="ac4401ffe8c5dae19839c0a2ec7ea7337"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac4401ffe8c5dae19839c0a2ec7ea7337">&#9670;&nbsp;</a></span>addToBB2LoopMap()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -287,22 +315,16 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVF::SVFFunction::SVFFunction </td>
+          <td class="memname">void SVF::SVFFunction::addToBB2LoopMap </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td>
-          <td class="paramname"><em>f</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
-          <td class="paramname"><em>exitBB</em>, </td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>bb</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&gt;&#160;</td>
-          <td class="paramname"><em>reachableBBs</em>&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>loopBB</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -317,20 +339,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00143">143</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                                                                                           : <a class="code" href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVFValue</a>(f-&gt;getName().str(),<a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>),</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(f-&gt;isDeclaration()), <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>(f-&gt;isIntrinsic()), <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>(f), <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    {</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_ac42927fed1c213852daceb902478d9c8"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ac42927fed1c213852daceb902478d9c8">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue(const std::string &amp;val, SVFValKind k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00224">SVFBasicTypes.h:224</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00213">SVFBasicTypes.h:213</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00229">229</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    {</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>[bb].push_back(loopBB);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, std::vector&lt; const BasicBlock * &gt; &gt; bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<h2 class="groupheader">Member Function Documentation</h2>
 <a id="a3757cd3ae587eaca488fa4cd8ad3967d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a3757cd3ae587eaca488fa4cd8ad3967d">&#9670;&nbsp;</a></span>arg_size()</h2>
 
@@ -354,8 +367,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    {</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;arg_size();</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;arg_size();</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00141">BasicTypes.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -393,10 +406,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00254">254</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        {</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;        }</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        {</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        }</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keyword">const</span> Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">getDomTreeMap</a>();</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        {</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keyword">const</span> Set&lt;const BasicBlock*&gt; &amp; dtBBs = mapIter-&gt;second;</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;            <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;            {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            }</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        }</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52358a4814f16dc8db4d62f92968f70e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; &amp; getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00229">BasicTypes.h:229</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00129">BasicTypes.h:129</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00239">BasicTypes.h:239</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00298">298</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    {</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        }</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        {</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        }</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keyword">const</span> Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">getDomTreeMap</a>();</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        {</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;            <span class="keyword">const</span> Set&lt;const BasicBlock*&gt; &amp; dtBBs = mapIter-&gt;second;</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;            {</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;            }</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        }</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52358a4814f16dc8db4d62f92968f70e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52358a4814f16dc8db4d62f92968f70e">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; &amp; getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00244">BasicTypes.h:244</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -424,8 +437,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00169">169</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    {</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;getArg(idx);</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    {</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;getArg(idx);</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00141">BasicTypes.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -452,8 +465,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00209">209</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    {</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00130">BasicTypes.h:130</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00202">202</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -480,8 +493,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00214">214</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    {</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00130">BasicTypes.h:130</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00207">207</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    {</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">dfBBsMap</a>;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aa54fb9214e4c1a8b11daaa3e0edd0a6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa54fb9214e4c1a8b11daaa3e0edd0a6b">SVF::SVFFunction::dfBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dfBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -508,8 +521,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00229">229</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    {</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00129">BasicTypes.h:129</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00244">244</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -536,8 +549,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00234">234</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00129">BasicTypes.h:129</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00249">249</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -564,8 +577,50 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00249">249</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00264">264</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a27eb0c9d0756068da90302d420f42a2d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a27eb0c9d0756068da90302d420f42a2d">&#9670;&nbsp;</a></span>getExitBlocksOfLoop()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::SVFFunction::getExitBlocksOfLoop </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>bb</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&gt; &amp;&#160;</td>
+          <td class="paramname"><em>exitbbs</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00269">269</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    {</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a>(bb))</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        {</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            <span class="keyword">const</span> std::vector&lt;const BasicBlock*&gt;&amp; blocks = <a class="code" href="classSVF_1_1SVFFunction.html#aff9c71d1f1546a19807abfe2af20ca7d">getLoopInfo</a>(bb);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            assert(!blocks.empty() &amp;&amp; <span class="stringliteral">&quot;no available loop info?&quot;</span>);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* block : blocks)</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;            {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a> succIt = succ_begin(block); succIt != succ_end(block); succIt++)</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;                {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;                    <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* succ = *succIt;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;                    <span class="keywordflow">if</span> ((std::find(blocks.begin(), blocks.end(), succ)==blocks.end()))</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;                        exitbbs.insert(succ);</div><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;            }</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        }</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00212">BasicTypes.h:212</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00107">BasicTypes.h:107</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_aff9c71d1f1546a19807abfe2af20ca7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aff9c71d1f1546a19807abfe2af20ca7d">SVF::SVFFunction::getLoopInfo</a></div><div class="ttdeci">const std::vector&lt; const BasicBlock * &gt; &amp; getLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00217">BasicTypes.h:217</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -592,8 +647,38 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    {</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> &amp;&amp; <span class="stringliteral">&quot;no LLVM Function found!&quot;</span>);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> &amp;&amp; <span class="stringliteral">&quot;no LLVM Function found!&quot;</span>);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="aff9c71d1f1546a19807abfe2af20ca7d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aff9c71d1f1546a19807abfe2af20ca7d">&#9670;&nbsp;</a></span>getLoopInfo()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const std::vector&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*&gt;&amp; SVF::SVFFunction::getLoopInfo </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>bb</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00217">217</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    {</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        Map&lt;const BasicBlock*, std::vector&lt;const BasicBlock*&gt;&gt;::const_iterator mapIter = <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.find(bb);</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">if</span>(mapIter != <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.end())</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            <span class="keywordflow">return</span> mapIter-&gt;second;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        {</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;            assert(<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a>(bb) &amp;&amp; <span class="stringliteral">&quot;loopinfo does not exit(bb not in a loop)&quot;</span>);</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;            abort();</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        }</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00212">BasicTypes.h:212</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, std::vector&lt; const BasicBlock * &gt; &gt; bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -620,8 +705,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00219">219</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    {</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00234">234</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -648,8 +733,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00224">224</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00239">239</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    {</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">pdtBBsMap</a>;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_afa46555a912e591eaf7b8057c41dc4fe"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#afa46555a912e591eaf7b8057c41dc4fe">SVF::SVFFunction::pdtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; pdtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -676,8 +761,37 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    {</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    {</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a8d9140ca8da3d17135faa9dfcc6ecc43"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8d9140ca8da3d17135faa9dfcc6ecc43">&#9670;&nbsp;</a></span>hasLoopInfo()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::SVFFunction::hasLoopInfo </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>bb</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00212">212</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    {</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.find(bb)!=<a class="code" href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">bb2LoopMap</a>.end();</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a3ce143c5204cbed737fc18276ae90788"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3ce143c5204cbed737fc18276ae90788">SVF::SVFFunction::bb2LoopMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, std::vector&lt; const BasicBlock * &gt; &gt; bb2LoopMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -704,8 +818,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -732,8 +846,38 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    {</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">isIntri</a>;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a29f016522d91f1b78ea05a9334b1c3e3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction::isIntri</a></div><div class="ttdeci">bool isIntri</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a408763a3a95397c5dc1a47fc85d443e9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a408763a3a95397c5dc1a47fc85d443e9">&#9670;&nbsp;</a></span>isLoopHeader()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::SVFFunction::isLoopHeader </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td>
+          <td class="paramname"><em>bb</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00287">287</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    {</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">hasLoopInfo</a>(bb))</div><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;            <span class="keyword">const</span> std::vector&lt;const BasicBlock*&gt;&amp; blocks = <a class="code" href="classSVF_1_1SVFFunction.html#aff9c71d1f1546a19807abfe2af20ca7d">getLoopInfo</a>(bb);</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;            assert(!blocks.empty() &amp;&amp; <span class="stringliteral">&quot;no available loop info?&quot;</span>);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keywordflow">return</span> blocks.front() == bb;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        }</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a8d9140ca8da3d17135faa9dfcc6ecc43"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8d9140ca8da3d17135faa9dfcc6ecc43">SVF::SVFFunction::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00212">BasicTypes.h:212</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_aff9c71d1f1546a19807abfe2af20ca7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aff9c71d1f1546a19807abfe2af20ca7d">SVF::SVFFunction::getLoopInfo</a></div><div class="ttdeci">const std::vector&lt; const BasicBlock * &gt; &amp; getLoopInfo(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00217">BasicTypes.h:217</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -760,8 +904,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00244">244</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00259">259</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    {</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -788,8 +932,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00184">184</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    {</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    {</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -817,8 +961,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00239">239</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    {</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.begin(), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end(), bb)==<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end();</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00254">254</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.begin(), <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end(), bb)==<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>.end();</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -845,8 +989,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    {</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;isVarArg();</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    {</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">getLLVMFun</a>()-&gt;isVarArg();</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00141">BasicTypes.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -884,10 +1028,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00285">285</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    {</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        {</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        }</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        {</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        }</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        <span class="keyword">const</span> Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">getPostDomTreeMap</a>();</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            <span class="keyword">const</span> Set&lt;const BasicBlock*&gt; &amp; dtBBs = mapIter-&gt;second;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;            <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            {</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;            }</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        }</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ae2592f5b8166779cbd1b2542fdcd6d7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">SVF::SVFFunction::getPostDomTreeMap</a></div><div class="ttdeci">const Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; &amp; getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00219">BasicTypes.h:219</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00129">BasicTypes.h:129</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00239">BasicTypes.h:239</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00329">329</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    {</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keywordflow">if</span> (bbKey == bbValue)</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        <span class="comment">// An unreachable node is dominated by anything.</span></div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbValue))</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        {</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        }</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="comment">// And dominates nothing.</span></div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">isUnreachable</a>(bbKey))</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        {</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        }</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <span class="keyword">const</span> Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">dtBBsMap</a> = <a class="code" href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">getPostDomTreeMap</a>();</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;        Map&lt;const BasicBlock*,Set&lt;const BasicBlock*&gt;&gt;::const_iterator mapIter = dtBBsMap.find(bbKey);</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">if</span> (mapIter != dtBBsMap.end())</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;            <span class="keyword">const</span> Set&lt;const BasicBlock*&gt; &amp; dtBBs = mapIter-&gt;second;</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;            <span class="keywordflow">if</span> (dtBBs.find(bbValue) != dtBBs.end())</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            {</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;            }</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        }</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ae2592f5b8166779cbd1b2542fdcd6d7d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae2592f5b8166779cbd1b2542fdcd6d7d">SVF::SVFFunction::getPostDomTreeMap</a></div><div class="ttdeci">const Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; &amp; getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00234">BasicTypes.h:234</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a2fd6f9d86754ebacdd75c4fa8a699c6b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2fd6f9d86754ebacdd75c4fa8a699c6b">SVF::SVFFunction::dtBBsMap</a></div><div class="ttdeci">Map&lt; const BasicBlock *, Set&lt; const BasicBlock * &gt; &gt; dtBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a14831b73bbf2db0d180748f39bd83519"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a14831b73bbf2db0d180748f39bd83519">SVF::SVFFunction::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const BasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -915,8 +1059,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00199">199</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    {</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00192">192</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">exitBB</a>;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a2215730d8469cc3f4bf0c0f16b47a7fc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc">SVF::SVFFunction::exitBB</a></div><div class="ttdeci">BasicBlock * exitBB</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -944,8 +1088,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00194">194</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    {</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = doesNotRet;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00187">187</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = doesNotRet;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -973,9 +1117,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00189">189</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">isUncalledFunction</a>;</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_a325fa699852fdcbcfccfc2112ee29845"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">SVF::SVFFunction::isUncalledFunction</a></div><div class="ttdeci">const bool isUncalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    {</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">isUncalledFunction</a>;</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_a325fa699852fdcbcfccfc2112ee29845"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a325fa699852fdcbcfccfc2112ee29845">SVF::SVFFunction::isUncalledFunction</a></div><div class="ttdeci">const bool isUncalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00177">BasicTypes.h:177</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1003,8 +1147,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00204">204</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    {</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00197">197</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    {</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a> = <a class="code" href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">reachableBBs</a>;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html_a9e58567eeb41a608a580a492d195ec60"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9e58567eeb41a608a580a492d195ec60">SVF::SVFFunction::reachableBBs</a></div><div class="ttdeci">std::vector&lt; const BasicBlock * &gt; reachableBBs</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1024,7 +1168,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00405">405</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;{</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    {</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>-&gt;viewCFG();</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    }</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;{</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    {</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>-&gt;viewCFG();</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    }</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1044,11 +1188,35 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00413">413</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;{</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    {</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>-&gt;viewCFGOnly();</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    }</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;{</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a> != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    {</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">fun</a>-&gt;viewCFGOnly();</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    }</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html_af33c2824b5ca3a44e0467655ae890623"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af33c2824b5ca3a44e0467655ae890623">SVF::SVFFunction::fun</a></div><div class="ttdeci">Function * fun</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
+<a id="a3ce143c5204cbed737fc18276ae90788"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3ce143c5204cbed737fc18276ae90788">&#9670;&nbsp;</a></span>bb2LoopMap</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*,std::vector&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*&gt; &gt; SVF::SVFFunction::bb2LoopMap</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </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="aa54fb9214e4c1a8b11daaa3e0edd0a6b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aa54fb9214e4c1a8b11daaa3e0edd0a6b">&#9670;&nbsp;</a></span>dfBBsMap</h2>
 
@@ -1069,7 +1237,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00130">130</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#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1093,7 +1261,7 @@ Additional Inherited Members</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>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1117,7 +1285,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00125">125</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#l00121">121</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1141,7 +1309,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00124">124</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#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1165,7 +1333,7 @@ Additional Inherited Members</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>
@@ -1189,7 +1357,7 @@ Additional Inherited Members</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>
@@ -1213,7 +1381,7 @@ Additional Inherited Members</h2></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>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1237,7 +1405,7 @@ Additional Inherited Members</h2></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>
+<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>
 
 </div>
 </div>
@@ -1261,7 +1429,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00131">131</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#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1285,7 +1453,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<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>