svf-tools 1.0.813 → 1.0.815

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 (270) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +124 -121
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +97 -88
  3. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
  5. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +184 -183
  6. package/SVF-doxygen/html/ContextDDA_8h_source.html +5 -5
  7. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +191 -190
  10. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +4 -4
  11. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +695 -688
  12. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +15 -15
  13. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +883 -881
  14. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +32 -32
  15. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +120 -118
  16. package/SVF-doxygen/html/SVFIR_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/SVFStatements_8h_source.html +5 -5
  18. package/SVF-doxygen/html/SVFVariables_8h_source.html +2 -2
  19. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +7 -5
  20. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +237 -162
  21. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  22. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +176 -175
  23. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
  24. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +2 -2
  25. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  26. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +9 -9
  27. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +2 -2
  28. package/SVF-doxygen/html/classSVF_1_1NormalGepCGEdge.html +2 -2
  29. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +2 -2
  30. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +186 -185
  31. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +667 -660
  32. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +942 -938
  33. package/SVF-doxygen/html/functions_a.html +1 -1
  34. package/SVF-doxygen/html/functions_func.html +1 -1
  35. package/SVF-doxygen/html/functions_func_g.html +22 -17
  36. package/SVF-doxygen/html/functions_func_p.html +1 -1
  37. package/SVF-doxygen/html/functions_g.html +20 -12
  38. package/SVF-doxygen/html/functions_i.html +1 -1
  39. package/SVF-doxygen/html/functions_o.html +7 -7
  40. package/SVF-doxygen/html/functions_p.html +11 -11
  41. package/SVF-doxygen/html/functions_r.html +2 -2
  42. package/SVF-doxygen/html/functions_s.html +17 -17
  43. package/SVF-doxygen/html/functions_v.html +7 -9
  44. package/SVF-doxygen/html/functions_vars_g.html +3 -0
  45. package/SVF-doxygen/html/functions_w.html +1 -1
  46. package/SVF-doxygen/html/search/all_1.js +1 -1
  47. package/SVF-doxygen/html/search/all_10.js +324 -324
  48. package/SVF-doxygen/html/search/all_11.js +222 -222
  49. package/SVF-doxygen/html/search/all_12.js +544 -544
  50. package/SVF-doxygen/html/search/all_13.js +191 -191
  51. package/SVF-doxygen/html/search/all_14.js +67 -67
  52. package/SVF-doxygen/html/search/all_15.js +167 -167
  53. package/SVF-doxygen/html/search/all_16.js +63 -63
  54. package/SVF-doxygen/html/search/all_17.js +1 -1
  55. package/SVF-doxygen/html/search/all_18.js +1 -1
  56. package/SVF-doxygen/html/search/all_19.js +11 -11
  57. package/SVF-doxygen/html/search/all_1a.js +172 -172
  58. package/SVF-doxygen/html/search/all_7.js +891 -888
  59. package/SVF-doxygen/html/search/all_8.js +197 -197
  60. package/SVF-doxygen/html/search/all_9.js +607 -607
  61. package/SVF-doxygen/html/search/all_a.js +46 -46
  62. package/SVF-doxygen/html/search/all_b.js +26 -26
  63. package/SVF-doxygen/html/search/all_c.js +116 -116
  64. package/SVF-doxygen/html/search/all_d.js +196 -196
  65. package/SVF-doxygen/html/search/all_e.js +207 -207
  66. package/SVF-doxygen/html/search/all_f.js +115 -115
  67. package/SVF-doxygen/html/search/classes_0.js +26 -26
  68. package/SVF-doxygen/html/search/classes_1.js +9 -9
  69. package/SVF-doxygen/html/search/classes_10.js +73 -73
  70. package/SVF-doxygen/html/search/classes_11.js +15 -15
  71. package/SVF-doxygen/html/search/classes_12.js +2 -2
  72. package/SVF-doxygen/html/search/classes_13.js +10 -10
  73. package/SVF-doxygen/html/search/classes_14.js +14 -14
  74. package/SVF-doxygen/html/search/classes_15.js +1 -1
  75. package/SVF-doxygen/html/search/classes_2.js +80 -80
  76. package/SVF-doxygen/html/search/classes_3.js +37 -37
  77. package/SVF-doxygen/html/search/classes_4.js +9 -9
  78. package/SVF-doxygen/html/search/classes_5.js +28 -28
  79. package/SVF-doxygen/html/search/classes_6.js +104 -104
  80. package/SVF-doxygen/html/search/classes_7.js +33 -33
  81. package/SVF-doxygen/html/search/classes_8.js +56 -56
  82. package/SVF-doxygen/html/search/classes_9.js +1 -1
  83. package/SVF-doxygen/html/search/classes_a.js +12 -12
  84. package/SVF-doxygen/html/search/classes_b.js +29 -29
  85. package/SVF-doxygen/html/search/classes_c.js +6 -6
  86. package/SVF-doxygen/html/search/classes_d.js +18 -18
  87. package/SVF-doxygen/html/search/classes_e.js +36 -36
  88. package/SVF-doxygen/html/search/classes_f.js +25 -25
  89. package/SVF-doxygen/html/search/defines_0.js +3 -3
  90. package/SVF-doxygen/html/search/defines_1.js +2 -2
  91. package/SVF-doxygen/html/search/defines_2.js +30 -30
  92. package/SVF-doxygen/html/search/defines_3.js +21 -21
  93. package/SVF-doxygen/html/search/defines_4.js +2 -2
  94. package/SVF-doxygen/html/search/defines_5.js +4 -4
  95. package/SVF-doxygen/html/search/defines_6.js +2 -2
  96. package/SVF-doxygen/html/search/defines_7.js +5 -5
  97. package/SVF-doxygen/html/search/defines_8.js +11 -11
  98. package/SVF-doxygen/html/search/defines_9.js +9 -9
  99. package/SVF-doxygen/html/search/defines_a.js +2 -2
  100. package/SVF-doxygen/html/search/defines_b.js +1 -1
  101. package/SVF-doxygen/html/search/defines_c.js +3 -3
  102. package/SVF-doxygen/html/search/defines_d.js +2 -2
  103. package/SVF-doxygen/html/search/defines_e.js +7 -7
  104. package/SVF-doxygen/html/search/defines_f.js +3 -3
  105. package/SVF-doxygen/html/search/enums_0.js +3 -3
  106. package/SVF-doxygen/html/search/enums_1.js +2 -2
  107. package/SVF-doxygen/html/search/enums_10.js +1 -1
  108. package/SVF-doxygen/html/search/enums_11.js +1 -1
  109. package/SVF-doxygen/html/search/enums_2.js +8 -8
  110. package/SVF-doxygen/html/search/enums_3.js +1 -1
  111. package/SVF-doxygen/html/search/enums_4.js +3 -3
  112. package/SVF-doxygen/html/search/enums_5.js +1 -1
  113. package/SVF-doxygen/html/search/enums_6.js +2 -2
  114. package/SVF-doxygen/html/search/enums_7.js +2 -2
  115. package/SVF-doxygen/html/search/enums_8.js +4 -4
  116. package/SVF-doxygen/html/search/enums_9.js +1 -1
  117. package/SVF-doxygen/html/search/enums_a.js +1 -1
  118. package/SVF-doxygen/html/search/enums_b.js +7 -7
  119. package/SVF-doxygen/html/search/enums_c.js +1 -1
  120. package/SVF-doxygen/html/search/enums_d.js +4 -4
  121. package/SVF-doxygen/html/search/enums_e.js +2 -2
  122. package/SVF-doxygen/html/search/enums_f.js +4 -4
  123. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  124. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  125. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  126. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  127. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  128. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  129. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  130. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  131. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  132. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  133. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  134. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  135. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  136. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  137. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  138. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  139. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  140. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  141. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  142. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  143. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  144. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  145. package/SVF-doxygen/html/search/files_0.js +13 -13
  146. package/SVF-doxygen/html/search/files_1.js +7 -7
  147. package/SVF-doxygen/html/search/files_10.js +8 -8
  148. package/SVF-doxygen/html/search/files_11.js +8 -8
  149. package/SVF-doxygen/html/search/files_12.js +2 -2
  150. package/SVF-doxygen/html/search/files_2.js +55 -55
  151. package/SVF-doxygen/html/search/files_3.js +14 -14
  152. package/SVF-doxygen/html/search/files_4.js +5 -5
  153. package/SVF-doxygen/html/search/files_5.js +13 -13
  154. package/SVF-doxygen/html/search/files_6.js +9 -9
  155. package/SVF-doxygen/html/search/files_7.js +14 -14
  156. package/SVF-doxygen/html/search/files_8.js +13 -13
  157. package/SVF-doxygen/html/search/files_9.js +18 -18
  158. package/SVF-doxygen/html/search/files_a.js +3 -3
  159. package/SVF-doxygen/html/search/files_b.js +2 -2
  160. package/SVF-doxygen/html/search/files_c.js +20 -20
  161. package/SVF-doxygen/html/search/files_d.js +4 -4
  162. package/SVF-doxygen/html/search/files_e.js +62 -62
  163. package/SVF-doxygen/html/search/files_f.js +8 -8
  164. package/SVF-doxygen/html/search/functions_0.js +12 -12
  165. package/SVF-doxygen/html/search/functions_1.js +360 -360
  166. package/SVF-doxygen/html/search/functions_10.js +140 -140
  167. package/SVF-doxygen/html/search/functions_11.js +138 -138
  168. package/SVF-doxygen/html/search/functions_12.js +279 -279
  169. package/SVF-doxygen/html/search/functions_13.js +59 -59
  170. package/SVF-doxygen/html/search/functions_14.js +39 -39
  171. package/SVF-doxygen/html/search/functions_15.js +71 -71
  172. package/SVF-doxygen/html/search/functions_16.js +32 -32
  173. package/SVF-doxygen/html/search/functions_17.js +3 -3
  174. package/SVF-doxygen/html/search/functions_18.js +172 -172
  175. package/SVF-doxygen/html/search/functions_2.js +87 -87
  176. package/SVF-doxygen/html/search/functions_3.js +257 -257
  177. package/SVF-doxygen/html/search/functions_4.js +75 -75
  178. package/SVF-doxygen/html/search/functions_5.js +53 -53
  179. package/SVF-doxygen/html/search/functions_6.js +59 -59
  180. package/SVF-doxygen/html/search/functions_7.js +854 -852
  181. package/SVF-doxygen/html/search/functions_8.js +149 -149
  182. package/SVF-doxygen/html/search/functions_9.js +423 -423
  183. package/SVF-doxygen/html/search/functions_a.js +30 -30
  184. package/SVF-doxygen/html/search/functions_b.js +2 -2
  185. package/SVF-doxygen/html/search/functions_c.js +26 -26
  186. package/SVF-doxygen/html/search/functions_d.js +77 -77
  187. package/SVF-doxygen/html/search/functions_e.js +35 -35
  188. package/SVF-doxygen/html/search/functions_f.js +56 -56
  189. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  190. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  191. package/SVF-doxygen/html/search/related_0.js +2 -2
  192. package/SVF-doxygen/html/search/related_1.js +2 -2
  193. package/SVF-doxygen/html/search/related_2.js +2 -2
  194. package/SVF-doxygen/html/search/related_3.js +2 -2
  195. package/SVF-doxygen/html/search/related_4.js +2 -2
  196. package/SVF-doxygen/html/search/related_5.js +1 -1
  197. package/SVF-doxygen/html/search/related_6.js +2 -2
  198. package/SVF-doxygen/html/search/related_7.js +4 -4
  199. package/SVF-doxygen/html/search/related_8.js +2 -2
  200. package/SVF-doxygen/html/search/related_9.js +4 -4
  201. package/SVF-doxygen/html/search/related_a.js +19 -19
  202. package/SVF-doxygen/html/search/related_b.js +4 -4
  203. package/SVF-doxygen/html/search/related_c.js +1 -1
  204. package/SVF-doxygen/html/search/related_d.js +12 -12
  205. package/SVF-doxygen/html/search/related_e.js +2 -2
  206. package/SVF-doxygen/html/search/related_f.js +2 -2
  207. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  208. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  209. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  210. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  211. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  212. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  213. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  214. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  215. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  216. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  217. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  218. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  219. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  220. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  221. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  222. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  223. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  224. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  225. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  226. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  227. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  228. package/SVF-doxygen/html/search/variables_0.js +151 -151
  229. package/SVF-doxygen/html/search/variables_1.js +75 -75
  230. package/SVF-doxygen/html/search/variables_10.js +97 -97
  231. package/SVF-doxygen/html/search/variables_11.js +44 -44
  232. package/SVF-doxygen/html/search/variables_12.js +92 -92
  233. package/SVF-doxygen/html/search/variables_13.js +75 -75
  234. package/SVF-doxygen/html/search/variables_14.js +14 -14
  235. package/SVF-doxygen/html/search/variables_15.js +48 -48
  236. package/SVF-doxygen/html/search/variables_16.js +9 -9
  237. package/SVF-doxygen/html/search/variables_17.js +1 -1
  238. package/SVF-doxygen/html/search/variables_18.js +2 -2
  239. package/SVF-doxygen/html/search/variables_2.js +38 -38
  240. package/SVF-doxygen/html/search/variables_3.js +142 -142
  241. package/SVF-doxygen/html/search/variables_4.js +55 -55
  242. package/SVF-doxygen/html/search/variables_5.js +37 -37
  243. package/SVF-doxygen/html/search/variables_6.js +66 -66
  244. package/SVF-doxygen/html/search/variables_7.js +34 -33
  245. package/SVF-doxygen/html/search/variables_8.js +7 -7
  246. package/SVF-doxygen/html/search/variables_9.js +78 -78
  247. package/SVF-doxygen/html/search/variables_a.js +4 -4
  248. package/SVF-doxygen/html/search/variables_b.js +10 -10
  249. package/SVF-doxygen/html/search/variables_c.js +45 -45
  250. package/SVF-doxygen/html/search/variables_d.js +56 -56
  251. package/SVF-doxygen/html/search/variables_e.js +123 -123
  252. package/SVF-doxygen/html/search/variables_f.js +29 -29
  253. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +10 -10
  254. package/SVF-doxygen/html/svf-ex_8cpp.html +11 -11
  255. package/SVF-doxygen/html/svf-ex_8cpp_source.html +11 -11
  256. package/package.json +1 -1
  257. package/svf/include/Graphs/ConsGEdge.h +1 -1
  258. package/svf/include/MemoryModel/AccessPath.h +14 -5
  259. package/svf/include/SVFIR/SVFStatements.h +2 -2
  260. package/svf/include/SVFIR/SVFVariables.h +1 -1
  261. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +2 -1
  262. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -0
  263. package/svf/lib/DDA/ContextDDA.cpp +2 -1
  264. package/svf/lib/DDA/FlowDDA.cpp +1 -1
  265. package/svf/lib/MemoryModel/AccessPath.cpp +7 -5
  266. package/svf/lib/SVFIR/SVFIR.cpp +1 -1
  267. package/svf/lib/WPA/Andersen.cpp +1 -1
  268. package/svf/lib/WPA/FlowSensitive.cpp +1 -1
  269. package/svf-llvm/lib/SVFIRBuilder.cpp +6 -4
  270. package/svf-llvm/lib/SVFIRExtAPI.cpp +7 -5
package/SVF-doxygen/html/classSVF_1_1AccessPath.html CHANGED
@@ -98,9 +98,9 @@ Public Types</h2></td></tr>
98
98
  </table><table class="memberdecls">
99
99
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
100
100
  Public Member Functions</h2></td></tr>
101
- <tr class="memitem:a90827f966d3018fe663ffe5c8110509e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e">AccessPath</a> (<a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> o=0)</td></tr>
102
- <tr class="memdesc:a90827f966d3018fe663ffe5c8110509e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e">More...</a><br /></td></tr>
103
- <tr class="separator:a90827f966d3018fe663ffe5c8110509e"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
+ <tr class="memitem:abf31f0f9dfc65634e3054bdbec69de81"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#abf31f0f9dfc65634e3054bdbec69de81">AccessPath</a> (<a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> o=0, const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *srcTy=nullptr)</td></tr>
102
+ <tr class="memdesc:abf31f0f9dfc65634e3054bdbec69de81"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1AccessPath.html#abf31f0f9dfc65634e3054bdbec69de81">More...</a><br /></td></tr>
103
+ <tr class="separator:abf31f0f9dfc65634e3054bdbec69de81"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
104
  <tr class="memitem:afea2322fdbad3a6382b60fc3f77e8e94"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94">AccessPath</a> (const <a class="el" href="classSVF_1_1AccessPath.html">AccessPath</a> &amp;ap)</td></tr>
105
105
  <tr class="memdesc:afea2322fdbad3a6382b60fc3f77e8e94"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy Constructor. <a href="classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94">More...</a><br /></td></tr>
106
106
  <tr class="separator:afea2322fdbad3a6382b60fc3f77e8e94"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -115,13 +115,15 @@ Public Member Functions</h2></td></tr>
115
115
  <tr class="separator:abfc3dfecd5be261ee39f2443d72c1d07"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
116
  <tr class="memitem:a9a21ba7604bc851f743250c9bd6afe35"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35">operator==</a> (const <a class="el" href="classSVF_1_1AccessPath.html">AccessPath</a> &amp;rhs) const</td></tr>
117
117
  <tr class="separator:a9a21ba7604bc851f743250c9bd6afe35"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
- <tr class="memitem:a68e49bb797a84ea035ea338549f2e054"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a> () const</td></tr>
119
- <tr class="memdesc:a68e49bb797a84ea035ea338549f2e054"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods. <a href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">More...</a><br /></td></tr>
120
- <tr class="separator:a68e49bb797a84ea035ea338549f2e054"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
+ <tr class="memitem:a5427d08c9eb9d86e66c2bff6aeba6bac"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">getConstantStructFldIdx</a> () const</td></tr>
119
+ <tr class="memdesc:a5427d08c9eb9d86e66c2bff6aeba6bac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods. <a href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">More...</a><br /></td></tr>
120
+ <tr class="separator:a5427d08c9eb9d86e66c2bff6aeba6bac"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
121
  <tr class="memitem:ab95df74c97fba13206df48e00131e15f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f">setFldIdx</a> (<a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> idx)</td></tr>
122
122
  <tr class="separator:ab95df74c97fba13206df48e00131e15f"><td class="memSeparator" colspan="2">&#160;</td></tr>
123
123
  <tr class="memitem:a586c71842e3e4487921aa3384ce9d025"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a> () const</td></tr>
124
124
  <tr class="separator:a586c71842e3e4487921aa3384ce9d025"><td class="memSeparator" colspan="2">&#160;</td></tr>
125
+ <tr class="memitem:a4e7d73c473a54c69fd01692ee0a9cf35"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a4e7d73c473a54c69fd01692ee0a9cf35">getGepSourceElementType</a> () const</td></tr>
126
+ <tr class="separator:a4e7d73c473a54c69fd01692ee0a9cf35"><td class="memSeparator" colspan="2">&#160;</td></tr>
125
127
  <tr class="memitem:a43dc770c4458c6ac58c591974b93fc57"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a43dc770c4458c6ac58c591974b93fc57">computeConstantByteOffset</a> () const</td></tr>
126
128
  <tr class="separator:a43dc770c4458c6ac58c591974b93fc57"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
129
  <tr class="memitem:ae746362c42da05a641ae062658e40651"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">computeConstantOffset</a> () const</td></tr>
@@ -162,6 +164,8 @@ Private Attributes</h2></td></tr>
162
164
  <tr class="memitem:a47855e8ab3bba692f443903b58618229"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a></td></tr>
163
165
  <tr class="memdesc:a47855e8ab3bba692f443903b58618229"><td class="mdescLeft">&#160;</td><td class="mdescRight">a vector of actual offset in the form of &lt;<a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> Var, iterator type&gt; <a href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">More...</a><br /></td></tr>
164
166
  <tr class="separator:a47855e8ab3bba692f443903b58618229"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
+ <tr class="memitem:ad059cd0b190e8cb852984a670dc51d75"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a></td></tr>
168
+ <tr class="separator:ad059cd0b190e8cb852984a670dc51d75"><td class="memSeparator" colspan="2">&#160;</td></tr>
165
169
  </table><table class="memberdecls">
166
170
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
167
171
  Friends</h2></td></tr>
@@ -236,8 +240,8 @@ Friends</h2></td></tr>
236
240
  </div>
237
241
  </div>
238
242
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
239
- <a id="a90827f966d3018fe663ffe5c8110509e"></a>
240
- <h2 class="memtitle"><span class="permalink"><a href="#a90827f966d3018fe663ffe5c8110509e">&#9670;&nbsp;</a></span>AccessPath() <span class="overload">[1/2]</span></h2>
243
+ <a id="abf31f0f9dfc65634e3054bdbec69de81"></a>
244
+ <h2 class="memtitle"><span class="permalink"><a href="#abf31f0f9dfc65634e3054bdbec69de81">&#9670;&nbsp;</a></span>AccessPath() <span class="overload">[1/2]</span></h2>
241
245
 
242
246
  <div class="memitem">
243
247
  <div class="memproto">
@@ -249,8 +253,18 @@ Friends</h2></td></tr>
249
253
  <td class="memname">SVF::AccessPath::AccessPath </td>
250
254
  <td>(</td>
251
255
  <td class="paramtype"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>&#160;</td>
252
- <td class="paramname"><em>o</em> = <code>0</code></td><td>)</td>
256
+ <td class="paramname"><em>o</em> = <code>0</code>, </td>
257
+ </tr>
258
+ <tr>
259
+ <td class="paramkey"></td>
260
+ <td></td>
261
+ <td class="paramtype">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> *&#160;</td>
262
+ <td class="paramname"><em>srcTy</em> = <code>nullptr</code>&#160;</td>
263
+ </tr>
264
+ <tr>
253
265
  <td></td>
266
+ <td>)</td>
267
+ <td></td><td></td>
254
268
  </tr>
255
269
  </table>
256
270
  </td>
@@ -263,7 +277,7 @@ Friends</h2></td></tr>
263
277
  <p>Constructor. </p>
264
278
 
265
279
  <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00068">68</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
266
- <div class="fragment"><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;: <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>(o) {}</div>
280
+ <div class="fragment"><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;: <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>(o), <a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a>(srcTy) {}</div>
267
281
  </div><!-- fragment -->
268
282
  </div>
269
283
  </div>
@@ -295,9 +309,10 @@ Friends</h2></td></tr>
295
309
 
296
310
  <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00071">71</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
297
311
  <div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; : <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>(ap.fldIdx),</div>
298
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>(ap.getIdxOperandPairVec())</div>
299
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; {</div>
300
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div>
312
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>(ap.getIdxOperandPairVec()),</div>
313
+ <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a>(ap.getGepSourceElementType())</div>
314
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; {</div>
315
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; }</div>
301
316
  </div><!-- fragment -->
302
317
  </div>
303
318
  </div>
@@ -324,8 +339,8 @@ Friends</h2></td></tr>
324
339
  </table>
325
340
  </div><div class="memdoc">
326
341
 
327
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00077">77</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
328
- <div class="fragment"><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;{}</div>
342
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00078">78</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
343
+ <div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;{}</div>
329
344
  </div><!-- fragment -->
330
345
  </div>
331
346
  </div>
@@ -401,26 +416,26 @@ Friends</h2></td></tr>
401
416
 
402
417
  <p>Check relations of two location sets. </p>
403
418
 
404
- <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00290">290</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
405
- <div class="fragment"><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160;{</div>
406
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
407
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
408
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(rhsLocations))</div>
409
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
410
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div>
411
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">Same</a>;</div>
412
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(rhsLocations))</div>
413
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">Superset</a>;</div>
414
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(lhsLocations))</div>
415
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">Subset</a>;</div>
416
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">else</span></div>
417
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">Overlap</a>;</div>
418
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div>
419
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">else</span></div>
420
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div>
421
- <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d">NonOverlap</a>;</div>
422
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div>
423
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160;}</div>
419
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00292">292</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
420
+ <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160;{</div>
421
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
422
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>();</div>
423
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(rhsLocations))</div>
424
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; {</div>
425
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div>
426
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">Same</a>;</div>
427
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(rhsLocations))</div>
428
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">Superset</a>;</div>
429
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.<a class="code" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">contains</a>(lhsLocations))</div>
430
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">Subset</a>;</div>
431
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">else</span></div>
432
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">Overlap</a>;</div>
433
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div>
434
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">else</span></div>
435
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div>
436
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d">NonOverlap</a>;</div>
437
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
438
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160;}</div>
424
439
  </div><!-- fragment -->
425
440
  </div>
426
441
  </div>
@@ -450,12 +465,12 @@ Friends</h2></td></tr>
450
465
  <p>Compute all possible locations according to offset and number-stride pairs. </p>
451
466
  <p>Compute all possible locations according to offset and number-stride pairs. </p>
452
467
 
453
- <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00249">249</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
454
- <div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160;{</div>
455
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> result;</div>
456
- <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; result.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>());</div>
457
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">return</span> result;</div>
458
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160;}</div>
468
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00250">250</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
469
+ <div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160;{</div>
470
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> result;</div>
471
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; result.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(<a class="code" href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">getConstantStructFldIdx</a>());</div>
472
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> result;</div>
473
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160;}</div>
459
474
  </div><!-- fragment -->
460
475
  </div>
461
476
  </div>
@@ -552,40 +567,41 @@ Friends</h2></td></tr>
552
567
  <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; </div>
553
568
  <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; assert(<a class="code" href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">isConstantOffset</a>() &amp;&amp; <span class="stringliteral">&quot;not a constant offset&quot;</span>);</div>
554
569
  <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; </div>
555
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>.empty())</div>
556
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
557
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; </div>
558
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> totalConstOffset = 0;</div>
559
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">for</span>(<span class="keywordtype">int</span> i = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>.size() - 1; i &gt;= 0; i--)</div>
560
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
561
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* value = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>[i].first-&gt;getValue();</div>
562
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>[i].second;</div>
563
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a>* op = SVFUtil::dyn_cast&lt;SVFConstantInt&gt;(value);</div>
564
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; assert(op &amp;&amp; <span class="stringliteral">&quot;not a constant offset?&quot;</span>);</div>
565
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>==<span class="keyword">nullptr</span>)</div>
566
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
567
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
568
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">continue</span>;</div>
569
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div>
570
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; </div>
571
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pty = SVFUtil::dyn_cast&lt;SVFPointerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
572
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * <a class="code" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">getElementNum</a>(pty-&gt;getPtrElementType());</div>
573
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">else</span></div>
574
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div>
575
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
576
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> &gt;= 0)</div>
577
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; {</div>
578
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset =</div>
579
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
580
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
581
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; totalConstOffset += flattenOffset;</div>
582
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; }</div>
583
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">else</span></div>
584
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; totalConstOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
585
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; }</div>
586
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
587
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
588
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160;}</div>
570
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="comment">// source element type is struct</span></div>
571
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a> &amp;&amp; <a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a>-&gt;<a class="code" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a>())</div>
572
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">getConstantStructFldIdx</a>();</div>
573
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; </div>
574
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> totalConstOffset = 0;</div>
575
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">for</span>(<span class="keywordtype">int</span> i = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>.size() - 1; i &gt;= 0; i--)</div>
576
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div>
577
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* value = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>[i].first-&gt;getValue();</div>
578
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>[i].second;</div>
579
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a>* op = SVFUtil::dyn_cast&lt;SVFConstantInt&gt;(value);</div>
580
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; assert(op &amp;&amp; <span class="stringliteral">&quot;not a constant offset?&quot;</span>);</div>
581
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>==<span class="keyword">nullptr</span>)</div>
582
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div>
583
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
584
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">continue</span>;</div>
585
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
586
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; </div>
587
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a>* pty = SVFUtil::dyn_cast&lt;SVFPointerType&gt;(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
588
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; totalConstOffset += op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>() * <a class="code" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">getElementNum</a>(pty-&gt;getPtrElementType());</div>
589
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">else</span></div>
590
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div>
591
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-&gt;<a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
592
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> &gt;= 0)</div>
593
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div>
594
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> flattenOffset =</div>
595
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
596
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
597
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; totalConstOffset += flattenOffset;</div>
598
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; }</div>
599
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">else</span></div>
600
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; totalConstOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
601
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
602
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; }</div>
603
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">return</span> totalConstOffset;</div>
604
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160;}</div>
589
605
  </div><!-- fragment -->
590
606
  </div>
591
607
  </div>
@@ -606,29 +622,29 @@ Friends</h2></td></tr>
606
622
 
607
623
  <p>Dump location set. </p>
608
624
 
609
- <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00312">312</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
610
- <div class="fragment"><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160;{</div>
611
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
612
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; std::stringstream rawstr(str);</div>
613
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; </div>
614
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;AccessPath\tField_Index: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
615
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div>
616
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; vec = <a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
617
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; IdxOperandPairs::const_iterator it = vec.begin();</div>
618
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; IdxOperandPairs::const_iterator eit = vec.end();</div>
619
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">for</span> (; it != eit; ++it)</div>
620
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
621
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty = it-&gt;second;</div>
622
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; (Svf var: &quot;</span> &lt;&lt; it-&gt;first-&gt;<a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() &lt;&lt; <span class="stringliteral">&quot;, Iter type: &quot;</span> &lt;&lt; *ty &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
623
- <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
624
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div>
625
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
626
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160;}</div>
625
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00314">314</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
626
+ <div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160;{</div>
627
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
628
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; std::stringstream rawstr(str);</div>
629
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; </div>
630
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;AccessPath\tField_Index: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">getConstantStructFldIdx</a>();</div>
631
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div>
632
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; vec = <a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
633
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; IdxOperandPairs::const_iterator it = vec.begin();</div>
634
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; IdxOperandPairs::const_iterator eit = vec.end();</div>
635
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">for</span> (; it != eit; ++it)</div>
636
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; {</div>
637
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* ty = it-&gt;second;</div>
638
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; (Svf var: &quot;</span> &lt;&lt; it-&gt;first-&gt;<a class="code" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() &lt;&lt; <span class="stringliteral">&quot;, Iter type: &quot;</span> &lt;&lt; *ty &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
639
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; }</div>
640
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div>
641
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
642
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160;}</div>
627
643
  </div><!-- fragment -->
628
644
  </div>
629
645
  </div>
630
- <a id="a68e49bb797a84ea035ea338549f2e054"></a>
631
- <h2 class="memtitle"><span class="permalink"><a href="#a68e49bb797a84ea035ea338549f2e054">&#9670;&nbsp;</a></span>getConstantFieldIdx()</h2>
646
+ <a id="a5427d08c9eb9d86e66c2bff6aeba6bac"></a>
647
+ <h2 class="memtitle"><span class="permalink"><a href="#a5427d08c9eb9d86e66c2bff6aeba6bac">&#9670;&nbsp;</a></span>getConstantStructFldIdx()</h2>
632
648
 
633
649
  <div class="memitem">
634
650
  <div class="memproto">
@@ -637,7 +653,7 @@ Friends</h2></td></tr>
637
653
  <td class="mlabels-left">
638
654
  <table class="memname">
639
655
  <tr>
640
- <td class="memname"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> SVF::AccessPath::getConstantFieldIdx </td>
656
+ <td class="memname"><a class="el" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> SVF::AccessPath::getConstantStructFldIdx </td>
641
657
  <td>(</td>
642
658
  <td class="paramname"></td><td>)</td>
643
659
  <td> const</td>
@@ -652,10 +668,10 @@ Friends</h2></td></tr>
652
668
 
653
669
  <p>Get methods. </p>
654
670
 
655
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00098">98</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
656
- <div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
657
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>;</div>
658
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
671
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00100">100</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
672
+ <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
673
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>;</div>
674
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
659
675
  </div><!-- fragment -->
660
676
  </div>
661
677
  </div>
@@ -707,6 +723,36 @@ Friends</h2></td></tr>
707
723
  </div><!-- fragment -->
708
724
  </div>
709
725
  </div>
726
+ <a id="a4e7d73c473a54c69fd01692ee0a9cf35"></a>
727
+ <h2 class="memtitle"><span class="permalink"><a href="#a4e7d73c473a54c69fd01692ee0a9cf35">&#9670;&nbsp;</a></span>getGepSourceElementType()</h2>
728
+
729
+ <div class="memitem">
730
+ <div class="memproto">
731
+ <table class="mlabels">
732
+ <tr>
733
+ <td class="mlabels-left">
734
+ <table class="memname">
735
+ <tr>
736
+ <td class="memname">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a>* SVF::AccessPath::getGepSourceElementType </td>
737
+ <td>(</td>
738
+ <td class="paramname"></td><td>)</td>
739
+ <td> const</td>
740
+ </tr>
741
+ </table>
742
+ </td>
743
+ <td class="mlabels-right">
744
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
745
+ </tr>
746
+ </table>
747
+ </div><div class="memdoc">
748
+
749
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00112">112</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
750
+ <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div>
751
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a>;</div>
752
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
753
+ </div><!-- fragment -->
754
+ </div>
755
+ </div>
710
756
  <a id="a586c71842e3e4487921aa3384ce9d025"></a>
711
757
  <h2 class="memtitle"><span class="permalink"><a href="#a586c71842e3e4487921aa3384ce9d025">&#9670;&nbsp;</a></span>getIdxOperandPairVec()</h2>
712
758
 
@@ -730,10 +776,10 @@ Friends</h2></td></tr>
730
776
  </table>
731
777
  </div><div class="memdoc">
732
778
 
733
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00106">106</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
734
- <div class="fragment"><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; {</div>
735
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>;</div>
736
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
779
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00108">108</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
780
+ <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; {</div>
781
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a>;</div>
782
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
737
783
  </div><!-- fragment -->
738
784
  </div>
739
785
  </div>
@@ -811,10 +857,10 @@ Friends</h2></td></tr>
811
857
 
812
858
  <p>Return TRUE if we share any location in common with RHS. </p>
813
859
 
814
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00149">149</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
815
- <div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div>
816
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>().<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(RHS.computeAllLocations());</div>
817
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div>
860
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00155">155</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
861
+ <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div>
862
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>().<a class="code" href="classSVF_1_1SparseBitVector.html#a16756e0545fd3d50ab89f45a2e83bb79">intersects</a>(RHS.computeAllLocations());</div>
863
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div>
818
864
  </div><!-- fragment -->
819
865
  </div>
820
866
  </div>
@@ -866,15 +912,16 @@ Friends</h2></td></tr>
866
912
 
867
913
  <p>Overload operators. </p>
868
914
 
869
- <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00256">256</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
870
- <div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160;{</div>
871
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> ap(rhs);</div>
872
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; ap.fldIdx += <a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
873
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a> : ap.getIdxOperandPairVec())</div>
874
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; ap.addOffsetVarAndGepTypePair(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first, <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
875
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; </div>
876
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">return</span> ap;</div>
877
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160;}</div>
915
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00257">257</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
916
+ <div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160;{</div>
917
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; assert(<a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a> == rhs.<a class="code" href="classSVF_1_1AccessPath.html#a4e7d73c473a54c69fd01692ee0a9cf35">getGepSourceElementType</a>() &amp;&amp; <span class="stringliteral">&quot;source element type not match&quot;</span>);</div>
918
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html">AccessPath</a> ap(rhs);</div>
919
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; ap.fldIdx += <a class="code" href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">getConstantStructFldIdx</a>();</div>
920
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a> : ap.getIdxOperandPairVec())</div>
921
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; ap.addOffsetVarAndGepTypePair(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first, <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
922
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; </div>
923
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">return</span> ap;</div>
924
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160;}</div>
878
925
  </div><!-- fragment -->
879
926
  </div>
880
927
  </div>
@@ -894,29 +941,29 @@ Friends</h2></td></tr>
894
941
  </table>
895
942
  </div><div class="memdoc">
896
943
 
897
- <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00266">266</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
898
- <div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160;{</div>
899
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> != rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>)</div>
900
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> &lt; rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>);</div>
901
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">else</span></div>
902
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
903
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; pairVec = <a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
904
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; rhsPairVec = rhs.<a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
905
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div>
906
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div>
907
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">else</span></div>
908
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
909
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; IdxOperandPairs::const_iterator it = pairVec.begin();</div>
910
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; IdxOperandPairs::const_iterator rhsIt = rhsPairVec.begin();</div>
911
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div>
912
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; {</div>
913
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div>
914
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
915
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; </div>
916
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
917
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
918
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div>
919
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160;}</div>
944
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8cpp_source.html#l00268">268</a> of file <a class="el" href="AccessPath_8cpp_source.html">AccessPath.cpp</a>.</p>
945
+ <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160;{</div>
946
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> != rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>)</div>
947
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> &lt; rhs.<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a>);</div>
948
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">else</span></div>
949
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div>
950
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; pairVec = <a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
951
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a>&amp; rhsPairVec = rhs.<a class="code" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>();</div>
952
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div>
953
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div>
954
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <span class="keywordflow">else</span></div>
955
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div>
956
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; IdxOperandPairs::const_iterator it = pairVec.begin();</div>
957
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; IdxOperandPairs::const_iterator rhsIt = rhsPairVec.begin();</div>
958
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div>
959
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
960
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div>
961
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div>
962
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; </div>
963
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
964
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
965
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
966
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160;}</div>
920
967
  </div><!-- fragment -->
921
968
  </div>
922
969
  </div>
@@ -944,12 +991,13 @@ Friends</h2></td></tr>
944
991
  </table>
945
992
  </div><div class="memdoc">
946
993
 
947
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00083">83</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
948
- <div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; {</div>
949
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> = rhs.fldIdx;</div>
950
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a> = rhs.getIdxOperandPairVec();</div>
951
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
952
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
994
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00084">84</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
995
+ <div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
996
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> = rhs.fldIdx;</div>
997
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a> = rhs.getIdxOperandPairVec();</div>
998
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a> = rhs.gepSourceElementType;</div>
999
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
1000
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; }</div>
953
1001
  </div><!-- fragment -->
954
1002
  </div>
955
1003
  </div>
@@ -977,11 +1025,11 @@ Friends</h2></td></tr>
977
1025
  </table>
978
1026
  </div><div class="memdoc">
979
1027
 
980
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00089">89</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
981
- <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
982
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> == rhs.fldIdx &amp;&amp;</div>
983
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; this-&gt;<a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a> == rhs.idxOperandPairs;</div>
984
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div>
1028
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00091">91</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1029
+ <div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; {</div>
1030
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> == rhs.fldIdx &amp;&amp;</div>
1031
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; this-&gt;<a class="code" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a> == rhs.idxOperandPairs &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">gepSourceElementType</a> == rhs.gepSourceElementType;</div>
1032
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; }</div>
985
1033
  </div><!-- fragment -->
986
1034
  </div>
987
1035
  </div>
@@ -1009,10 +1057,10 @@ Friends</h2></td></tr>
1009
1057
  </table>
1010
1058
  </div><div class="memdoc">
1011
1059
 
1012
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00102">102</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1013
- <div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; {</div>
1014
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> = idx;</div>
1015
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
1060
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00104">104</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1061
+ <div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; {</div>
1062
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; <a class="code" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a> = idx;</div>
1063
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; }</div>
1016
1064
  </div><!-- fragment -->
1017
1065
  </div>
1018
1066
  </div>
@@ -1112,7 +1160,31 @@ Friends</h2></td></tr>
1112
1160
 
1113
1161
  <p>Accumulated Constant Offsets. </p>
1114
1162
 
1115
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00168">168</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1163
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00174">174</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1164
+
1165
+ </div>
1166
+ </div>
1167
+ <a id="ad059cd0b190e8cb852984a670dc51d75"></a>
1168
+ <h2 class="memtitle"><span class="permalink"><a href="#ad059cd0b190e8cb852984a670dc51d75">&#9670;&nbsp;</a></span>gepSourceElementType</h2>
1169
+
1170
+ <div class="memitem">
1171
+ <div class="memproto">
1172
+ <table class="mlabels">
1173
+ <tr>
1174
+ <td class="mlabels-left">
1175
+ <table class="memname">
1176
+ <tr>
1177
+ <td class="memname">const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a>* SVF::AccessPath::gepSourceElementType</td>
1178
+ </tr>
1179
+ </table>
1180
+ </td>
1181
+ <td class="mlabels-right">
1182
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
1183
+ </tr>
1184
+ </table>
1185
+ </div><div class="memdoc">
1186
+
1187
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00176">176</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1116
1188
 
1117
1189
  </div>
1118
1190
  </div>
@@ -1138,7 +1210,7 @@ Friends</h2></td></tr>
1138
1210
 
1139
1211
  <p>a vector of actual offset in the form of &lt;<a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> Var, iterator type&gt; </p>
1140
1212
 
1141
- <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00169">169</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1213
+ <p class="definition">Definition at line <a class="el" href="AccessPath_8h_source.html#l00175">175</a> of file <a class="el" href="AccessPath_8h_source.html">AccessPath.h</a>.</p>
1142
1214
 
1143
1215
  </div>
1144
1216
  </div>
@@ -1154,14 +1226,16 @@ Friends</h2></td></tr>
1154
1226
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">SVF::AccessPath::Overlap</a></div><div class="ttdeci">@ Overlap</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
1155
1227
  <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
1156
1228
  <div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00351">SVFType.h:351</a></div></div>
1229
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_ad059cd0b190e8cb852984a670dc51d75"><div class="ttname"><a href="classSVF_1_1AccessPath.html#ad059cd0b190e8cb852984a670dc51d75">SVF::AccessPath::gepSourceElementType</a></div><div class="ttdeci">const SVFType * gepSourceElementType</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00176">AccessPath.h:176</a></div></div>
1157
1230
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
1158
1231
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_ac2db6304ea5526fb446ae882983beeb0"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">SVF::SVFVar::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get/has methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
1159
1232
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
1160
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00249">AccessPath.cpp:249</a></div></div>
1233
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a5427d08c9eb9d86e66c2bff6aeba6bac"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a5427d08c9eb9d86e66c2bff6aeba6bac">SVF::AccessPath::getConstantStructFldIdx</a></div><div class="ttdeci">APOffset getConstantStructFldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00100">AccessPath.h:100</a></div></div>
1234
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a4e7d73c473a54c69fd01692ee0a9cf35"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a4e7d73c473a54c69fd01692ee0a9cf35">SVF::AccessPath::getGepSourceElementType</a></div><div class="ttdeci">const SVFType * getGepSourceElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00112">AccessPath.h:112</a></div></div>
1235
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a76222b6571e46e8a8bd5c8c597c8ffaf"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">SVF::AccessPath::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00250">AccessPath.cpp:250</a></div></div>
1161
1236
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
1162
1237
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">SVF::AccessPath::Same</a></div><div class="ttdeci">@ Same</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
1163
1238
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
1164
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a68e49bb797a84ea035ea338549f2e054"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">SVF::AccessPath::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Get methods.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00098">AccessPath.h:98</a></div></div>
1165
1239
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
1166
1240
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
1167
1241
  <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00469">SVFType.h:469</a></div></div>
@@ -1173,19 +1247,20 @@ Friends</h2></td></tr>
1173
1247
  <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00966">SVFValue.h:966</a></div></div>
1174
1248
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div></div>
1175
1249
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a04ca154a70f40999a6a28c505bfd942d"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">SVF::AccessPath::IdxOperandPairs</a></div><div class="ttdeci">std::vector&lt; IdxOperandPair &gt; IdxOperandPairs</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00065">AccessPath.h:65</a></div></div>
1176
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a47855e8ab3bba692f443903b58618229"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">SVF::AccessPath::idxOperandPairs</a></div><div class="ttdeci">IdxOperandPairs idxOperandPairs</div><div class="ttdoc">a vector of actual offset in the form of &lt;SVF Var, iterator type&gt;</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00169">AccessPath.h:169</a></div></div>
1250
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a47855e8ab3bba692f443903b58618229"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">SVF::AccessPath::idxOperandPairs</a></div><div class="ttdeci">IdxOperandPairs idxOperandPairs</div><div class="ttdoc">a vector of actual offset in the form of &lt;SVF Var, iterator type&gt;</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00175">AccessPath.h:175</a></div></div>
1177
1251
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
1178
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_a586c71842e3e4487921aa3384ce9d025"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">SVF::AccessPath::getIdxOperandPairVec</a></div><div class="ttdeci">const IdxOperandPairs &amp; getIdxOperandPairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00106">AccessPath.h:106</a></div></div>
1252
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_a586c71842e3e4487921aa3384ce9d025"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">SVF::AccessPath::getIdxOperandPairVec</a></div><div class="ttdeci">const IdxOperandPairs &amp; getIdxOperandPairVec() const</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00108">AccessPath.h:108</a></div></div>
1179
1253
  <div class="ttc" id="aclassSVF_1_1StInfo_html_aaf05447c20c9f90eea64ab6e88d6ab05"><div class="ttname"><a href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo::getFlattenedFieldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; &amp; getFlattenedFieldIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00180">SVFType.h:180</a></div></div>
1180
1254
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a05850c17c2dbe42e5602dc8c9a70f3bd"><div class="ttname"><a href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType::getTypeInfo</a></div><div class="ttdeci">StInfo * getTypeInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00309">SVFType.h:309</a></div></div>
1181
1255
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">SVF::AccessPath::Superset</a></div><div class="ttdeci">@ Superset</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
1182
1256
  <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
1183
1257
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
1184
1258
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a403312192a96a9fd5e7d071481592a7f"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">SVF::AccessPath::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00049">AccessPath.cpp:49</a></div></div>
1185
- <div class="ttc" id="aclassSVF_1_1AccessPath_html_aa1747064a0833855a5848ebf4a4d65fa"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">SVF::AccessPath::fldIdx</a></div><div class="ttdeci">APOffset fldIdx</div><div class="ttdoc">Accumulated Constant Offsets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00168">AccessPath.h:168</a></div></div>
1259
+ <div class="ttc" id="aclassSVF_1_1AccessPath_html_aa1747064a0833855a5848ebf4a4d65fa"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">SVF::AccessPath::fldIdx</a></div><div class="ttdeci">APOffset fldIdx</div><div class="ttdoc">Accumulated Constant Offsets.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00174">AccessPath.h:174</a></div></div>
1186
1260
  <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
1187
1261
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
1188
1262
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4"><div class="ttname"><a href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">SVF::AccessPath::Subset</a></div><div class="ttdeci">@ Subset</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00061">AccessPath.h:61</a></div></div>
1263
+ <div class="ttc" id="aclassSVF_1_1SVFType_html_af06efda21356fbd3559e11ec7ae1bde5"><div class="ttname"><a href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">SVF::SVFType::isStructTy</a></div><div class="ttdeci">bool isStructTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00338">SVFType.h:338</a></div></div>
1189
1264
  <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00994">SVFValue.h:994</a></div></div>
1190
1265
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
1191
1266
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a811a3489df0f793c7a5482d31d470a4c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a811a3489df0f793c7a5482d31d470a4c">SVF::SymbolTableInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements(const SVFType *T)</div><div class="ttdoc">Number of flattened elements of an array or struct.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00172">SymbolTableInfo.cpp:172</a></div></div>