svf-tools 1.0.355 → 1.0.359

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (192) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  6. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
  7. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
  8. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -4
  11. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +7 -7
  12. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +3 -3
  13. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +17 -17
  14. package/SVF-doxygen/html/html/ICFG_8h_source.html +17 -18
  15. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  16. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +12 -12
  18. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
  21. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  22. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +10 -10
  24. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  28. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
  29. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +8 -8
  31. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +5 -5
  32. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  33. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
  34. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  35. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  37. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +7 -7
  38. package/SVF-doxygen/html/html/SVFIR_8h_source.html +8 -8
  39. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  40. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  41. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +5 -5
  43. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +22 -22
  45. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +52 -50
  47. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +86 -83
  48. package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/html/TCT_8h_source.html +2 -2
  50. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  51. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  52. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  54. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
  55. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  56. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  58. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  59. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  60. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
  61. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  63. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode-members.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +6 -6
  65. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
  66. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  68. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  69. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  70. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +4 -4
  72. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  73. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +22 -22
  74. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +234 -234
  75. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder-members.html +3 -3
  76. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +48 -51
  77. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +11 -11
  78. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +17 -17
  79. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +1 -1
  80. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  81. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +27 -29
  82. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  83. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
  84. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +2 -2
  85. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +16 -16
  86. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +2 -2
  87. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +87 -87
  88. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +6 -6
  89. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +99 -99
  90. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  91. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
  92. package/SVF-doxygen/html/html/classSVF_1_1PCG-members.html +1 -1
  93. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +9 -9
  94. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +16 -16
  95. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  96. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode-members.html +1 -1
  97. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +5 -5
  98. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +13 -13
  99. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
  100. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +20 -20
  101. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +31 -31
  102. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
  103. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  104. package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +20 -15
  105. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +239 -89
  106. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +35 -35
  107. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +6 -4
  108. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +178 -130
  109. package/SVF-doxygen/html/html/classSVF_1_1TCT-members.html +1 -1
  110. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +12 -12
  111. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  112. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +2 -2
  113. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
  114. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +16 -16
  115. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  116. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  117. package/SVF-doxygen/html/html/functions_a.html +13 -13
  118. package/SVF-doxygen/html/html/functions_e.html +3 -0
  119. package/SVF-doxygen/html/html/functions_f.html +15 -20
  120. package/SVF-doxygen/html/html/functions_func.html +13 -13
  121. package/SVF-doxygen/html/html/functions_func_g.html +51 -50
  122. package/SVF-doxygen/html/html/functions_func_s.html +8 -5
  123. package/SVF-doxygen/html/html/functions_g.html +45 -44
  124. package/SVF-doxygen/html/html/functions_i.html +3 -3
  125. package/SVF-doxygen/html/html/functions_l.html +6 -6
  126. package/SVF-doxygen/html/html/functions_n.html +6 -0
  127. package/SVF-doxygen/html/html/functions_p.html +9 -9
  128. package/SVF-doxygen/html/html/functions_r.html +2 -4
  129. package/SVF-doxygen/html/html/functions_s.html +22 -19
  130. package/SVF-doxygen/html/html/functions_t.html +7 -7
  131. package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
  132. package/SVF-doxygen/html/html/functions_vars_f.html +0 -3
  133. package/SVF-doxygen/html/html/functions_vars_n.html +6 -0
  134. package/SVF-doxygen/html/html/search/all_1.js +6 -6
  135. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  136. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  137. package/SVF-doxygen/html/html/search/all_13.js +9 -8
  138. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  139. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  140. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  141. package/SVF-doxygen/html/html/search/all_5.js +1 -0
  142. package/SVF-doxygen/html/html/search/all_6.js +0 -1
  143. package/SVF-doxygen/html/html/search/all_7.js +18 -19
  144. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  145. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  146. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  147. package/SVF-doxygen/html/html/search/all_e.js +4 -2
  148. package/SVF-doxygen/html/html/search/functions_0.js +6 -6
  149. package/SVF-doxygen/html/html/search/functions_10.js +1 -0
  150. package/SVF-doxygen/html/html/search/functions_6.js +18 -19
  151. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  152. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  153. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  154. package/SVF-doxygen/html/html/search/variables_5.js +1 -0
  155. package/SVF-doxygen/html/html/search/variables_6.js +0 -1
  156. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  157. package/SVF-doxygen/html/html/search/variables_e.js +3 -1
  158. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  159. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  160. package/include/Graphs/ICFG.h +18 -18
  161. package/include/Graphs/ICFGNode.h +2 -2
  162. package/include/Graphs/SVFG.h +4 -4
  163. package/include/Graphs/SVFGOPT.h +2 -2
  164. package/include/Graphs/VFG.h +7 -7
  165. package/include/MTA/LockResultValidator.h +1 -1
  166. package/include/MTA/MHP.h +2 -2
  167. package/include/MTA/PCG.h +2 -2
  168. package/include/MTA/TCT.h +2 -2
  169. package/include/MemoryModel/SVFIR.h +2 -2
  170. package/include/MemoryModel/SymbolTableInfo.h +37 -41
  171. package/include/SVF-FE/ICFGBuilder.h +5 -5
  172. package/include/SVF-FE/SVFIRBuilder.h +1 -1
  173. package/lib/Graphs/ICFG.cpp +23 -23
  174. package/lib/Graphs/SVFG.cpp +4 -4
  175. package/lib/Graphs/VFG.cpp +3 -3
  176. package/lib/MSSA/MemRegion.cpp +7 -7
  177. package/lib/MSSA/MemSSA.cpp +3 -3
  178. package/lib/MTA/LockAnalysis.cpp +4 -4
  179. package/lib/MTA/MTAResultValidator.cpp +1 -1
  180. package/lib/MTA/PCG.cpp +1 -1
  181. package/lib/MTA/TCT.cpp +2 -2
  182. package/lib/MemoryModel/LocationSet.cpp +42 -37
  183. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  184. package/lib/MemoryModel/SymbolTableInfo.cpp +71 -8
  185. package/lib/SABER/LeakChecker.cpp +3 -3
  186. package/lib/SVF-FE/CallGraphBuilder.cpp +4 -4
  187. package/lib/SVF-FE/ICFGBuilder.cpp +19 -27
  188. package/lib/SVF-FE/SVFIRBuilder.cpp +15 -15
  189. package/lib/WPA/Andersen.cpp +3 -3
  190. package/lib/WPA/WPAPass.cpp +4 -4
  191. package/package.json +1 -1
  192. package/tools/Example/svf-ex.cpp +1 -1
package/SVF-doxygen/html/html/classSVF_1_1StInfo.html CHANGED
@@ -84,21 +84,30 @@ Public Member Functions</h2></td></tr>
84
84
  <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>
85
85
  <tr class="memdesc:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="#a1fa88b6bfbbd648df1b15f11d61578ed">More...</a><br /></td></tr>
86
86
  <tr class="separator:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
- <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>
88
- <tr class="separator:a353476ac0b11f153555557b932847d85"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
- <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>
90
- <tr class="separator:a102181a3ac3c634e3c25a566756ec764"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
+ <tr class="memitem:acf1ba3bc3ffbd2f7d457b613b6c5f4be"><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#acf1ba3bc3ffbd2f7d457b613b6c5f4be">getOriginalFieldType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx)</td></tr>
88
+ <tr class="separator:acf1ba3bc3ffbd2f7d457b613b6c5f4be"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
+ <tr class="memitem:aecd92dab41e8200a5dd4a10085ad882b"><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#aecd92dab41e8200a5dd4a10085ad882b">getFlatternedFieldType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx)</td></tr>
90
+ <tr class="separator:aecd92dab41e8200a5dd4a10085ad882b"><td class="memSeparator" colspan="2">&#160;</td></tr>
91
91
  <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>
92
92
  <tr class="separator:aaf05447c20c9f90eea64ab6e88d6ab05"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
- <tr class="memitem:acd2021bf9d624d83f86a6fa1a4423c8c"><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#acd2021bf9d624d83f86a6fa1a4423c8c">getFlattenedOffsetVec</a> ()</td></tr>
94
- <tr class="separator:acd2021bf9d624d83f86a6fa1a4423c8c"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
+ <tr class="memitem:a55e5fd85f232c1867c5c6a73646d53eb"><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#a55e5fd85f232c1867c5c6a73646d53eb">getFlattenedElemIdxVec</a> ()</td></tr>
94
+ <tr class="separator:a55e5fd85f232c1867c5c6a73646d53eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
95
  <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>
96
96
  <tr class="separator:ab5908115f11eccee61bd0759a51d5af0"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
- <tr class="memitem:a5e46da2adce317d2cf58640d06d6b349"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a5e46da2adce317d2cf58640d06d6b349">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fullOffset)</td></tr>
98
- <tr class="memdesc:a5e46da2adce317d2cf58640d06d6b349"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field (index and offset) with its corresponding type. <a href="#a5e46da2adce317d2cf58640d06d6b349">More...</a><br /></td></tr>
99
- <tr class="separator:a5e46da2adce317d2cf58640d06d6b349"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ <tr class="memitem:a1a8be773f23b5a5fd36d44698bae9986"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a1a8be773f23b5a5fd36d44698bae9986">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> elemIdx)</td></tr>
98
+ <tr class="memdesc:a1a8be773f23b5a5fd36d44698bae9986"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field index and element index and their corresponding type. <a href="#a1a8be773f23b5a5fd36d44698bae9986">More...</a><br /></td></tr>
99
+ <tr class="separator:a1a8be773f23b5a5fd36d44698bae9986"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">setNumOfFieldsAndElems</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> nf, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> ne)</td></tr>
101
+ <tr class="memdesc:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set number of fields and elements of an aggrate. <a href="#a1a07c2b1415c29d7d70791c6dfe602a3">More...</a><br /></td></tr>
102
+ <tr class="separator:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
+ <tr class="memitem:a518c82138fcadc6634980566c1c0f762"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">getNumOfFlattenElements</a> () const</td></tr>
104
+ <tr class="memdesc:a518c82138fcadc6634980566c1c0f762"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return number of elements after flattenning (including array elements) <a href="#a518c82138fcadc6634980566c1c0f762">More...</a><br /></td></tr>
105
+ <tr class="separator:a518c82138fcadc6634980566c1c0f762"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
+ <tr class="memitem:ae5fad367673315da57a604e64b5889f0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">getNumOfFlattenFields</a> () const</td></tr>
107
+ <tr class="memdesc:ae5fad367673315da57a604e64b5889f0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the number of fields after flattenning (ignoring array elements) <a href="#ae5fad367673315da57a604e64b5889f0">More...</a><br /></td></tr>
108
+ <tr class="separator:ae5fad367673315da57a604e64b5889f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
109
  <tr class="memitem:af5094ec542f345d214a682d4138cf690"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690">getStride</a> () const</td></tr>
101
- <tr class="memdesc:af5094ec542f345d214a682d4138cf690"><td class="mdescLeft">&#160;</td><td class="mdescRight">Array Type can have. <a href="#af5094ec542f345d214a682d4138cf690">More...</a><br /></td></tr>
110
+ <tr class="memdesc:af5094ec542f345d214a682d4138cf690"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the stride. <a href="#af5094ec542f345d214a682d4138cf690">More...</a><br /></td></tr>
102
111
  <tr class="separator:af5094ec542f345d214a682d4138cf690"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
112
  </table><table class="memberdecls">
104
113
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
@@ -125,9 +134,9 @@ Private Attributes</h2></td></tr>
125
134
  <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>
126
135
  <tr class="memdesc:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened field indices of a struct (ignoring arrays) <a href="#a77c94c0ab75b2d5af2132ff8e082cefe">More...</a><br /></td></tr>
127
136
  <tr class="separator:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
- <tr class="memitem:a5a7987ced798a2194d8c74025547f407"><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#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a></td></tr>
129
- <tr class="memdesc:a5a7987ced798a2194d8c74025547f407"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened full offset (including array strides) <a href="#a5a7987ced798a2194d8c74025547f407">More...</a><br /></td></tr>
130
- <tr class="separator:a5a7987ced798a2194d8c74025547f407"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
+ <tr class="memitem:a807ae5cb4d277c79f8b2c9ecde5f12ea"><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#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a></td></tr>
138
+ <tr class="memdesc:a807ae5cb4d277c79f8b2c9ecde5f12ea"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened element indices including structs and arrays by considering strides <a href="#a807ae5cb4d277c79f8b2c9ecde5f12ea">More...</a><br /></td></tr>
139
+ <tr class="separator:a807ae5cb4d277c79f8b2c9ecde5f12ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
140
  <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>
132
141
  <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>
133
142
  <tr class="separator:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -137,6 +146,12 @@ Private Attributes</h2></td></tr>
137
146
  <tr class="memitem:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a></td></tr>
138
147
  <tr class="memdesc:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="mdescLeft">&#160;</td><td class="mdescRight">stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default. <a href="#a6c52ecbeeeeb0dda019c68aec687f2c2">More...</a><br /></td></tr>
139
148
  <tr class="separator:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
149
+ <tr class="memitem:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a></td></tr>
150
+ <tr class="memdesc:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of elements after flattenning (including array elements) <a href="#a7aa5b5018b4dec4913eb6aecf25568a4">More...</a><br /></td></tr>
151
+ <tr class="separator:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
152
+ <tr class="memitem:aa9b4e659f4a4421aadf736a3de24ca50"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a></td></tr>
153
+ <tr class="memdesc:aa9b4e659f4a4421aadf736a3de24ca50"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of fields after flattenning (ignoring array elements) <a href="#aa9b4e659f4a4421aadf736a3de24ca50">More...</a><br /></td></tr>
154
+ <tr class="separator:aa9b4e659f4a4421aadf736a3de24ca50"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
155
  </table><table class="memberdecls">
141
156
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
142
157
  Static Private Attributes</h2></td></tr>
@@ -147,7 +162,7 @@ Static Private Attributes</h2></td></tr>
147
162
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
148
163
  <div class="textblock"><p>Flatterned type information of StructType, ArrayType and SingleValueType </p>
149
164
 
150
- <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>
165
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00503">503</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
151
166
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
152
167
  <a id="a72dd2114d61e1489676a524b83ebb5ac"></a>
153
168
  <h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">&#9670;&nbsp;</a></span>StInfo() <span class="overload">[1/3]</span></h2>
@@ -230,8 +245,10 @@ Static Private Attributes</h2></td></tr>
230
245
 
231
246
  <p>Constructor. </p>
232
247
 
233
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00533">533</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
234
- <div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s)</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; {</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00523">SymbolTableInfo.h:523</a></div></div>
248
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00530">530</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
249
+ <div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160; : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s), <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>(s), <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>(s)</div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; {</div><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; }</div><div class="ttc" id="classSVF_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 flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00518">SymbolTableInfo.h:518</a></div></div>
250
+ <div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00516">SymbolTableInfo.h:516</a></div></div>
251
+ <div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00520">SymbolTableInfo.h:520</a></div></div>
235
252
  </div><!-- fragment -->
236
253
  </div>
237
254
  </div>
@@ -260,22 +277,19 @@ Static Private Attributes</h2></td></tr>
260
277
 
261
278
  <p>Destructor. </p>
262
279
 
263
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00537">537</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
264
- <div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; {</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; }</div></div><!-- fragment -->
280
+ <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>
281
+ <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; }</div></div><!-- fragment -->
265
282
  </div>
266
283
  </div>
267
284
  <h2 class="groupheader">Member Function Documentation</h2>
268
- <a id="a5e46da2adce317d2cf58640d06d6b349"></a>
269
- <h2 class="memtitle"><span class="permalink"><a href="#a5e46da2adce317d2cf58640d06d6b349">&#9670;&nbsp;</a></span>addFldWithType()</h2>
285
+ <a id="a1a8be773f23b5a5fd36d44698bae9986"></a>
286
+ <h2 class="memtitle"><span class="permalink"><a href="#a1a8be773f23b5a5fd36d44698bae9986">&#9670;&nbsp;</a></span>addFldWithType()</h2>
270
287
 
271
288
  <div class="memitem">
272
289
  <div class="memproto">
273
- <table class="mlabels">
274
- <tr>
275
- <td class="mlabels-left">
276
290
  <table class="memname">
277
291
  <tr>
278
- <td class="memname">void SVF::StInfo::addFldWithType </td>
292
+ <td class="memname">void StInfo::addFldWithType </td>
279
293
  <td>(</td>
280
294
  <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
281
295
  <td class="paramname"><em>fldIdx</em>, </td>
@@ -290,7 +304,7 @@ Static Private Attributes</h2></td></tr>
290
304
  <td class="paramkey"></td>
291
305
  <td></td>
292
306
  <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
293
- <td class="paramname"><em>fullOffset</em>&#160;</td>
307
+ <td class="paramname"><em>elemIdx</em>&#160;</td>
294
308
  </tr>
295
309
  <tr>
296
310
  <td></td>
@@ -298,6 +312,34 @@ Static Private Attributes</h2></td></tr>
298
312
  <td></td><td></td>
299
313
  </tr>
300
314
  </table>
315
+ </div><div class="memdoc">
316
+
317
+ <p>Add field index and element index and their corresponding type. </p>
318
+ <p>Add field (index and offset) with its corresponding type. </p>
319
+
320
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00048">48</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
321
+ <div class="fragment"><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;{</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</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 (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00508">SymbolTableInfo.h:508</a></div></div>
322
+ <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>
323
+ <div class="ttc" id="classSVF_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="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00510">SymbolTableInfo.h:510</a></div></div>
324
+ </div><!-- fragment -->
325
+ </div>
326
+ </div>
327
+ <a id="a55e5fd85f232c1867c5c6a73646d53eb"></a>
328
+ <h2 class="memtitle"><span class="permalink"><a href="#a55e5fd85f232c1867c5c6a73646d53eb">&#9670;&nbsp;</a></span>getFlattenedElemIdxVec()</h2>
329
+
330
+ <div class="memitem">
331
+ <div class="memproto">
332
+ <table class="mlabels">
333
+ <tr>
334
+ <td class="mlabels-left">
335
+ <table class="memname">
336
+ <tr>
337
+ <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFlattenedElemIdxVec </td>
338
+ <td>(</td>
339
+ <td class="paramname"></td><td>)</td>
340
+ <td></td>
341
+ </tr>
342
+ </table>
301
343
  </td>
302
344
  <td class="mlabels-right">
303
345
  <span class="mlabels"><span class="mlabel">inline</span></span> </td>
@@ -305,12 +347,8 @@ Static Private Attributes</h2></td></tr>
305
347
  </table>
306
348
  </div><div class="memdoc">
307
349
 
308
- <p>Add field (index and offset) with its corresponding type. </p>
309
-
310
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00585">585</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
311
- <div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; {</div><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a>.push_back(fullOffset);</div><div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_a5a7987ced798a2194d8c74025547f407"><div class="ttname"><a href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">SVF::StInfo::fullOffsetVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fullOffsetVec</div><div class="ttdoc">flattened full offset (including array strides) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
312
- <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 (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
313
- <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#l00519">SymbolTableInfo.h:519</a></div></div>
350
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00559">559</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
351
+ <div class="fragment"><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; {</div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>;</div><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; }</div><div class="ttc" id="classSVF_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="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00510">SymbolTableInfo.h:510</a></div></div>
314
352
  </div><!-- fragment -->
315
353
  </div>
316
354
  </div>
@@ -337,8 +375,8 @@ Static Private Attributes</h2></td></tr>
337
375
  </table>
338
376
  </div><div class="memdoc">
339
377
 
340
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00570">570</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
341
- <div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; {</div><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</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 (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
378
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00555">555</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
379
+ <div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; {</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</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 (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00508">SymbolTableInfo.h:508</a></div></div>
342
380
  </div><!-- fragment -->
343
381
  </div>
344
382
  </div>
@@ -365,13 +403,35 @@ Static Private Attributes</h2></td></tr>
365
403
  </table>
366
404
  </div><div class="memdoc">
367
405
 
368
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00578">578</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
369
- <div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; {</div><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>;</div><div class="line"><a name="l00581"></a><span class="lineno"> 581</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#l00521">SymbolTableInfo.h:521</a></div></div>
406
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00563">563</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
407
+ <div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; {</div><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>;</div><div class="line"><a name="l00566"></a><span class="lineno"> 566</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>
408
+ </div><!-- fragment -->
409
+ </div>
410
+ </div>
411
+ <a id="aecd92dab41e8200a5dd4a10085ad882b"></a>
412
+ <h2 class="memtitle"><span class="permalink"><a href="#aecd92dab41e8200a5dd4a10085ad882b">&#9670;&nbsp;</a></span>getFlatternedFieldType()</h2>
413
+
414
+ <div class="memitem">
415
+ <div class="memproto">
416
+ <table class="memname">
417
+ <tr>
418
+ <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * StInfo::getFlatternedFieldType </td>
419
+ <td>(</td>
420
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
421
+ <td class="paramname"><em>fldIdx</em></td><td>)</td>
422
+ <td></td>
423
+ </tr>
424
+ </table>
425
+ </div><div class="memdoc">
426
+
427
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00066">66</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
428
+ <div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160;{</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a>&amp; fallenedFld : <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>){</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordflow">if</span>(fallenedFld.getFlattenFldIdx() == fldIdx)</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">return</span> fallenedFld.getFlattenElemTy();</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; }</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160;}</div><div class="ttc" id="classSVF_1_1FlattenedFieldInfo_html"><div class="ttname"><a href="classSVF_1_1FlattenedFieldInfo.html">SVF::FlattenedFieldInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00045">LocationSet.h:45</a></div></div>
429
+ <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>
370
430
  </div><!-- fragment -->
371
431
  </div>
372
432
  </div>
373
- <a id="acd2021bf9d624d83f86a6fa1a4423c8c"></a>
374
- <h2 class="memtitle"><span class="permalink"><a href="#acd2021bf9d624d83f86a6fa1a4423c8c">&#9670;&nbsp;</a></span>getFlattenedOffsetVec()</h2>
433
+ <a id="ad6e599717952f8ccc2771cd72254b6b2"></a>
434
+ <h2 class="memtitle"><span class="permalink"><a href="#ad6e599717952f8ccc2771cd72254b6b2">&#9670;&nbsp;</a></span>getMaxFieldLimit()</h2>
375
435
 
376
436
  <div class="memitem">
377
437
  <div class="memproto">
@@ -380,7 +440,7 @@ Static Private Attributes</h2></td></tr>
380
440
  <td class="mlabels-left">
381
441
  <table class="memname">
382
442
  <tr>
383
- <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFlattenedOffsetVec </td>
443
+ <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getMaxFieldLimit </td>
384
444
  <td>(</td>
385
445
  <td class="paramname"></td><td>)</td>
386
446
  <td></td>
@@ -388,18 +448,18 @@ Static Private Attributes</h2></td></tr>
388
448
  </table>
389
449
  </td>
390
450
  <td class="mlabels-right">
391
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
451
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
392
452
  </tr>
393
453
  </table>
394
454
  </div><div class="memdoc">
395
455
 
396
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00574">574</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
397
- <div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; {</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a>;</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_a5a7987ced798a2194d8c74025547f407"><div class="ttname"><a href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">SVF::StInfo::fullOffsetVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fullOffsetVec</div><div class="ttdoc">flattened full offset (including array strides) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
456
+ <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>
457
+ <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; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</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#l00522">SymbolTableInfo.h:522</a></div></div>
398
458
  </div><!-- fragment -->
399
459
  </div>
400
460
  </div>
401
- <a id="a102181a3ac3c634e3c25a566756ec764"></a>
402
- <h2 class="memtitle"><span class="permalink"><a href="#a102181a3ac3c634e3c25a566756ec764">&#9670;&nbsp;</a></span>getFlatternedFieldType()</h2>
461
+ <a id="a518c82138fcadc6634980566c1c0f762"></a>
462
+ <h2 class="memtitle"><span class="permalink"><a href="#a518c82138fcadc6634980566c1c0f762">&#9670;&nbsp;</a></span>getNumOfFlattenElements()</h2>
403
463
 
404
464
  <div class="memitem">
405
465
  <div class="memproto">
@@ -408,11 +468,10 @@ Static Private Attributes</h2></td></tr>
408
468
  <td class="mlabels-left">
409
469
  <table class="memname">
410
470
  <tr>
411
- <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* SVF::StInfo::getFlatternedFieldType </td>
471
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getNumOfFlattenElements </td>
412
472
  <td>(</td>
413
- <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
414
- <td class="paramname"><em>fldIdx</em></td><td>)</td>
415
- <td></td>
473
+ <td class="paramname"></td><td>)</td>
474
+ <td> const</td>
416
475
  </tr>
417
476
  </table>
418
477
  </td>
@@ -422,13 +481,15 @@ Static Private Attributes</h2></td></tr>
422
481
  </table>
423
482
  </div><div class="memdoc">
424
483
 
425
- <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>
426
- <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">for</span>(FlattenedFieldInfo&amp; fallenedFld : <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; <span class="keywordflow">if</span>(fallenedFld.getFlattenFldIdx() == fldIdx)</div><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; <span class="keywordflow">return</span> fallenedFld.getFlattenElemTy();</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; }</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</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#l00521">SymbolTableInfo.h:521</a></div></div>
484
+ <p>Return number of elements after flattenning (including array elements) </p>
485
+
486
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00580">580</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
487
+ <div class="fragment"><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; {</div><div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>;</div><div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160; }</div><div class="ttc" id="classSVF_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 flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00518">SymbolTableInfo.h:518</a></div></div>
427
488
  </div><!-- fragment -->
428
489
  </div>
429
490
  </div>
430
- <a id="ad6e599717952f8ccc2771cd72254b6b2"></a>
431
- <h2 class="memtitle"><span class="permalink"><a href="#ad6e599717952f8ccc2771cd72254b6b2">&#9670;&nbsp;</a></span>getMaxFieldLimit()</h2>
491
+ <a id="ae5fad367673315da57a604e64b5889f0"></a>
492
+ <h2 class="memtitle"><span class="permalink"><a href="#ae5fad367673315da57a604e64b5889f0">&#9670;&nbsp;</a></span>getNumOfFlattenFields()</h2>
432
493
 
433
494
  <div class="memitem">
434
495
  <div class="memproto">
@@ -437,51 +498,46 @@ Static Private Attributes</h2></td></tr>
437
498
  <td class="mlabels-left">
438
499
  <table class="memname">
439
500
  <tr>
440
- <td class="memname">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getMaxFieldLimit </td>
501
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getNumOfFlattenFields </td>
441
502
  <td>(</td>
442
503
  <td class="paramname"></td><td>)</td>
443
- <td></td>
504
+ <td> const</td>
444
505
  </tr>
445
506
  </table>
446
507
  </td>
447
508
  <td class="mlabels-right">
448
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
509
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
449
510
  </tr>
450
511
  </table>
451
512
  </div><div class="memdoc">
452
513
 
453
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00546">546</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
454
- <div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; {</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00549"></a><span class="lineno"> 549</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#l00525">SymbolTableInfo.h:525</a></div></div>
514
+ <p>Return the number of fields after flattenning (ignoring array elements) </p>
515
+
516
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00585">585</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
517
+ <div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; {</div><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>;</div><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00520">SymbolTableInfo.h:520</a></div></div>
455
518
  </div><!-- fragment -->
456
519
  </div>
457
520
  </div>
458
- <a id="a353476ac0b11f153555557b932847d85"></a>
459
- <h2 class="memtitle"><span class="permalink"><a href="#a353476ac0b11f153555557b932847d85">&#9670;&nbsp;</a></span>getOriginalFieldType()</h2>
521
+ <a id="acf1ba3bc3ffbd2f7d457b613b6c5f4be"></a>
522
+ <h2 class="memtitle"><span class="permalink"><a href="#acf1ba3bc3ffbd2f7d457b613b6c5f4be">&#9670;&nbsp;</a></span>getOriginalFieldType()</h2>
460
523
 
461
524
  <div class="memitem">
462
525
  <div class="memproto">
463
- <table class="mlabels">
464
- <tr>
465
- <td class="mlabels-left">
466
526
  <table class="memname">
467
527
  <tr>
468
- <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>* SVF::StInfo::getOriginalFieldType </td>
528
+ <td class="memname">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * StInfo::getOriginalFieldType </td>
469
529
  <td>(</td>
470
530
  <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
471
531
  <td class="paramname"><em>fldIdx</em></td><td>)</td>
472
532
  <td></td>
473
533
  </tr>
474
534
  </table>
475
- </td>
476
- <td class="mlabels-right">
477
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
478
- </tr>
479
- </table>
480
535
  </div><div class="memdoc">
481
536
  <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>
482
537
 
483
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00555">555</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
484
- <div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; {</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</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="l00558"></a><span class="lineno"> 558</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="l00559"></a><span class="lineno"> 559</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00561"></a><span class="lineno"> 561</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#l00519">SymbolTableInfo.h:519</a></div></div>
538
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00059">59</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
539
+ <div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;{</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;u32_t, const Type*&gt;::const_iterator</a> it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</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="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</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>
540
+ <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
485
541
  </div><!-- fragment -->
486
542
  </div>
487
543
  </div>
@@ -508,10 +564,10 @@ Static Private Attributes</h2></td></tr>
508
564
  </table>
509
565
  </div><div class="memdoc">
510
566
 
511
- <p>Array Type can have. </p>
567
+ <p>Return the stride. </p>
512
568
 
513
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00593">593</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
514
- <div class="fragment"><div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; {</div><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00523">SymbolTableInfo.h:523</a></div></div>
569
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00589">589</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
570
+ <div class="fragment"><div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; {</div><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00516">SymbolTableInfo.h:516</a></div></div>
515
571
  </div><!-- fragment -->
516
572
  </div>
517
573
  </div>
@@ -567,12 +623,80 @@ Static Private Attributes</h2></td></tr>
567
623
  </table>
568
624
  </div><div class="memdoc">
569
625
 
570
- <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>
571
- <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; <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</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#l00525">SymbolTableInfo.h:525</a></div></div>
626
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00538">538</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
627
+ <div class="fragment"><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; {</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</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#l00522">SymbolTableInfo.h:522</a></div></div>
628
+ </div><!-- fragment -->
629
+ </div>
630
+ </div>
631
+ <a id="a1a07c2b1415c29d7d70791c6dfe602a3"></a>
632
+ <h2 class="memtitle"><span class="permalink"><a href="#a1a07c2b1415c29d7d70791c6dfe602a3">&#9670;&nbsp;</a></span>setNumOfFieldsAndElems()</h2>
633
+
634
+ <div class="memitem">
635
+ <div class="memproto">
636
+ <table class="mlabels">
637
+ <tr>
638
+ <td class="mlabels-left">
639
+ <table class="memname">
640
+ <tr>
641
+ <td class="memname">void SVF::StInfo::setNumOfFieldsAndElems </td>
642
+ <td>(</td>
643
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
644
+ <td class="paramname"><em>nf</em>, </td>
645
+ </tr>
646
+ <tr>
647
+ <td class="paramkey"></td>
648
+ <td></td>
649
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
650
+ <td class="paramname"><em>ne</em>&#160;</td>
651
+ </tr>
652
+ <tr>
653
+ <td></td>
654
+ <td>)</td>
655
+ <td></td><td></td>
656
+ </tr>
657
+ </table>
658
+ </td>
659
+ <td class="mlabels-right">
660
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
661
+ </tr>
662
+ </table>
663
+ </div><div class="memdoc">
664
+
665
+ <p>Set number of fields and elements of an aggrate. </p>
666
+
667
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00573">573</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
668
+ <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; {</div><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a> = nf;</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a> = ne;</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; }</div><div class="ttc" id="classSVF_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 flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00518">SymbolTableInfo.h:518</a></div></div>
669
+ <div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00520">SymbolTableInfo.h:520</a></div></div>
572
670
  </div><!-- fragment -->
573
671
  </div>
574
672
  </div>
575
673
  <h2 class="groupheader">Member Data Documentation</h2>
674
+ <a id="a807ae5cb4d277c79f8b2c9ecde5f12ea"></a>
675
+ <h2 class="memtitle"><span class="permalink"><a href="#a807ae5cb4d277c79f8b2c9ecde5f12ea">&#9670;&nbsp;</a></span>elemIdxVec</h2>
676
+
677
+ <div class="memitem">
678
+ <div class="memproto">
679
+ <table class="mlabels">
680
+ <tr>
681
+ <td class="mlabels-left">
682
+ <table class="memname">
683
+ <tr>
684
+ <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; SVF::StInfo::elemIdxVec</td>
685
+ </tr>
686
+ </table>
687
+ </td>
688
+ <td class="mlabels-right">
689
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
690
+ </tr>
691
+ </table>
692
+ </div><div class="memdoc">
693
+
694
+ <p>flattened element indices including structs and arrays by considering strides </p>
695
+
696
+ <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>
697
+
698
+ </div>
699
+ </div>
576
700
  <a id="a3ecda817de388504648fa444312a2974"></a>
577
701
  <h2 class="memtitle"><span class="permalink"><a href="#a3ecda817de388504648fa444312a2974">&#9670;&nbsp;</a></span>finfo</h2>
578
702
 
@@ -595,7 +719,7 @@ Static Private Attributes</h2></td></tr>
595
719
 
596
720
  <p>All field infos after flattening a struct. </p>
597
721
 
598
- <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>
722
+ <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>
599
723
 
600
724
  </div>
601
725
  </div>
@@ -621,7 +745,7 @@ Static Private Attributes</h2></td></tr>
621
745
 
622
746
  <p>Types of all fields of a struct. </p>
623
747
 
624
- <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>
748
+ <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>
625
749
 
626
750
  </div>
627
751
  </div>
@@ -647,12 +771,12 @@ Static Private Attributes</h2></td></tr>
647
771
 
648
772
  <p>flattened field indices of a struct (ignoring arrays) </p>
649
773
 
650
- <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>
774
+ <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>
651
775
 
652
776
  </div>
653
777
  </div>
654
- <a id="a5a7987ced798a2194d8c74025547f407"></a>
655
- <h2 class="memtitle"><span class="permalink"><a href="#a5a7987ced798a2194d8c74025547f407">&#9670;&nbsp;</a></span>fullOffsetVec</h2>
778
+ <a id="a4cd926bd095254dd287f1cf26e02483e"></a>
779
+ <h2 class="memtitle"><span class="permalink"><a href="#a4cd926bd095254dd287f1cf26e02483e">&#9670;&nbsp;</a></span>maxFieldLimit</h2>
656
780
 
657
781
  <div class="memitem">
658
782
  <div class="memproto">
@@ -661,7 +785,33 @@ Static Private Attributes</h2></td></tr>
661
785
  <td class="mlabels-left">
662
786
  <table class="memname">
663
787
  <tr>
664
- <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; SVF::StInfo::fullOffsetVec</td>
788
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> StInfo::maxFieldLimit = 0</td>
789
+ </tr>
790
+ </table>
791
+ </td>
792
+ <td class="mlabels-right">
793
+ <span class="mlabels"><span class="mlabel">static</span><span class="mlabel">private</span></span> </td>
794
+ </tr>
795
+ </table>
796
+ </div><div class="memdoc">
797
+
798
+ <p>Max field limit. </p>
799
+
800
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00522">522</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
801
+
802
+ </div>
803
+ </div>
804
+ <a id="a7aa5b5018b4dec4913eb6aecf25568a4"></a>
805
+ <h2 class="memtitle"><span class="permalink"><a href="#a7aa5b5018b4dec4913eb6aecf25568a4">&#9670;&nbsp;</a></span>numOfFlattenElements</h2>
806
+
807
+ <div class="memitem">
808
+ <div class="memproto">
809
+ <table class="mlabels">
810
+ <tr>
811
+ <td class="mlabels-left">
812
+ <table class="memname">
813
+ <tr>
814
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::numOfFlattenElements</td>
665
815
  </tr>
666
816
  </table>
667
817
  </td>
@@ -671,14 +821,14 @@ Static Private Attributes</h2></td></tr>
671
821
  </table>
672
822
  </div><div class="memdoc">
673
823
 
674
- <p>flattened full offset (including array strides) </p>
824
+ <p>number of elements after flattenning (including array elements) </p>
675
825
 
676
- <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>
826
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00518">518</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
677
827
 
678
828
  </div>
679
829
  </div>
680
- <a id="a4cd926bd095254dd287f1cf26e02483e"></a>
681
- <h2 class="memtitle"><span class="permalink"><a href="#a4cd926bd095254dd287f1cf26e02483e">&#9670;&nbsp;</a></span>maxFieldLimit</h2>
830
+ <a id="aa9b4e659f4a4421aadf736a3de24ca50"></a>
831
+ <h2 class="memtitle"><span class="permalink"><a href="#aa9b4e659f4a4421aadf736a3de24ca50">&#9670;&nbsp;</a></span>numOfFlattenFields</h2>
682
832
 
683
833
  <div class="memitem">
684
834
  <div class="memproto">
@@ -687,19 +837,19 @@ Static Private Attributes</h2></td></tr>
687
837
  <td class="mlabels-left">
688
838
  <table class="memname">
689
839
  <tr>
690
- <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> StInfo::maxFieldLimit = 0</td>
840
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::numOfFlattenFields</td>
691
841
  </tr>
692
842
  </table>
693
843
  </td>
694
844
  <td class="mlabels-right">
695
- <span class="mlabels"><span class="mlabel">static</span><span class="mlabel">private</span></span> </td>
845
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
696
846
  </tr>
697
847
  </table>
698
848
  </div><div class="memdoc">
699
849
 
700
- <p>Max field limit. </p>
850
+ <p>number of fields after flattenning (ignoring array elements) </p>
701
851
 
702
- <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>
852
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00520">520</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
703
853
 
704
854
  </div>
705
855
  </div>
@@ -725,7 +875,7 @@ Static Private Attributes</h2></td></tr>
725
875
 
726
876
  <p>stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default. </p>
727
877
 
728
- <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00523">523</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
878
+ <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00516">516</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
729
879
 
730
880
  </div>
731
881
  </div>