svf-tools 1.0.749 → 1.0.751

package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html

@@ -117,8 +117,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a976cc9df05994e7e1b11fcdd22febcc5 inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7d81c86ea5e1f8e313457862e19c2a3c inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a> (void)=delete</td></tr>
 <tr class="separator:a7d81c86ea5e1f8e313457862e19c2a3c inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1c957a51460975ffe0834e782d12c8aa inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFInstruction.html#a1c957a51460975ffe0834e782d12c8aa">print</a> (<a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;os) const override</td></tr>
-<tr class="separator:a1c957a51460975ffe0834e782d12c8aa inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae009f41cbf48d949d4325e08fe8d7198 inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">getParent</a> () const</td></tr>
 <tr class="separator:ae009f41cbf48d949d4325e08fe8d7198 inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a281d6b024afeeb96bac281eb23ce3f1f inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b">InstVec</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">getSuccInstructions</a> ()</td></tr>
@@ -163,8 +161,9 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a> () const</td></tr>
 <tr class="separator:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1222d0800de27d27078e6b4a5371beb3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a> () const</td></tr>
-<tr class="separator:a1222d0800de27d27078e6b4a5371beb3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a> () const</td></tr>
+<tr class="memdesc:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Needs to be implemented by a <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> front end.  <a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">More...</a><br /></td></tr>
+<tr class="separator:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
 Static Public Member Functions</h2></td></tr>
@@ -256,7 +255,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="SVFValue_8h_source.html#l00665">665</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00655">655</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a6cdb5b727c559d3c041aba94e6f64596"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a6cdb5b727c559d3c041aba94e6f64596">&#9670;&nbsp;</a></span>SVFCallInst() <span class="overload">[1/2]</span></h2>
@@ -310,11 +309,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00690">690</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;                                                                                                     :</div>
-<div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
-<div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;    {</div>
-<div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00680">680</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;                                                                                                     :</div>
+<div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(ty, <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>, tm, <span class="keyword">false</span>, k), <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>(va), <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>(<span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;    {</div>
+<div class="line"><a name="l00683"></a><span class="lineno">  683</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -371,10 +370,10 @@ Additional Inherited Members</h2></td></tr>
 
 <p>attributes to be set only through Module builders e.g., LLVMModule </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00679">679</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;    {</div>
-<div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
-<div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00669">669</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;    {</div>
+<div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.push_back(<a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>);</div>
+<div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -401,10 +400,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00708">708</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    {</div>
-<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
-<div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00698">698</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;    {</div>
+<div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.empty();</div>
+<div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -431,10 +430,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00704">704</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    {</div>
-<div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
-<div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00694">694</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    {</div>
+<div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div>
+<div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -462,10 +461,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00700">700</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    {</div>
-<div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
-<div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00690">690</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    {</div>
+<div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
+<div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -493,10 +492,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00696">696</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    {</div>
-<div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
-<div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00686">686</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;    {</div>
+<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> || node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a>;</div>
+<div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -524,11 +523,11 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00712">712</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;    {</div>
-<div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;        assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
-<div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
-<div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00702">702</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;    {</div>
+<div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;        assert(i &lt; <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() &amp;&amp; <span class="stringliteral">&quot;out of bound access of the argument&quot;</span>);</div>
+<div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>[i];</div>
+<div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -555,10 +554,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00729">729</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;    {</div>
-<div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;        <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
-<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00719">719</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;    {</div>
+<div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;        <span class="keywordflow">return</span> SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div>
+<div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -585,10 +584,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00721">721</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;    {</div>
-<div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
-<div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00711">711</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;    {</div>
+<div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div>
+<div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -615,10 +614,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00733">733</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;    {</div>
-<div class="line"><a name="l00735"></a><span class="lineno">  735</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
-<div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00723">723</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    {</div>
+<div class="line"><a name="l00725"></a><span class="lineno">  725</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div>
+<div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -645,10 +644,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00717">717</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;    {</div>
-<div class="line"><a name="l00719"></a><span class="lineno">  719</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
-<div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00707">707</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    {</div>
+<div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div>
+<div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -675,10 +674,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00725">725</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;    {</div>
-<div class="line"><a name="l00727"></a><span class="lineno">  727</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
-<div class="line"><a name="l00728"></a><span class="lineno">  728</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00715">715</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;    {</div>
+<div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div>
+<div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -706,10 +705,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00683">683</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;    {</div>
-<div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
-<div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00673">673</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;    {</div>
+<div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div>
+<div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -734,7 +733,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00669">669</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00659">659</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -758,7 +757,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00670">670</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00660">660</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -782,7 +781,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00668">668</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00658">658</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -806,7 +805,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00667">667</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00657">657</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -831,7 +830,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00673">673</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00663">663</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -855,7 +854,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00675">675</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00665">665</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -879,7 +878,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00674">674</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00664">664</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -887,15 +886,15 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/include/SVFIR/<a class="el" href="SVFValue_8h_source.html">SVFValue.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00649">SVFValue.h:649</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html_aef7ad257ea809101df33779463907f3e"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">SVF::SVFInstruction::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00639">SVFValue.h:639</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdeci">@ SVFVCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00166">SVFValue.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdeci">@ SVFCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00165">SVFValue.h:165</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00673">SVFValue.h:673</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00675">SVFValue.h:675</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00674">SVFValue.h:674</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_affe1e1d74a71c17a7fb8a9a145bd9524"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">SVF::SVFCallInst::args</a></div><div class="ttdeci">std::vector&lt; const SVFValue * &gt; args</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00663">SVFValue.h:663</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a23ee9dbaa0052ef41ce2d75f1dc36491"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst::calledVal</a></div><div class="ttdeci">const SVFValue * calledVal</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00665">SVFValue.h:665</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a4280d986cfa4ebd0a1c4b6c63bb13eb6"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">SVF::SVFCallInst::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00664">SVFValue.h:664</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a7d81c86ea5e1f8e313457862e19c2a3c"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction::SVFInstruction</a></div><div class="ttdeci">SVFInstruction(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00704">SVFValue.h:704</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a496d0e963f0f6a4f9c08183fa91792b0"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">SVF::SVFCallInst::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00694">SVFValue.h:694</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html

@@ -84,41 +84,40 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">name</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#af0a0450734cd29e46d56a16b369d8e01">print</a>(OutStream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">ptrInUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">setConstDataOrAggData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97">setName</a>(const std::string &amp;n)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a12db87881a5bfae7638aa8ad68f3214c">setName</a>(std::string &amp;&amp;n)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a>(const std::string &amp;sourceCodeInfo)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVFConstant</a>(const SVFType *ty, SVFValKind k=SVFConst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVFValue</a>(const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec">ptrInUncalledFun</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6">ptrInUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">setConstDataOrAggData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97">setName</a>(const std::string &amp;n)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a12db87881a5bfae7638aa8ad68f3214c">setName</a>(std::string &amp;&amp;n)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a>(const std::string &amp;sourceCodeInfo)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd">sourceLoc</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVFArg</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVFBB</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVFCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVFConst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVFConstant</a>(const SVFType *ty, SVFValKind k=SVFConst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVFConstant</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVFConstData</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVFMetaAsValue</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea582b0563ca6cb659fe6811b50c5b6ad0">SVFOther</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVFValue</a>(const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>