svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html

@@ -120,8 +120,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:acb5d0311477899abb4c222cd44376c73 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a> () const</td></tr>
 <tr class="separator:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a> () const</td></tr>
-<tr class="separator:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;sourceCodeInfo)</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>
@@ -182,8 +180,6 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:afe1de41ca3215b325d0ca61814c6bd6b inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a> ()</td></tr>
 <tr class="separator:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a> ()</td></tr>
-<tr class="separator:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1SVFValue"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SVFValue')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td></tr>
 <tr class="memitem:afcbdd027f9e6e35a7269f04f5fc77a78 inherit pro_attribs_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td></tr>
 <tr class="memdesc:afcbdd027f9e6e35a7269f04f5fc77a78 inherit pro_attribs_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Type of this <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>.  <a href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">More...</a><br /></td></tr>
@@ -196,7 +192,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#l00968">968</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#l00959">959</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="ad45a296930846892ece8e40c90253622"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad45a296930846892ece8e40c90253622">&#9670;&nbsp;</a></span>SVFBlackHoleValue() <span class="overload">[1/2]</span></h2>
@@ -232,8 +228,8 @@ 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#l00972">972</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;                                                                 : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(_const, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFValue::SVFBlackHole</a>)</div><div class="line"><a name="l00973"></a><span class="lineno">  973</span>&#160;    {</div><div class="line"><a name="l00974"></a><span class="lineno">  974</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00963">963</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00963"></a><span class="lineno">  963</span>&#160;                                                                 : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(_const, ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFValue::SVFBlackHole</a>)</div><div class="line"><a name="l00964"></a><span class="lineno">  964</span>&#160;    {</div><div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFConstantData_html_a057d3aebc842d72d2b89f661d18b6e34"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData::SVFConstantData</a></div><div class="ttdeci">SVFConstantData()=delete</div></div>
 </div><!-- fragment -->
 </div>
@@ -288,8 +284,8 @@ 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#l00977">977</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00978"></a><span class="lineno">  978</span>&#160;    {</div><div class="line"><a name="l00979"></a><span class="lineno">  979</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div><div class="line"><a name="l00980"></a><span class="lineno">  980</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00968">968</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00969"></a><span class="lineno">  969</span>&#160;    {</div><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div><div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -317,8 +313,8 @@ 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#l00981">981</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00982"></a><span class="lineno">  982</span>&#160;    {</div><div class="line"><a name="l00983"></a><span class="lineno">  983</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div><div class="line"><a name="l00984"></a><span class="lineno">  984</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00972">972</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00973"></a><span class="lineno">  973</span>&#160;    {</div><div class="line"><a name="l00974"></a><span class="lineno">  974</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVFBlackHole</a>;</div><div class="line"><a name="l00975"></a><span class="lineno">  975</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eabd75e113e24174dece49fed343d362fa">SVF::SVFValue::SVFBlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00169">SVFValue.h:169</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -92,20 +92,18 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">getSuccInstructions</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</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><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a> typedef</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#a4c46c11c4b1c0f43c80818cf7408703a">hasName</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_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b">InstVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</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#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</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#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_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">isRetInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d">isTerminator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509">LLVMModuleSet</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</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#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><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_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91">setCalledOperand</a>(const SVFValue *v)</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</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#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#afe3fb992ad104c32520172ebd92c2588">setHasName</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_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b">InstVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</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#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</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#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><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">isRetInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html#afbf703f88da59d2b30c14c7d40e5e22d">isTerminator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html#a292de585e06f0f2fe3278c74630f3c05">isVarArg</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509">LLVMModuleSet</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></td><td class="entry"><span class="mlabel">friend</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_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_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91">setCalledOperand</a>(const SVFValue *v)</td><td class="entry"><a class="el" href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</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#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#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>

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

@@ -154,8 +154,6 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:acb5d0311477899abb4c222cd44376c73 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a> () const</td></tr>
 <tr class="separator:ac29e2f5e75cc6916be6a663ca6d51177 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">hasName</a> () const</td></tr>
-<tr class="separator:a4c46c11c4b1c0f43c80818cf7408703a inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">setSourceLoc</a> (const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;sourceCodeInfo)</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>
@@ -191,8 +189,6 @@ Protected Member Functions</h2></td></tr>
 <tr class="separator:afe1de41ca3215b325d0ca61814c6bd6b inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">setPtrInUncalledFunction</a> ()</td></tr>
 <tr class="separator:ac2e5c42d0ac92375c88ef5b3f1b65dc4 inherit pro_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe3fb992ad104c32520172ebd92c2588 inherit pro_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">setHasName</a> ()</td></tr>
-<tr class="separator:afe3fb992ad104c32520172ebd92c2588 inherit pro_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="pri-attribs"></a>
 Private Attributes</h2></td></tr>
@@ -251,7 +247,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#l00644">644</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#l00635">635</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="a1f50ddbbe2e2489b2586fcef07cb57f5"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a1f50ddbbe2e2489b2586fcef07cb57f5">&#9670;&nbsp;</a></span>SVFCallInst() <span class="overload">[1/3]</span></h2>
@@ -311,10 +307,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#l00666">666</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;                                                                                                                         :</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(i, 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="l00668"></a><span class="lineno">  668</span>&#160;    {</div><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00650">SVFValue.h:650</a></div></div>
+<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 class="fragment"><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;                                                                                                                         :</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVFInstruction</a>(i, 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="l00659"></a><span class="lineno">  659</span>&#160;    {</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00641">SVFValue.h:641</a></div></div>
 <div class="ttc" id="cJSON_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>
-<div class="ttc" id="classSVF_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#l00651">SVFValue.h:651</a></div></div>
+<div class="ttc" id="classSVF_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#l00642">SVFValue.h:642</a></div></div>
 <div class="ttc" id="classSVF_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><!-- fragment -->
 </div>
@@ -398,9 +394,9 @@ 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#l00655">655</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    {</div><div class="line"><a name="l00657"></a><span class="lineno">  657</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="l00658"></a><span class="lineno">  658</span>&#160;    }</div><div class="ttc" id="cJSON_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="classSVF_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#l00649">SVFValue.h:649</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00646">646</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;    {</div><div class="line"><a name="l00648"></a><span class="lineno">  648</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="l00649"></a><span class="lineno">  649</span>&#160;    }</div><div class="ttc" id="cJSON_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="classSVF_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#l00640">SVFValue.h:640</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -427,8 +423,8 @@ 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#l00685">685</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;    {</div><div class="line"><a name="l00687"></a><span class="lineno">  687</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="l00688"></a><span class="lineno">  688</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00649">SVFValue.h:649</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00676">676</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00677"></a><span class="lineno">  677</span>&#160;    {</div><div class="line"><a name="l00678"></a><span class="lineno">  678</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="l00679"></a><span class="lineno">  679</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00640">SVFValue.h:640</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -455,8 +451,8 @@ 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#l00681">681</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524">args</a>.size();</div><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00649">SVFValue.h:649</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00672">672</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;    {</div><div class="line"><a name="l00674"></a><span class="lineno">  674</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="l00675"></a><span class="lineno">  675</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00640">SVFValue.h:640</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -484,8 +480,8 @@ 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>
-<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;        <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="l00676"></a><span class="lineno">  676</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
+<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 class="fragment"><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    {</div><div class="line"><a name="l00666"></a><span class="lineno">  666</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="l00667"></a><span class="lineno">  667</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00160">SVFValue.h:160</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -514,8 +510,8 @@ 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#l00677">677</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00678"></a><span class="lineno">  678</span>&#160;    {</div><div class="line"><a name="l00679"></a><span class="lineno">  679</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="l00680"></a><span class="lineno">  680</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
+<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>
+<div class="fragment"><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;    {</div><div class="line"><a name="l00670"></a><span class="lineno">  670</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="l00671"></a><span class="lineno">  671</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVF::SVFValue::SVFVCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00161">SVFValue.h:161</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00160">SVFValue.h:160</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -544,9 +540,9 @@ 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#l00689">689</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;        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="l00692"></a><span class="lineno">  692</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="l00693"></a><span class="lineno">  693</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00681">SVFValue.h:681</a></div></div>
-<div class="ttc" id="classSVF_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#l00649">SVFValue.h:649</a></div></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="l00681"></a><span class="lineno">  681</span>&#160;    {</div><div class="line"><a name="l00682"></a><span class="lineno">  682</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="l00683"></a><span class="lineno">  683</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="l00684"></a><span class="lineno">  684</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00672">SVFValue.h:672</a></div></div>
+<div class="ttc" id="classSVF_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#l00640">SVFValue.h:640</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -573,8 +569,8 @@ 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#l00706">706</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    {</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00651">SVFValue.h:651</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00697">697</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;    {</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;SVFFunction&gt;(<a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>);</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00642">SVFValue.h:642</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00342">Casting.h:342</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -602,8 +598,8 @@ 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#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#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00651">SVFValue.h:651</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00689">689</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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a>;</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00642">SVFValue.h:642</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -630,8 +626,8 @@ 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#l00710">710</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    {</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00628">SVFValue.h:628</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00701">701</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;    {</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFInstruction.html#aef7ad257ea809101df33779463907f3e">getFunction</a>();</div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00619">SVFValue.h:619</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -658,8 +654,8 @@ 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#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#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>();</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00681">SVFValue.h:681</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00685">685</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;    {</div><div class="line"><a name="l00687"></a><span class="lineno">  687</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="l00688"></a><span class="lineno">  688</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00672">SVFValue.h:672</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -686,8 +682,8 @@ 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#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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00650">SVFValue.h:650</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00693">693</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    {</div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6">varArg</a>;</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00641">SVFValue.h:641</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -715,8 +711,8 @@ 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#l00659">659</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    {</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00651">SVFValue.h:651</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00650">650</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;    {</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        <a class="code" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">calledVal</a> = v;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;    }</div><div class="ttc" id="classSVF_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#l00642">SVFValue.h:642</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -741,7 +737,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#l00646">646</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#l00637">637</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -766,7 +762,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#l00649">649</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#l00640">640</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -790,7 +786,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#l00651">651</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#l00642">642</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -814,7 +810,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#l00650">650</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#l00641">641</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>

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

@@ -75,14 +75,12 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</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><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</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><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a> typedef</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#a4c46c11c4b1c0f43c80818cf7408703a">hasName</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#acb5d0311477899abb4c222cd44376c73">isblackHole</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#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</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#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#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><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#afe3fb992ad104c32520172ebd92c2588">setHasName</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#acb5d0311477899abb4c222cd44376c73">isblackHole</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#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</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#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><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_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#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>