svf-tools 1.0.793 → 1.0.795

package/SVF-doxygen/html/SVFType_8h_source.html

@@ -258,7 +258,7 @@ $(function() {
 <div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f">finfo</a>;</div>
 <div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    }</div>
 <div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160; </div>
-<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c">addFldWithType</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> elemIdx);</div>
+<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b">addFldWithType</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> elemIdx);</div>
 <div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160; </div>
 <div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">  218</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">setNumOfFieldsAndElems</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> nf, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> ne)</div>
 <div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    {</div>
@@ -688,7 +688,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a00736806c009de53039544cfc85240f1"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo::operator=</a></div><div class="ttdeci">void operator=(const StInfo &amp;)=delete</div></div>
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00064">SVFType.h:64</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html_ab801eeb012f9c462bca9745afdb2c43b"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVF::SVFStructType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00037">SVFType.cpp:37</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html_ab801eeb012f9c462bca9745afdb2c43b"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVF::SVFStructType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00039">SVFType.cpp:39</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
 <div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00332">SVFType.h:332</a></div></div>
@@ -724,16 +724,17 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00119">SVFType.h:119</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00588">SVFType.h:588</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_ad64be5942408c143a34a4a0d7cff09da"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const SVFType * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00144">SVFType.h:144</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a00339d1d7074e9222776801ce8689f6b"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_aa4639bb40482af4e7c8bc1503a32c215"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa4639bb40482af4e7c8bc1503a32c215">SVF::StInfo::getFlattenFieldTypes</a></div><div class="ttdeci">const std::vector&lt; const SVFType * &gt; &amp; getFlattenFieldTypes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00208">SVFType.h:208</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a5b2e9e60925b6f45b10e1f54adb23d60"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">SVF::SVFPointerType::ptrElementType</a></div><div class="ttdeci">const SVFType * ptrElementType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00338">SVFType.h:338</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a527528ffe8005a3ff56f581f27296a49"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49">SVF::SVFFunctionType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00398">SVFType.h:398</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a503a35534b72dbea065816f42ebfa9f0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">SVF::SVFType::GNodeK</a></div><div class="ttdeci">s64_t GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00248">SVFType.h:248</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00139">SVFType.h:139</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a09ccc6569e4a775e21596511a9c58d97"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVF::SVFOtherType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00047">SVFType.cpp:47</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a09ccc6569e4a775e21596511a9c58d97"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVF::SVFOtherType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00049">SVFType.cpp:49</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00577">SVFType.h:577</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00385">SVFType.h:385</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aedbdf4fca0ff69c5eed5b9d87c8dd85f"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVF::SVFPointerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00019">SVFType.cpp:19</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aedbdf4fca0ff69c5eed5b9d87c8dd85f"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVF::SVFPointerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00021">SVFType.cpp:21</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00443">SVFType.h:443</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a046466b2ed3618072fee227b569da6eb"><div class="ttname"><a href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></div><div class="ttdeci">Set&lt; Version &gt; VersionSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00125">SVFType.h:125</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
@@ -749,10 +750,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFType_html_af25ae6ae537f65f96917a66ce1bb3cf1"><div class="ttname"><a href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00313">SVFType.h:313</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ab80cc7e84367e8c5a6a5a617880890f5"><div class="ttname"><a href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF::NodeList</a></div><div class="ttdeci">std::list&lt; NodeID &gt; NodeList</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00120">SVFType.h:120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_ab99748a89da80812bbf6ffde768d7246"><div class="ttname"><a href="classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246">SVF::StInfo::flattenElementTypes</a></div><div class="ttdeci">std::vector&lt; const SVFType * &gt; flattenElementTypes</div><div class="ttdoc">Type vector of fields.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00155">SVFType.h:155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_abdee8157ebfbbf181fbd088bdb8a7349"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVF::SVFArrayType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00042">SVFType.cpp:42</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_abdee8157ebfbbf181fbd088bdb8a7349"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">SVF::SVFArrayType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00044">SVFType.cpp:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00262">SVFType.h:262</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_af03420fef3b660f998d0a2f09a18a615"><div class="ttname"><a href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType::print</a></div><div class="ttdeci">virtual void print(std::ostream &amp;os) const =0</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_afed021c0d3027c21807330f5038403cc"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVF::SVFFunctionType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00032">SVFType.cpp:32</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_afed021c0d3027c21807330f5038403cc"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">SVF::SVFFunctionType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00034">SVFType.cpp:34</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00057">SVFType.h:57</a></div></div>
 <div class="ttc" id="astructSVF_1_1Hash_html_aad49eec16cfdd4d3423f27666d5f28ff"><div class="ttname"><a href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash::operator()</a></div><div class="ttdeci">size_t operator()(const T &amp;t) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00087">SVFType.h:87</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0d2e17d5b07a50ed95e8f407cd6dd0be"><div class="ttname"><a href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF::EdgeSet</a></div><div class="ttdeci">NodeSet EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00122">SVFType.h:122</a></div></div>
@@ -764,7 +765,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00124">SVFType.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a6bb940564ed16e07a9e8a583892aef1c"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6bb940564ed16e07a9e8a583892aef1c">SVF::StInfo::~StInfo</a></div><div class="ttdeci">~StInfo()=default</div><div class="ttdoc">Destructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00151">SVFType.h:151</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00006">SVFType.cpp:6</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div></div>
 <div class="ttc" id="aLLVMUtil_8cpp_html_a61c158146c07e77234eb4a2f9b940821"><div class="ttname"><a href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a></div><div class="ttdeci">const std::string structName</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00044">LLVMUtil.cpp:44</a></div></div>
 <div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4_html_a450703a33d907a011a97ee50818b0b4d"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d">std::hash&lt; SVF::SparseBitVector&lt; N &gt; &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::SparseBitVector&lt; N &gt; &amp;sbv) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00612">SVFType.h:612</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a1a07c2b1415c29d7d70791c6dfe602a3"><div class="ttname"><a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo::setNumOfFieldsAndElems</a></div><div class="ttdeci">void setNumOfFieldsAndElems(u32_t nf, u32_t ne)</div><div class="ttdoc">Set number of fields and elements of an aggregate.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00218">SVFType.h:218</a></div></div>
@@ -801,7 +802,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_af4bacdbcf4867575f6f27fc26aa66bbe"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType::SVFFunctionType</a></div><div class="ttdeci">SVFFunctionType(const SVFType *rt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00394">SVFType.h:394</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a64502ac59788f5a1d53297123afbcfc6"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6">SVF::SVFPointerType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00345">SVFType.h:345</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStructType_html_acf9690a279fb50ff2ac635fbad617da8"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">SVF::SVFStructType::getName</a></div><div class="ttdeci">const std::string &amp; getName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00429">SVFType.h:429</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_aae0736a5e99b11571af52e28500a6f9c"><div class="ttname"><a href="classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00008">SVFValue.cpp:8</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00264">SVFType.h:264</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a2b3c4e21da9ad2bdd8e306192b953186"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">SVF::SVFFunctionType::retTy</a></div><div class="ttdeci">const SVFType * retTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00391">SVFType.h:391</a></div></div>
@@ -812,7 +812,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00060">SVFType.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00476">SVFType.h:476</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00019">SVFValue.cpp:19</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00589">SVFType.h:589</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
@@ -832,7 +832,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00482">SVFType.h:482</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>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aa65e56b4206e93fec242eb8db4a979a0"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVF::SVFIntegerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00024">SVFType.cpp:24</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aa65e56b4206e93fec242eb8db4a979a0"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVF::SVFIntegerType::print</a></div><div class="ttdeci">void print(std::ostream &amp;os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00026">SVFType.cpp:26</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a55e5fd85f232c1867c5c6a73646d53eb"><div class="ttname"><a href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo::getFlattenedElemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; &amp; getFlattenedElemIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00184">SVFType.h:184</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aeacf0513bfde42511fe6e464d48d1e11"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">SVF::SVFIntegerType::setSignAndWidth</a></div><div class="ttdeci">void setSignAndWidth(short sw)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00374">SVFType.h:374</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/SVFUtil_8cpp_source.html

@@ -367,7 +367,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a4bacbfb6648de8196217c83b5d73b876"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI::isTDFork</a></div><div class="ttdeci">bool isTDFork(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call create a new thread.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00129">ThreadAPI.h:129</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_add4cd21115988f9f5eec12e268ddf1d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil::timeLimitReached</a></div><div class="ttdeci">void timeLimitReached(int signum)</div><div class="ttdoc">Function to call when alarm for time limit hits.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00280">SVFUtil.cpp:280</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a0d7588578735679773493ff2d5e458e1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1">SVF::SVFUtil::increaseStackSize</a></div><div class="ttdeci">void increaseStackSize()</div><div class="ttdoc">Increase the stack size limit.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00227">SVFUtil.cpp:227</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00169">SVFValue.cpp:169</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00176">SVFValue.cpp:176</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a76909ad87f59eb9a9cfd1913e13da264"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a76909ad87f59eb9a9cfd1913e13da264">SVF::SVFUtil::bugMsg3</a></div><div class="ttdeci">std::string bugMsg3(const std::string &amp;msg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00091">SVFUtil.cpp:91</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ac71522e8c55f84cfc6c13a0ddff18436"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ac71522e8c55f84cfc6c13a0ddff18436">SVF::SVFUtil::wrnMsg</a></div><div class="ttdeci">std::string wrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns warning message by converting a string into yellow string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00061">SVFUtil.cpp:61</a></div></div>
@@ -391,7 +391,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a1721ff576ad641d862f29b038f31db28"><div class="ttname"><a href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const Option&lt; bool &gt; DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00236">Options.h:236</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a></div><div class="ttdeci">@ HCLUST_METHOD_SVF_BEST</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00076">fastcluster.h:76</a></div></div>
 <div class="ttc" id="aPointsTo_8h_html"><div class="ttname"><a href="PointsTo_8h.html">PointsTo.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00180">SVFValue.cpp:180</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00187">SVFValue.cpp:187</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a></div><div class="ttdeci">@ HCLUST_METHOD_MEDIAN</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00074">fastcluster.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a7b4c6c7143d012802ea5ee962bec2deb"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction::isIntrinsic</a></div><div class="ttdeci">bool isIntrinsic() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00371">SVFValue.h:371</a></div></div>
 <div class="ttc" id="aSVFUtil_8cpp_html_a66290957baed5df3930ada4cb8caccf1"><div class="ttname"><a href="SVFUtil_8cpp.html#a66290957baed5df3930ada4cb8caccf1">KRED</a></div><div class="ttdeci">#define KRED</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00040">SVFUtil.cpp:40</a></div></div>

package/SVF-doxygen/html/SVFValue_8cpp.html

@@ -65,6 +65,8 @@ $(function() {
 </div>
 </div><!-- top -->
 <div class="header">
+  <div class="summary">
+<a href="#func-members">Functions</a>  </div>
   <div class="headertitle">
 <div class="title">SVFValue.cpp File Reference</div>  </div>
 </div><!--header-->
@@ -73,7 +75,51 @@ $(function() {
 <code>#include &quot;<a class="el" href="SVFUtil_8h_source.html">Util/SVFUtil.h</a>&quot;</code><br />
 </div>
 <p><a href="SVFValue_8cpp_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:a81025d840e81f5c9a9c6b70a5377ac6f"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f">__attribute__</a> ((weak)) std</td></tr>
+<tr class="separator:a81025d840e81f5c9a9c6b70a5377ac6f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<h2 class="groupheader">Function Documentation</h2>
+<a id="a81025d840e81f5c9a9c6b70a5377ac6f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a81025d840e81f5c9a9c6b70a5377ac6f">&#9670;&nbsp;</a></span>__attribute__()</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">__attribute__ </td>
+          <td>(</td>
+          <td class="paramtype">(weak)&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00007">7</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;{</div>
+<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;    assert(<span class="stringliteral">&quot;SVFValue::toString should be implemented or supported by fronted&quot;</span> &amp;&amp; <span class="keyword">false</span>);</div>
+<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;    abort();</div>
+<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;}</div>
+<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160; </div>
+<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="keywordtype">void</span> StInfo::addFldWithType(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> elemIdx)</div>
+<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;{</div>
+<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div>
+<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div>
+<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;    <a class="code" href="classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da">fldIdx2TypeMap</a>[fldIdx] = <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>;</div>
+<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;}</div>
+</div><!-- fragment -->
+</div>
+</div>
 </div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00142">SVFType.h:142</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_ad64be5942408c143a34a4a0d7cff09da"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const SVFType * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00144">SVFType.h:144</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00139">SVFType.h:139</a></div></div>
+<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">