npm - svf-tools - Versions diffs - 1.0.425 → 1.0.428 - Mend

svf-tools 1.0.425 → 1.0.428

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (584) hide show

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

@@ -313,7 +313,7 @@ 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="VFGNode_8h_source.html#l01101">1101</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01087">1087</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a8fd98ccfe53959fd3cc67070e8d03a43"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a8fd98ccfe53959fd3cc67070e8d03a43">&#9670;&nbsp;</a></span>InterPHIVFGNode() <span class="overload">[1/2]</span></h2>
@@ -351,11 +351,11 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor interPHI for formal parameter. </p>
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01106">1106</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160;: <a class="code" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(<span class="keywordtype">id</span>, fp-&gt;getParam(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>(fp-&gt;getFun()),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>(<span class="keyword">nullptr</span>) {}</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00381">VFG.cpp:381</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01092">1092</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160;: <a class="code" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(<span class="keywordtype">id</span>, fp-&gt;getParam(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>(fp-&gt;getFun()),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>(<span class="keyword">nullptr</span>) {}</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00381">VFG.cpp:381</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01155">VFGNode.h:1155</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01156">VFGNode.h:1156</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01141">VFGNode.h:1141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -395,11 +395,11 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor interPHI for actual return. </p>
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01108">1108</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160;: <a class="code" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(<span class="keywordtype">id</span>, ar-&gt;getRev(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>), <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>(ar-&gt;getCaller()),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>(ar-&gt;getCallSite()) {}</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00381">VFG.cpp:381</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01094">1094</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160;: <a class="code" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">PHIVFGNode</a>(<span class="keywordtype">id</span>, ar-&gt;getRev(), <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>), <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>(ar-&gt;getCaller()),<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>(ar-&gt;getCallSite()) {}</div><div class="ttc" id="classSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00381">VFG.cpp:381</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01155">VFGNode.h:1155</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01156">VFGNode.h:1156</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01141">VFGNode.h:1141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -430,8 +430,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01134">1134</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160;    {</div><div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01120">1120</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160;    {</div><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a9363508afb598d53d0deaedefdd8a01c"></a>
@@ -458,8 +458,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01138">1138</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;    {</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01124">1124</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160;    {</div><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -487,8 +487,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01142">1142</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160;    {</div><div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01128">1128</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160;    {</div><div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -516,8 +516,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01146">1146</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;    {</div><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01132">1132</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01133"></a><span class="lineno"> 1133</span>&#160;    {</div><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160;        <span class="keywordflow">return</span> node-&gt;getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a>;</div><div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -544,10 +544,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01126">1126</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160;    {</div><div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a actual return phi&quot;</span>);</div><div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>;</div><div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_aacfd7f1e99e246283191f41d44567ed4"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">SVF::InterPHIVFGNode::isActualRetPHI</a></div><div class="ttdeci">bool isActualRetPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01115">VFGNode.h:1115</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01156">VFGNode.h:1156</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01112">1112</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    {</div><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>() &amp;&amp; <span class="stringliteral">&quot;expect a actual return phi&quot;</span>);</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a>;</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_aacfd7f1e99e246283191f41d44567ed4"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">SVF::InterPHIVFGNode::isActualRetPHI</a></div><div class="ttdeci">bool isActualRetPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01101">VFGNode.h:1101</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -578,11 +578,11 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>.</p>
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01120">1120</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160;    {</div><div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>() || <a class="code" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>())  &amp;&amp; <span class="stringliteral">&quot;expect a formal parameter phi&quot;</span>);</div><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>;</div><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6049300f916dd23f34d9cacccc7e3ea7"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">SVF::InterPHIVFGNode::isFormalParmPHI</a></div><div class="ttdeci">bool isFormalParmPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01110">VFGNode.h:1110</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01155">VFGNode.h:1155</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_aacfd7f1e99e246283191f41d44567ed4"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">SVF::InterPHIVFGNode::isActualRetPHI</a></div><div class="ttdeci">bool isActualRetPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01115">VFGNode.h:1115</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01106">1106</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160;    {</div><div class="line"><a name="l01108"></a><span class="lineno"> 1108</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>() || <a class="code" href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">isActualRetPHI</a>())  &amp;&amp; <span class="stringliteral">&quot;expect a formal parameter phi&quot;</span>);</div><div class="line"><a name="l01109"></a><span class="lineno"> 1109</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>;</div><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6049300f916dd23f34d9cacccc7e3ea7"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">SVF::InterPHIVFGNode::isFormalParmPHI</a></div><div class="ttdeci">bool isFormalParmPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01096">VFGNode.h:1096</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01141">VFGNode.h:1141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_aacfd7f1e99e246283191f41d44567ed4"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#aacfd7f1e99e246283191f41d44567ed4">SVF::InterPHIVFGNode::isActualRetPHI</a></div><div class="ttdeci">bool isActualRetPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01101">VFGNode.h:1101</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -609,9 +609,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01115">1115</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;    {</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a> != <span class="keyword">nullptr</span>);</div><div class="line"><a name="l01118"></a><span class="lineno"> 1118</span>&#160;    }</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01155">VFGNode.h:1155</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01156">VFGNode.h:1156</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01101">1101</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160;    {</div><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a> != <span class="keyword">nullptr</span>);</div><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160;    }</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01141">VFGNode.h:1141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -638,9 +638,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01110">1110</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160;    {</div><div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a> == <span class="keyword">nullptr</span>);</div><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    }</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01155">VFGNode.h:1155</a></div></div>
-<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01156">VFGNode.h:1156</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01096">1096</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160;    {</div><div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">fun</a>!=<span class="keyword">nullptr</span>) &amp;&amp; (<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">callInst</a> == <span class="keyword">nullptr</span>);</div><div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160;    }</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a5aa8e8a10a5c30f2f4669c9190e18740"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01141">VFGNode.h:1141</a></div></div>
+<div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6a8b370c8de218abf89cf00a72d3cd0c"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode::callInst</a></div><div class="ttdeci">const CallICFGNode * callInst</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -670,9 +670,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea">SVF::PHIVFGNode</a>.</p>
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00312">312</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;                                                {</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    std::string str;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>())</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;FormalParmPHI ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;ActualRetPHI ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;}</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6049300f916dd23f34d9cacccc7e3ea7"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">SVF::InterPHIVFGNode::isFormalParmPHI</a></div><div class="ttdeci">bool isFormalParmPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01110">VFGNode.h:1110</a></div></div>
-<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00651">VFGNode.h:651</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;                                                {</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    std::string str;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">isFormalParmPHI</a>())</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;FormalParmPHI ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;ActualRetPHI ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">res</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">getValue</a>());</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;}</div><div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a6049300f916dd23f34d9cacccc7e3ea7"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a6049300f916dd23f34d9cacccc7e3ea7">SVF::InterPHIVFGNode::isFormalParmPHI</a></div><div class="ttdeci">bool isFormalParmPHI() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01096">VFGNode.h:1096</a></div></div>
+<div class="ttc" id="classSVF_1_1PHIVFGNode_html_a513b2636967a86902f4243dc0d2e0e3f"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f">SVF::PHIVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00637">VFGNode.h:637</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00096">SVFVariables.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
@@ -700,7 +700,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01156">1156</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01142">1142</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div>
 </div>
@@ -724,7 +724,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01155">1155</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01141">1141</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div>
 </div>

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

@@ -452,7 +452,7 @@ Additional Inherited Members</h2></td></tr>
 <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;    std::string str;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a>() == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;] (branchCondition:&quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a>() &lt;&lt; <span class="stringliteral">&quot;) (succCondValue: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">getSuccessorCondValue</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span>;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a6a4ba7a362bae8bff69ccad07df61119"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a6a4ba7a362bae8bff69ccad07df61119">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s32_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00141">ICFGEdge.h:141</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraCFGEdge_html_ac13be3c3ee581e20974ce4527a3cfe7b"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">SVF::IntraCFGEdge::getCondition</a></div><div class="ttdeci">const Value * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00137">ICFGEdge.h:137</a></div></div>
 </div><!-- fragment -->
 </div>

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

@@ -400,7 +400,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00351">351</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;                                                 {</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    std::string str;</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;IntraDirSVFGEdge: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -483,7 +483,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00152">152</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</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">if</span> (inters.find(cpts) != inters.end())</div><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="comment">// Skip this cpts if it is already in the map.</span></div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <span class="keywordflow">return</span>;</div><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">else</span> <span class="keywordflow">if</span> (cpts.count() == 1)</div><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="comment">// If this cpts has only one element, it will not intersect with any cpts in inters,</span></div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="comment">// just add it into intersection set.</span></div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;        inters.insert(cpts);</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span>;</div><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">else</span></div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    {</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> toBeDeleted;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> newInters;</div><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;        <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> cpts_copy = cpts;    <span class="comment">// make a copy since cpts may be changed.</span></div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;        <span class="comment">// check intersections with existing cpts in subSetMap</span></div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;        <span class="keywordflow">for</span> (PointsToList::const_iterator interIt = inters.begin(), interEit = inters.end();</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                interIt != interEit; ++interIt)</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        {</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; inter = *interIt;</div><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">if</span> (cpts_copy.intersects(inter))</div><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="comment">// compute intersection between cpts and inter</span></div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;                <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> new_inter = inter;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;                new_inter &amp;= cpts_copy;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;                <span class="comment">// remove old intersection and add new one if possible</span></div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;                <span class="keywordflow">if</span> (new_inter != inter)</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                {</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;                    toBeDeleted.insert(inter);</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                    newInters.insert(new_inter);</div><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;                    <span class="comment">// compute complement after intersection</span></div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;                    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> complement = inter;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                    complement.intersectWithComplement(new_inter);</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;                    <span class="keywordflow">if</span> (complement.empty() == <span class="keyword">false</span>)</div><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;                        newInters.insert(complement);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;                    }</div><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;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;                cpts_copy.intersectWithComplement(new_inter);</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;                <span class="keywordflow">if</span> (cpts_copy.empty())</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;                    <span class="keywordflow">break</span>;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;            }</div><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;</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="comment">// remove old intersections</span></div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">for</span> (PointsToList::const_iterator it = toBeDeleted.begin(), eit = toBeDeleted.end();</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;                it != eit; ++it)</div><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="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; temp_cpts = *it;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;            inters.erase(temp_cpts);</div><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;</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        <span class="comment">// add new intersections</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;        <span class="keywordflow">for</span> (PointsToList::const_iterator it = newInters.begin(), eit = newInters.end();</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;                it != eit; ++it)</div><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;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; temp_cpts = *it;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;            inters.insert(temp_cpts);</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        }</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        <span class="comment">// add remaining set into inters</span></div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <span class="keywordflow">if</span> (cpts_copy.empty() == <span class="keyword">false</span>)</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;            inters.insert(cpts_copy);</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_1MRGenerator_html_a8b254a0c5063e25f297d1b00fb0b515e"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator::PointsToList</a></div><div class="ttdeci">OrderedSet&lt; NodeBS, SVFUtil::equalNodeBS &gt; PointsToList</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00139">MemRegion.h:139</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -711,7 +711,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00241">241</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;{</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    PointsToList::const_iterator it = inters.begin();</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    PointsToList::const_iterator eit = inters.end();</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    {</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; inter = *it;</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <span class="keywordflow">if</span> (cpts.contains(inter))</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        {</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;            <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a> mr(inter);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            MRSet::iterator mit = <a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.find(&amp;mr);</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(mit!=<a class="code" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a>.end() &amp;&amp; <span class="stringliteral">&quot;memory region not found!!&quot;</span>);</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;            mrs.insert(*mit);</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        }</div><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;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_af94bd8155a23273aab2396334d905119"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator::memRegSet</a></div><div class="ttdeci">MRSet memRegSet</div><div class="ttdoc">A set of All memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00274">MemRegion.h:274</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 <div class="ttc" id="classSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00051">MemRegion.h:51</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -806,13 +806,13 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented in <a class="el" href="classSVF_1_1InterDisjointMRG.html#a807cf159e53c2fb2903296207185dda0">SVF::InterDisjointMRG</a>.</p>
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00122">122</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;{</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keywordflow">for</span>(FunToPointsTosMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    {</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = *cit;</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;            <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters = <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(fun);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">computeIntersections</a>(cpts, inters);</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        }</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters = <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(fun);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="keywordflow">for</span> (PointsToList::const_iterator interIt = inters.begin(), interEit = inters.end();</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                interIt != interEit; ++interIt)</div><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;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; inter = *interIt;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">createDisjointMR</a>(fun, inter);</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="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00219">BasicTypes.h:219</a></div></div>
+<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;{</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keywordflow">for</span>(FunToPointsTosMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    {</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = *cit;</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;            <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters = <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(fun);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">computeIntersections</a>(cpts, inters);</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        }</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters = <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(fun);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="keywordflow">for</span> (PointsToList::const_iterator interIt = inters.begin(), interEit = inters.end();</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                interIt != interEit; ++interIt)</div><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;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; inter = *interIt;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">createDisjointMR</a>(fun, inter);</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="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00184">BasicTypes.h:184</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_adb3ed119aee3f1bc62b9679ee095580d"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">SVF::IntraDisjointMRG::computeIntersections</a></div><div class="ttdeci">void computeIntersections(const NodeBS &amp;cpts, PointsToList &amp;inters)</div><div class="ttdoc">Compute intersections between cpts and computed cpts intersections before. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00152">MemPartition.cpp:152</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a1331e6f0941838064d77a5adaa5c6303"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator::getFunToPointsToList</a></div><div class="ttdeci">FunToPointsTosMap &amp; getFunToPointsToList()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00367">MemRegion.h:367</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a8b254a0c5063e25f297d1b00fb0b515e"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator::PointsToList</a></div><div class="ttdeci">OrderedSet&lt; NodeBS, SVFUtil::equalNodeBS &gt; PointsToList</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00139">MemRegion.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a17d0ad0c62982d2b03121e935469e7b2"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">SVF::IntraDisjointMRG::createDisjointMR</a></div><div class="ttdeci">void createDisjointMR(const SVFFunction *func, const NodeBS &amp;cpts)</div><div class="ttdoc">Create disjoint memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00232">MemPartition.cpp:232</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_aa8c653e895ff0889615cdbf349be7652"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">SVF::IntraDisjointMRG::getIntersList</a></div><div class="ttdeci">PointsToList &amp; getIntersList(const SVFFunction *func)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00120">MemPartition.h:120</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -444,7 +444,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;                                              {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    std::string str;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;IntraICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785">getInst</a>()) &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt : <a class="code" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>())</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; stmt-&gt;toString();</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>().<a class="code" href="cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e">empty</a>())</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785">getInst</a>());</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a5beb39637a978181c7c17714ac96672e"><div class="ttname"><a href="cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e">empty</a></div><div class="ttdeci">static DdNode * empty</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l28567">cuddInt.c:28567</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00080">ICFGNode.h:80</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>

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

@@ -406,7 +406,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00143">143</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;                                                 {</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    std::string str;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;IntraIndSVFGEdge: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -625,7 +625,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00111">111</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                                                     {</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    std::string str;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;IntraMSSAPHISVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">MSSAPHISVFGNode::toString</a>();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;}</div><div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a2409c01221b9a6632655cee43d1b35e4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00249">SVFBasicTypes.h:249</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00095">SVFG.cpp:95</a></div></div>