svf-tools 1.0.327 → 1.0.331

package/SVF-doxygen/html/html/classSVF_1_1StInfo.html

@@ -83,20 +83,17 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a1fa88b6bfbbd648df1b15f11d61578ed">~StInfo</a> ()</td></tr>
 <tr class="memdesc:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a1fa88b6bfbbd648df1b15f11d61578ed">More...</a><br /></td></tr>
 <tr class="separator:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a913afa9bbdeb9cc54b0a9b9a062c0979"><td class="memItemLeft" align="right" valign="top">const llvm::Type *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a913afa9bbdeb9cc54b0a9b9a062c0979">getFieldTypeWithFldIdx</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx)</td></tr>
-<tr class="memdesc:a913afa9bbdeb9cc54b0a9b9a062c0979"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for fields of a struct.  <a href="#a913afa9bbdeb9cc54b0a9b9a062c0979">More...</a><br /></td></tr>
-<tr class="separator:a913afa9bbdeb9cc54b0a9b9a062c0979"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aed0d6af756950fa2db4f56c9ffe76355"><td class="memItemLeft" align="right" valign="top">const llvm::Type *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#aed0d6af756950fa2db4f56c9ffe76355">getFieldTypeWithByteOffset</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> offset)</td></tr>
-<tr class="separator:aed0d6af756950fa2db4f56c9ffe76355"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a219b42bae46d10dbeab28c6fd922dd68"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68">getFieldIdxVec</a> ()</td></tr>
-<tr class="separator:a219b42bae46d10dbeab28c6fd922dd68"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a25a1d7b04738c9e3b60654992b897385"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a25a1d7b04738c9e3b60654992b897385">getFieldOffsetVec</a> ()</td></tr>
-<tr class="separator:a25a1d7b04738c9e3b60654992b897385"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9bb25646a735d612cf777394fa3ba5d6"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a9bb25646a735d612cf777394fa3ba5d6">getFlattenFieldInfoVec</a> ()</td></tr>
-<tr class="separator:a9bb25646a735d612cf777394fa3ba5d6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac8483f7707339d3ba53fa2ae0127ec98"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ac8483f7707339d3ba53fa2ae0127ec98">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> offset, const llvm::Type *type)</td></tr>
-<tr class="memdesc:ac8483f7707339d3ba53fa2ae0127ec98"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field (index and offset) with its corresponding type.  <a href="#ac8483f7707339d3ba53fa2ae0127ec98">More...</a><br /></td></tr>
-<tr class="separator:ac8483f7707339d3ba53fa2ae0127ec98"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a353476ac0b11f153555557b932847d85"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85">getOriginalFieldType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx)</td></tr>
+<tr class="separator:a353476ac0b11f153555557b932847d85"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a102181a3ac3c634e3c25a566756ec764"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764">getFlatternedFieldType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx)</td></tr>
+<tr class="separator:a102181a3ac3c634e3c25a566756ec764"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aaf05447c20c9f90eea64ab6e88d6ab05"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">getFlattenedFieldIdxVec</a> ()</td></tr>
+<tr class="separator:aaf05447c20c9f90eea64ab6e88d6ab05"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab5908115f11eccee61bd0759a51d5af0"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">getFlattenedFieldInfoVec</a> ()</td></tr>
+<tr class="separator:ab5908115f11eccee61bd0759a51d5af0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7011600965de6fe5401b87f5c71e684f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
+<tr class="memdesc:a7011600965de6fe5401b87f5c71e684f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field (index and offset) with its corresponding type.  <a href="#a7011600965de6fe5401b87f5c71e684f">More...</a><br /></td></tr>
+<tr class="separator:a7011600965de6fe5401b87f5c71e684f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
 Static Public Member Functions</h2></td></tr>
@@ -110,18 +107,12 @@ Private Attributes</h2></td></tr>
 <tr class="memitem:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a></td></tr>
 <tr class="memdesc:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened field indices of a struct  <a href="#a77c94c0ab75b2d5af2132ff8e082cefe">More...</a><br /></td></tr>
 <tr class="separator:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a33065d23c63a3a1919ad53a5e4f38f4a"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">foffset</a></td></tr>
-<tr class="memdesc:a33065d23c63a3a1919ad53a5e4f38f4a"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened field offsets of of a struct  <a href="#a33065d23c63a3a1919ad53a5e4f38f4a">More...</a><br /></td></tr>
-<tr class="separator:a33065d23c63a3a1919ad53a5e4f38f4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a08e0988d4cc980a1bfe8d8af5fdafbb4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const llvm::Type * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">fldIdx2TypeMap</a></td></tr>
-<tr class="memdesc:a08e0988d4cc980a1bfe8d8af5fdafbb4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Types of all fields of a struct.  <a href="#a08e0988d4cc980a1bfe8d8af5fdafbb4">More...</a><br /></td></tr>
-<tr class="separator:a08e0988d4cc980a1bfe8d8af5fdafbb4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2fc773eac63f959c78957dc407cccaa2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const llvm::Type * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">offset2TypeMap</a></td></tr>
-<tr class="memdesc:a2fc773eac63f959c78957dc407cccaa2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Types of all fields of a struct.  <a href="#a2fc773eac63f959c78957dc407cccaa2">More...</a><br /></td></tr>
-<tr class="separator:a2fc773eac63f959c78957dc407cccaa2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae4b2805df04f7fd4ea636460f8048a88"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ae4b2805df04f7fd4ea636460f8048a88">finfo</a></td></tr>
-<tr class="memdesc:ae4b2805df04f7fd4ea636460f8048a88"><td class="mdescLeft">&#160;</td><td class="mdescRight">All field infos after flattening a struct.  <a href="#ae4b2805df04f7fd4ea636460f8048a88">More...</a><br /></td></tr>
-<tr class="separator:ae4b2805df04f7fd4ea636460f8048a88"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a></td></tr>
+<tr class="memdesc:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="mdescLeft">&#160;</td><td class="mdescRight">Types of all fields of a struct.  <a href="#a3da859dcf2a5fe7078b1257dd5f1e479">More...</a><br /></td></tr>
+<tr class="separator:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3ecda817de388504648fa444312a2974"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a></td></tr>
+<tr class="memdesc:a3ecda817de388504648fa444312a2974"><td class="mdescLeft">&#160;</td><td class="mdescRight">All field infos after flattening a struct.  <a href="#a3ecda817de388504648fa444312a2974">More...</a><br /></td></tr>
+<tr class="separator:a3ecda817de388504648fa444312a2974"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
 Static Private Attributes</h2></td></tr>
@@ -132,7 +123,7 @@ Static Private Attributes</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Struct information </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00508">508</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00505">505</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a72dd2114d61e1489676a524b83ebb5ac"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">&#9670;&nbsp;</a></span>StInfo()</h2>
@@ -159,8 +150,8 @@ Static Private Attributes</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00528">528</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    {</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00521">521</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    {</div><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a1fa88b6bfbbd648df1b15f11d61578ed"></a>
@@ -188,13 +179,13 @@ Static Private Attributes</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00532">532</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;    {</div><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00525">525</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;    {</div><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="ac8483f7707339d3ba53fa2ae0127ec98"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac8483f7707339d3ba53fa2ae0127ec98">&#9670;&nbsp;</a></span>addFldWithType()</h2>
+<a id="a7011600965de6fe5401b87f5c71e684f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7011600965de6fe5401b87f5c71e684f">&#9670;&nbsp;</a></span>addFldWithType()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -211,13 +202,7 @@ Static Private Attributes</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
-          <td class="paramname"><em>offset</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">const llvm::Type *&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td>
           <td class="paramname"><em>type</em>&#160;</td>
         </tr>
         <tr>
@@ -235,16 +220,14 @@ Static Private Attributes</h2></td></tr>
 
 <p>Add field (index and offset) with its corresponding type. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00571">571</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;    {</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">foffset</a>.push_back(offset);</div><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">offset2TypeMap</a>[offset] = type;</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;    }</div><div class="ttc" id="classSVF_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 </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00513">SymbolTableInfo.h:513</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a08e0988d4cc980a1bfe8d8af5fdafbb4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const llvm::Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a2fc773eac63f959c78957dc407cccaa2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">SVF::StInfo::offset2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const llvm::Type * &gt; offset2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00519">SymbolTableInfo.h:519</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a33065d23c63a3a1919ad53a5e4f38f4a"><div class="ttname"><a href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">SVF::StInfo::foffset</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; foffset</div><div class="ttdoc">flattened field offsets of of a struct </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00569">569</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;    {</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    }</div><div class="ttc" id="classSVF_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 </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00510">SymbolTableInfo.h:510</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00512">SymbolTableInfo.h:512</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a219b42bae46d10dbeab28c6fd922dd68"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a219b42bae46d10dbeab28c6fd922dd68">&#9670;&nbsp;</a></span>getFieldIdxVec()</h2>
+<a id="aaf05447c20c9f90eea64ab6e88d6ab05"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aaf05447c20c9f90eea64ab6e88d6ab05">&#9670;&nbsp;</a></span>getFlattenedFieldIdxVec()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -253,7 +236,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFieldIdxVec </td>
+          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFlattenedFieldIdxVec </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -266,13 +249,13 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00556">556</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;    }</div><div class="ttc" id="classSVF_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 </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00513">SymbolTableInfo.h:513</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00558">558</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;    {</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;    }</div><div class="ttc" id="classSVF_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 </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00510">SymbolTableInfo.h:510</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a25a1d7b04738c9e3b60654992b897385"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a25a1d7b04738c9e3b60654992b897385">&#9670;&nbsp;</a></span>getFieldOffsetVec()</h2>
+<a id="ab5908115f11eccee61bd0759a51d5af0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab5908115f11eccee61bd0759a51d5af0">&#9670;&nbsp;</a></span>getFlattenedFieldInfoVec()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -281,7 +264,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFieldOffsetVec </td>
+          <td class="memname">std::vector&lt;<a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a>&gt;&amp; SVF::StInfo::getFlattenedFieldInfoVec </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -294,13 +277,13 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00560">560</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;    {</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">foffset</a>;</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a33065d23c63a3a1919ad53a5e4f38f4a"><div class="ttname"><a href="classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a">SVF::StInfo::foffset</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; foffset</div><div class="ttdoc">flattened field offsets of of a struct </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00562">562</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>;</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00514">SymbolTableInfo.h:514</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aed0d6af756950fa2db4f56c9ffe76355"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aed0d6af756950fa2db4f56c9ffe76355">&#9670;&nbsp;</a></span>getFieldTypeWithByteOffset()</h2>
+<a id="a102181a3ac3c634e3c25a566756ec764"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a102181a3ac3c634e3c25a566756ec764">&#9670;&nbsp;</a></span>getFlatternedFieldType()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -309,36 +292,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const llvm::Type* SVF::StInfo::getFieldTypeWithByteOffset </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
-          <td class="paramname"><em>offset</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00552">552</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;    {</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">offset2TypeMap</a>[offset];</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a2fc773eac63f959c78957dc407cccaa2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2">SVF::StInfo::offset2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const llvm::Type * &gt; offset2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00519">SymbolTableInfo.h:519</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a913afa9bbdeb9cc54b0a9b9a062c0979"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a913afa9bbdeb9cc54b0a9b9a062c0979">&#9670;&nbsp;</a></span>getFieldTypeWithFldIdx()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const llvm::Type* SVF::StInfo::getFieldTypeWithFldIdx </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* SVF::StInfo::getFlatternedFieldType </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
           <td class="paramname"><em>fldIdx</em></td><td>)</td>
@@ -352,15 +306,13 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Get method for fields of a struct. </p>
-
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00548">548</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    {</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">fldIdx2TypeMap</a>[fldIdx];</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a08e0988d4cc980a1bfe8d8af5fdafbb4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const llvm::Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00550">550</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;    {</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        <span class="keywordflow">for</span>(FlattenedFieldInfo&amp; fallenedFld : <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>){</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;            <span class="keywordflow">if</span>(fallenedFld.getFlattenFldIdx() == fldIdx)</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;                <span class="keywordflow">return</span> fallenedFld.getFlattenElemTy();</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        }</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00514">SymbolTableInfo.h:514</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9bb25646a735d612cf777394fa3ba5d6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9bb25646a735d612cf777394fa3ba5d6">&#9670;&nbsp;</a></span>getFlattenFieldInfoVec()</h2>
+<a id="ad6e599717952f8ccc2771cd72254b6b2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad6e599717952f8ccc2771cd72254b6b2">&#9670;&nbsp;</a></span>getMaxFieldLimit()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -369,7 +321,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">std::vector&lt;<a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a>&gt;&amp; SVF::StInfo::getFlattenFieldInfoVec </td>
+          <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getMaxFieldLimit </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -377,18 +329,18 @@ Static Private Attributes</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00564">564</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;    {</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#ae4b2805df04f7fd4ea636460f8048a88">finfo</a>;</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_ae4b2805df04f7fd4ea636460f8048a88"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae4b2805df04f7fd4ea636460f8048a88">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00521">SymbolTableInfo.h:521</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00534">534</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;    {</div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad6e599717952f8ccc2771cd72254b6b2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad6e599717952f8ccc2771cd72254b6b2">&#9670;&nbsp;</a></span>getMaxFieldLimit()</h2>
+<a id="a353476ac0b11f153555557b932847d85"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a353476ac0b11f153555557b932847d85">&#9670;&nbsp;</a></span>getOriginalFieldType()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -397,21 +349,23 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getMaxFieldLimit </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* SVF::StInfo::getOriginalFieldType </td>
           <td>(</td>
-          <td class="paramname"></td><td>)</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
+          <td class="paramname"><em>fldIdx</em></td><td>)</td>
           <td></td>
         </tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
+<p>struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b; OriginalFieldType of b with field_idx 1 : Struct A FlatternedFieldType of b with field_idx 1 : int </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00541">541</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00524">SymbolTableInfo.h:524</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00543">543</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    {</div><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;        Map&lt;u32_t, const Type*&gt;::const_iterator it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00512">SymbolTableInfo.h:512</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -439,14 +393,14 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00536">536</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    {</div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00524">SymbolTableInfo.h:524</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00529">529</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    {</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="ae4b2805df04f7fd4ea636460f8048a88"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae4b2805df04f7fd4ea636460f8048a88">&#9670;&nbsp;</a></span>finfo</h2>
+<a id="a3ecda817de388504648fa444312a2974"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3ecda817de388504648fa444312a2974">&#9670;&nbsp;</a></span>finfo</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -455,7 +409,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">std::vector&lt;<a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a>&gt; SVF::StInfo::finfo</td>
+          <td class="memname">std::vector&lt;<a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a>&gt; SVF::StInfo::finfo</td>
         </tr>
       </table>
   </td>
@@ -467,12 +421,12 @@ Static Private Attributes</h2></td></tr>
 
 <p>All field infos after flattening a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00521">521</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00514">514</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
-<a id="a08e0988d4cc980a1bfe8d8af5fdafbb4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a08e0988d4cc980a1bfe8d8af5fdafbb4">&#9670;&nbsp;</a></span>fldIdx2TypeMap</h2>
+<a id="a3da859dcf2a5fe7078b1257dd5f1e479"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3da859dcf2a5fe7078b1257dd5f1e479">&#9670;&nbsp;</a></span>fldIdx2TypeMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -481,7 +435,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const llvm::Type*&gt; SVF::StInfo::fldIdx2TypeMap</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>*&gt; SVF::StInfo::fldIdx2TypeMap</td>
         </tr>
       </table>
   </td>
@@ -493,7 +447,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>Types of all fields of a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00517">517</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00512">512</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -519,33 +473,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>flattened field indices of a struct </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00513">513</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-
-</div>
-</div>
-<a id="a33065d23c63a3a1919ad53a5e4f38f4a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a33065d23c63a3a1919ad53a5e4f38f4a">&#9670;&nbsp;</a></span>foffset</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; SVF::StInfo::foffset</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>flattened field offsets of of a struct </p>
-
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00515">515</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00510">510</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -571,33 +499,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>Max field limit. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00524">524</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-
-</div>
-</div>
-<a id="a2fc773eac63f959c78957dc407cccaa2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2fc773eac63f959c78957dc407cccaa2">&#9670;&nbsp;</a></span>offset2TypeMap</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const llvm::Type*&gt; SVF::StInfo::offset2TypeMap</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Types of all fields of a struct. </p>
-
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00519">519</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00517">517</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>

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

@@ -113,7 +113,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795">callGraphSCCDetection</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a1f5f2ecf1e893759633ffec1b23d5650">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd">chgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33">chgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Steensgaard.html#a7e7493bd144746edb4fbe1292e8ba55f">classof</a>(const Steensgaard *)</td><td class="entry"><a class="el" href="classSVF_1_1Steensgaard.html">SVF::Steensgaard</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Steensgaard.html#acfd677c395809baea0a32f59646beb0f">classof</a>(const AndersenBase *pta)</td><td class="entry"><a class="el" href="classSVF_1_1Steensgaard.html">SVF::Steensgaard</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>