svf-tools 1.0.560 → 1.0.563

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 (348) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +43 -43
  3. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +17 -17
  6. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +18 -18
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +56 -56
  9. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +45 -45
  12. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +43 -43
  13. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  14. package/SVF-doxygen/html/html/DDAClient_8h_source.html +36 -36
  15. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +19 -19
  16. package/SVF-doxygen/html/html/DDAPass_8h_source.html +21 -21
  17. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +53 -53
  18. package/SVF-doxygen/html/html/DDAStat_8h_source.html +51 -51
  19. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +112 -112
  20. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +2 -2
  22. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +17 -17
  23. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +17 -17
  24. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +40 -40
  25. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +52 -52
  26. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
  27. package/SVF-doxygen/html/html/FileChecker_8h_source.html +2 -2
  28. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +42 -42
  30. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  32. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  33. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -1
  34. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +10 -10
  35. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  36. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +3 -3
  37. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +35 -35
  40. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +114 -114
  41. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +7 -7
  43. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  44. package/SVF-doxygen/html/html/MHP_8cpp_source.html +95 -95
  45. package/SVF-doxygen/html/html/MHP_8h_source.html +135 -135
  46. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +6 -6
  47. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  49. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +10 -10
  50. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  51. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +34 -34
  52. package/SVF-doxygen/html/html/MTAStat_8h_source.html +14 -14
  53. package/SVF-doxygen/html/html/MTA_8cpp_source.html +29 -29
  54. package/SVF-doxygen/html/html/MTA_8h_source.html +24 -24
  55. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +6 -6
  56. package/SVF-doxygen/html/html/MemPartition_8h_source.html +4 -4
  57. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +50 -50
  58. package/SVF-doxygen/html/html/MemRegion_8h_source.html +93 -93
  59. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +60 -60
  60. package/SVF-doxygen/html/html/MemSSA_8h_source.html +103 -103
  61. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +185 -185
  62. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  64. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  65. package/SVF-doxygen/html/html/PCG_8cpp_source.html +14 -14
  66. package/SVF-doxygen/html/html/PCG_8h_source.html +52 -52
  67. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +7 -4
  68. package/SVF-doxygen/html/html/PTAStat_8h_source.html +3 -3
  69. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +40 -40
  70. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +181 -181
  71. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  72. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +30 -30
  73. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  74. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +60 -60
  77. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  79. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  82. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +20 -20
  83. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +12 -12
  85. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  86. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
  87. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +37 -37
  88. package/SVF-doxygen/html/html/SVFModule_8cpp.html +1 -0
  89. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +6 -2
  90. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  91. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +6 -3
  92. package/SVF-doxygen/html/html/SVFStat_8h_source.html +7 -4
  93. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  95. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +3 -3
  96. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +2 -2
  97. package/SVF-doxygen/html/html/SaberCheckerAPI_8cpp_source.html +1 -1
  98. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  99. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  100. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +1 -1
  101. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  102. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  104. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +66 -66
  105. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +1 -1
  106. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +4 -4
  107. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +6 -6
  108. package/SVF-doxygen/html/html/TCT_8cpp_source.html +44 -44
  109. package/SVF-doxygen/html/html/TCT_8h_source.html +93 -93
  110. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  111. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  112. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  113. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +26 -26
  114. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +38 -38
  115. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  116. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  118. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  119. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  120. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +22 -22
  122. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +106 -106
  123. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +43 -43
  124. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +24 -24
  125. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -6
  126. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +15 -12
  127. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +25 -18
  128. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +21 -21
  129. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +39 -39
  130. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  131. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
  132. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +101 -101
  136. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +51 -51
  137. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +58 -58
  138. package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +14 -11
  139. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +173 -166
  140. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +288 -288
  141. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +26 -26
  142. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +11 -11
  143. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +4 -4
  144. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  145. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  146. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +50 -50
  147. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +30 -30
  148. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  149. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +72 -72
  150. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +20 -20
  151. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +15 -12
  152. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +9 -2
  153. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +218 -218
  154. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  155. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +19 -19
  157. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +14 -11
  158. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +7 -0
  159. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +7 -7
  161. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +36 -33
  162. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +17 -17
  163. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +2 -2
  164. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +337 -337
  165. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  166. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +248 -248
  167. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +7 -7
  168. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +200 -200
  169. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +2 -2
  170. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  174. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +54 -54
  175. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  176. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +22 -22
  177. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +181 -181
  178. package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +13 -10
  179. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +54 -47
  180. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +23 -23
  181. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +269 -269
  182. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +19 -16
  183. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +26 -19
  184. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +128 -128
  185. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +55 -55
  186. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +88 -88
  187. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +78 -78
  188. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +77 -77
  189. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +3 -3
  190. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +131 -131
  191. package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +14 -11
  192. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +23 -12
  193. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +32 -32
  194. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +107 -107
  195. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +66 -66
  196. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +84 -84
  197. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +77 -77
  198. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +134 -134
  199. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +77 -77
  200. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  201. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +161 -161
  202. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
  203. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +2 -2
  204. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +22 -22
  205. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  206. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  207. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +26 -23
  208. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +19 -12
  209. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +128 -122
  210. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +5 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +6 -3
  212. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +89 -7
  213. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  214. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  215. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +157 -157
  216. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +15 -15
  217. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  218. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +264 -264
  219. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +13 -13
  220. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +20 -20
  221. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +106 -106
  223. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +18 -15
  224. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +16 -9
  225. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +11 -11
  227. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  228. package/SVF-doxygen/html/html/dda_8cpp.html +3 -3
  229. package/SVF-doxygen/html/html/dda_8cpp_source.html +3 -3
  230. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  231. package/SVF-doxygen/html/html/functions_i.html +3 -3
  232. package/SVF-doxygen/html/html/functions_l.html +6 -6
  233. package/SVF-doxygen/html/html/functions_o.html +15 -15
  234. package/SVF-doxygen/html/html/functions_p.html +1 -1
  235. package/SVF-doxygen/html/html/functions_s.html +9 -11
  236. package/SVF-doxygen/html/html/functions_t.html +17 -10
  237. package/SVF-doxygen/html/html/functions_v.html +6 -6
  238. package/SVF-doxygen/html/html/functions_vars_t.html +9 -0
  239. package/SVF-doxygen/html/html/functions_w.html +11 -11
  240. package/SVF-doxygen/html/html/mta_8cpp.html +3 -3
  241. package/SVF-doxygen/html/html/mta_8cpp_source.html +3 -3
  242. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  243. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  244. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  245. package/SVF-doxygen/html/html/search/all_10.js +3 -3
  246. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  247. package/SVF-doxygen/html/html/search/all_12.js +6 -6
  248. package/SVF-doxygen/html/html/search/all_13.js +9 -6
  249. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  250. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  251. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  252. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  253. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  254. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  255. package/SVF-doxygen/html/html/search/all_f.js +3 -3
  256. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  257. package/SVF-doxygen/html/html/search/variables_13.js +5 -2
  258. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  259. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  260. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  261. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +3 -3
  262. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  263. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +15 -15
  264. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +1 -1
  265. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +1 -1
  266. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +2 -2
  267. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  268. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  269. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  270. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  271. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  272. package/include/DDA/ContextDDA.h +29 -0
  273. package/include/DDA/DDAClient.h +23 -0
  274. package/include/DDA/DDAPass.h +22 -0
  275. package/include/DDA/DDAStat.h +22 -0
  276. package/include/DDA/DDAVFSolver.h +26 -4
  277. package/include/DDA/FlowDDA.h +29 -0
  278. package/include/MSSA/MSSAMuChi.h +1 -1
  279. package/include/MSSA/MemPartition.h +1 -1
  280. package/include/MSSA/MemRegion.h +5 -1
  281. package/include/MSSA/MemSSA.h +7 -1
  282. package/include/MSSA/SVFGBuilder.h +1 -1
  283. package/include/MTA/FSMPTA.h +26 -0
  284. package/include/MTA/LockAnalysis.h +22 -0
  285. package/include/MTA/MHP.h +22 -0
  286. package/include/MTA/MTA.h +27 -1
  287. package/include/MTA/MTAStat.h +22 -0
  288. package/include/MTA/PCG.h +22 -0
  289. package/include/MTA/TCT.h +22 -0
  290. package/include/MemoryModel/AbstractPointsToDS.h +34 -0
  291. package/include/MemoryModel/ConditionalPT.h +1 -1
  292. package/include/MemoryModel/LocationSet.h +1 -1
  293. package/include/MemoryModel/MutablePointsToDS.h +32 -0
  294. package/include/MemoryModel/PAGBuilderFromFile.h +2 -2
  295. package/include/MemoryModel/PersistentPointsToCache.h +3 -1
  296. package/include/MemoryModel/PersistentPointsToDS.h +10 -0
  297. package/include/MemoryModel/PointerAnalysis.h +1 -1
  298. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  299. package/include/MemoryModel/SVFStatements.h +1 -1
  300. package/include/SABER/DoubleFreeChecker.h +1 -1
  301. package/include/SABER/FileChecker.h +1 -1
  302. package/include/SABER/LeakChecker.h +1 -1
  303. package/include/SABER/ProgSlice.h +8 -1
  304. package/include/SABER/SaberAnnotator.h +1 -1
  305. package/include/SABER/SaberCheckerAPI.h +1 -1
  306. package/include/SABER/SaberCondAllocator.h +1 -1
  307. package/include/SABER/SaberSVFGBuilder.h +1 -1
  308. package/include/SABER/SrcSnkDDA.h +8 -1
  309. package/include/SABER/SrcSnkSolver.h +1 -1
  310. package/include/Util/SVFStat.h +4 -0
  311. package/include/WPA/Andersen.h +5 -0
  312. package/include/WPA/TypeAnalysis.h +1 -1
  313. package/include/WPA/VersionedFlowSensitive.h +4 -0
  314. package/lib/DDA/ContextDDA.cpp +22 -0
  315. package/lib/DDA/DDAClient.cpp +22 -0
  316. package/lib/DDA/DDAPass.cpp +23 -0
  317. package/lib/DDA/DDAStat.cpp +22 -0
  318. package/lib/DDA/FlowDDA.cpp +22 -0
  319. package/lib/MTA/FSMPTA.cpp +22 -0
  320. package/lib/MTA/LockAnalysis.cpp +26 -4
  321. package/lib/MTA/MHP.cpp +25 -3
  322. package/lib/MTA/MTA.cpp +23 -0
  323. package/lib/MTA/MTAStat.cpp +22 -0
  324. package/lib/MTA/PCG.cpp +22 -0
  325. package/lib/MTA/TCT.cpp +23 -0
  326. package/lib/MemoryModel/LocationSet.cpp +1 -1
  327. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  328. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  329. package/lib/MemoryModel/PointerAnalysisImpl.cpp +23 -0
  330. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  331. package/lib/SABER/FileChecker.cpp +1 -1
  332. package/lib/SABER/LeakChecker.cpp +1 -1
  333. package/lib/SABER/ProgSlice.cpp +1 -1
  334. package/lib/SABER/SaberAnnotator.cpp +1 -1
  335. package/lib/SABER/SaberCheckerAPI.cpp +1 -1
  336. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  337. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  338. package/lib/SABER/SrcSnkDDA.cpp +1 -1
  339. package/lib/SVF-FE/LLVMModule.cpp +5 -0
  340. package/lib/SVF-FE/SVFIRBuilder.cpp +26 -0
  341. package/lib/Util/ExtAPI.cpp +42 -0
  342. package/lib/Util/PTAStat.cpp +5 -0
  343. package/lib/Util/SVFModule.cpp +4 -0
  344. package/lib/Util/SVFStat.cpp +5 -0
  345. package/lib/WPA/Steensgaard.cpp +22 -0
  346. package/lib/WPA/TypeAnalysis.cpp +1 -1
  347. package/lib/WPA/WPAPass.cpp +1 -1
  348. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html CHANGED
@@ -333,7 +333,7 @@ class SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</h3>
333
333
 
334
334
  <p>Incremental version of the persistent data-flow points-to data structure. </p>
335
335
 
336
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00018">18</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
336
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00028">28</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
337
337
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
338
338
  <a id="ae56633d34e5fb4499c82d422646a91f0"></a>
339
339
  <h2 class="memtitle"><span class="permalink"><a href="#ae56633d34e5fb4499c82d422646a91f0">&#9670;&nbsp;</a></span>BaseDFPTData</h2>
@@ -349,7 +349,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
349
349
  </table>
350
350
  </div><div class="memdoc">
351
351
 
352
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00575">575</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
352
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00585">585</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
353
353
 
354
354
  </div>
355
355
  </div>
@@ -367,7 +367,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
367
367
  </table>
368
368
  </div><div class="memdoc">
369
369
 
370
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00576">576</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
370
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00586">586</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
371
371
 
372
372
  </div>
373
373
  </div>
@@ -385,7 +385,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
385
385
  </table>
386
386
  </div><div class="memdoc">
387
387
 
388
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00574">574</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
388
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00584">584</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
389
389
 
390
390
  </div>
391
391
  </div>
@@ -403,7 +403,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
403
403
  </table>
404
404
  </div><div class="memdoc">
405
405
 
406
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00573">573</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
406
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00583">583</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
407
407
 
408
408
  </div>
409
409
  </div>
@@ -421,7 +421,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
421
421
  </table>
422
422
  </div><div class="memdoc">
423
423
 
424
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00579">579</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
424
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00589">589</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
425
425
 
426
426
  </div>
427
427
  </div>
@@ -439,7 +439,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
439
439
  </table>
440
440
  </div><div class="memdoc">
441
441
 
442
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00577">577</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
442
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00587">587</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
443
443
 
444
444
  </div>
445
445
  </div>
@@ -457,7 +457,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
457
457
  </table>
458
458
  </div><div class="memdoc">
459
459
 
460
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00580">580</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
460
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00590">590</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
461
461
 
462
462
  </div>
463
463
  </div>
@@ -506,8 +506,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
506
506
 
507
507
  <p>Constructor. </p>
508
508
 
509
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00584">584</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
510
- <div class="fragment"><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; : <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b">BasePersDFPTData</a>(cache, reversePT, ty) { }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_abce6fa91fed789ef25146440ee10872b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b">SVF::PersistentIncDFPTData::BasePersDFPTData</a></div><div class="ttdeci">PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; BasePersDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00576">PersistentPointsToDS.h:576</a></div></div>
509
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00594">594</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
510
+ <div class="fragment"><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; : <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b">BasePersDFPTData</a>(cache, reversePT, ty) { }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_abce6fa91fed789ef25146440ee10872b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b">SVF::PersistentIncDFPTData::BasePersDFPTData</a></div><div class="ttdeci">PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; BasePersDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00586">PersistentPointsToDS.h:586</a></div></div>
511
511
  </div><!-- fragment -->
512
512
  </div>
513
513
  </div>
@@ -536,8 +536,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
536
536
  </table>
537
537
  </div><div class="memdoc">
538
538
 
539
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00587">587</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
540
- <div class="fragment"><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160;{ }</div></div><!-- fragment -->
539
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00597">597</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
540
+ <div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160;{ }</div></div><!-- fragment -->
541
541
  </div>
542
542
  </div>
543
543
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -568,8 +568,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
568
568
  </div><div class="memdoc">
569
569
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
570
570
 
571
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00711">711</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
572
- <div class="fragment"><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; {</div><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; }</div></div><!-- fragment -->
571
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00721">721</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
572
+ <div class="fragment"><div class="line"><a name="l00722"></a><span class="lineno"> 722</span>&#160; {</div><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; }</div></div><!-- fragment -->
573
573
  </div>
574
574
  </div>
575
575
  <a id="a47c2fbf8b959aae3166b9757b12880a7"></a>
@@ -598,8 +598,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
598
598
  </table>
599
599
  </div><div class="memdoc">
600
600
 
601
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00716">716</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
602
- <div class="fragment"><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; {</div><div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">BasePTData::PersIncDataFlow</a>;</div><div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">SVF::PTData::PersIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00058">AbstractPointsToDS.h:58</a></div></div>
601
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00726">726</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
602
+ <div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; {</div><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">BasePTData::PersIncDataFlow</a>;</div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">SVF::PTData::PersIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00092">AbstractPointsToDS.h:92</a></div></div>
603
603
  </div><!-- fragment -->
604
604
  </div>
605
605
  </div>
@@ -632,10 +632,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
632
632
 
633
633
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
634
634
 
635
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00702">702</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
636
- <div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160; {</div><div class="line"><a name="l00704"></a><span class="lineno"> 704</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">BasePersDFPTData::clear</a>();</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00786">PersistentPointsToDS.h:786</a></div></div>
637
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab070b1baa6a01800edac36dc075107fd"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00341">PersistentPointsToDS.h:341</a></div></div>
638
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00787">PersistentPointsToDS.h:787</a></div></div>
635
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00712">712</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
636
+ <div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; {</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">BasePersDFPTData::clear</a>();</div><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
637
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab070b1baa6a01800edac36dc075107fd"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00351">PersistentPointsToDS.h:351</a></div></div>
638
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
639
639
  </div><!-- fragment -->
640
640
  </div>
641
641
  </div>
@@ -667,10 +667,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
667
667
 
668
668
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
669
669
 
670
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00690">690</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
671
- <div class="fragment"><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; {</div><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160; {</div><div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160; {</div><div class="line"><a name="l00697"></a><span class="lineno"> 697</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160; }</div><div class="line"><a name="l00699"></a><span class="lineno"> 699</span>&#160; }</div><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad1a2cd17519912b1d7571eeddcdc0060"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s OUT updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00763">PersistentPointsToDS.h:763</a></div></div>
672
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a67c4dec1150bdd8458046696578e5069"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">SVF::PersistentDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00399">PersistentPointsToDS.h:399</a></div></div>
673
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa50d20f82143fd56cbe468b29bf9e11e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">SVF::PersistentIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts info in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00778">PersistentPointsToDS.h:778</a></div></div>
670
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00700">700</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
671
+ <div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno"> 701</span>&#160; {</div><div class="line"><a name="l00702"></a><span class="lineno"> 702</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160; {</div><div class="line"><a name="l00704"></a><span class="lineno"> 704</span>&#160; <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160; {</div><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; }</div><div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div><div class="line"><a name="l00710"></a><span class="lineno"> 710</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad1a2cd17519912b1d7571eeddcdc0060"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s OUT updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00773">PersistentPointsToDS.h:773</a></div></div>
672
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a67c4dec1150bdd8458046696578e5069"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">SVF::PersistentDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00409">PersistentPointsToDS.h:409</a></div></div>
673
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa50d20f82143fd56cbe468b29bf9e11e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">SVF::PersistentIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts info in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00788">PersistentPointsToDS.h:788</a></div></div>
674
674
  </div><!-- fragment -->
675
675
  </div>
676
676
  </div>
@@ -702,8 +702,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
702
702
 
703
703
  <p>Get all variables which have new pts informationin loc's IN set. </p>
704
704
 
705
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00748">748</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
706
- <div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; {</div><div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00787">PersistentPointsToDS.h:787</a></div></div>
705
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00758">758</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
706
+ <div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; {</div><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
707
707
  </div><!-- fragment -->
708
708
  </div>
709
709
  </div>
@@ -735,8 +735,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
735
735
 
736
736
  <p>Get all variables which have new pts info in loc's OUT set. </p>
737
737
 
738
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00778">778</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
739
- <div class="fragment"><div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; {</div><div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00786">PersistentPointsToDS.h:786</a></div></div>
738
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00788">788</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
739
+ <div class="fragment"><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; {</div><div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
740
740
  </div><!-- fragment -->
741
741
  </div>
742
742
  </div>
@@ -778,8 +778,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
778
778
 
779
779
  <p>Remove var from loc's IN updated set. </p>
780
780
 
781
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00733">733</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
782
- <div class="fragment"><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; {</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.end()) it-&gt;second.erase(var);</div><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00787">PersistentPointsToDS.h:787</a></div></div>
781
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00743">743</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
782
+ <div class="fragment"><div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; {</div><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.end()) it-&gt;second.erase(var);</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
783
783
  </div><!-- fragment -->
784
784
  </div>
785
785
  </div>
@@ -821,8 +821,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
821
821
 
822
822
  <p>Remove var from loc's OUT updated set. </p>
823
823
 
824
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00763">763</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
825
- <div class="fragment"><div class="line"><a name="l00764"></a><span class="lineno"> 764</span>&#160; {</div><div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.end()) it-&gt;second.erase(var);</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00786">PersistentPointsToDS.h:786</a></div></div>
824
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00773">773</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
825
+ <div class="fragment"><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; {</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.end()) it-&gt;second.erase(var);</div><div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
826
826
  </div><!-- fragment -->
827
827
  </div>
828
828
  </div>
@@ -865,9 +865,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
865
865
  <p>Handle address-taken variables whose IN pts changed. </p>
866
866
  <p>Add var into loc's IN updated set. Called when var's pts in loc's IN set is changed. </p>
867
867
 
868
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00727">727</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
869
- <div class="fragment"><div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; {</div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVFUtil::insertKey</a>(var, <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>[loc]);</div><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00307">SVFUtil.h:307</a></div></div>
870
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00787">PersistentPointsToDS.h:787</a></div></div>
868
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00737">737</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
869
+ <div class="fragment"><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; {</div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVFUtil::insertKey</a>(var, <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>[loc]);</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00307">SVFUtil.h:307</a></div></div>
870
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
871
871
  </div><!-- fragment -->
872
872
  </div>
873
873
  </div>
@@ -909,8 +909,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
909
909
  <p>Handle address-taken variables whose OUT pts changed</p>
910
910
  <p>Add var into loc's OUT updated set. Called when var's pts in loc's OUT set changed </p>
911
911
 
912
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00757">757</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
913
- <div class="fragment"><div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; {</div><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVFUtil::insertKey</a>(var, <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>[loc]);</div><div class="line"><a name="l00760"></a><span class="lineno"> 760</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00786">PersistentPointsToDS.h:786</a></div></div>
912
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00767">767</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
913
+ <div class="fragment"><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>&#160; {</div><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVFUtil::insertKey</a>(var, <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>[loc]);</div><div class="line"><a name="l00770"></a><span class="lineno"> 770</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
914
914
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00307">SVFUtil.h:307</a></div></div>
915
915
  </div><!-- fragment -->
916
916
  </div>
@@ -967,10 +967,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
967
967
 
968
968
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
969
969
 
970
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00639">639</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
971
- <div class="fragment"><div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160; {</div><div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; {</div><div class="line"><a name="l00643"></a><span class="lineno"> 643</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; }</div><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160;</div><div class="line"><a name="l00647"></a><span class="lineno"> 647</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00648"></a><span class="lineno"> 648</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
972
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00727">PersistentPointsToDS.h:727</a></div></div>
973
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
970
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00649">649</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
971
+ <div class="fragment"><div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; {</div><div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>&#160; {</div><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00655"></a><span class="lineno"> 655</span>&#160; }</div><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160;</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
972
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00737">PersistentPointsToDS.h:737</a></div></div>
973
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
974
974
  </div><!-- fragment -->
975
975
  </div>
976
976
  </div>
@@ -1026,11 +1026,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1026
1026
 
1027
1027
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1028
1028
 
1029
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00628">628</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1030
- <div class="fragment"><div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; {</div><div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; {</div><div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00633"></a><span class="lineno"> 633</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160; }</div><div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160;</div><div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00637"></a><span class="lineno"> 637</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1031
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00727">PersistentPointsToDS.h:727</a></div></div>
1032
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1033
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1029
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00638">638</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1030
+ <div class="fragment"><div class="line"><a name="l00639"></a><span class="lineno"> 639</span>&#160; {</div><div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; {</div><div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00643"></a><span class="lineno"> 643</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; }</div><div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160;</div><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00647"></a><span class="lineno"> 647</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1031
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00737">PersistentPointsToDS.h:737</a></div></div>
1032
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1033
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1034
1034
  </div><!-- fragment -->
1035
1035
  </div>
1036
1036
  </div>
@@ -1083,10 +1083,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1083
1083
 
1084
1084
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1085
1085
 
1086
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00650">650</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1087
- <div class="fragment"><div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160; {</div><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(loc))</div><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; {</div><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160; <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; {</div><div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>&#160; }</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; }</div><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160;</div><div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00748">PersistentPointsToDS.h:748</a></div></div>
1088
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a6a26ddacfd726c7078ae560a6b50ad6b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00613">PersistentPointsToDS.h:613</a></div></div>
1089
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6e7d072fd2d420870bb959b68c200137"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00394">PersistentPointsToDS.h:394</a></div></div>
1086
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00660">660</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1087
+ <div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160; {</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(loc))</div><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; {</div><div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; {</div><div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; }</div><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; }</div><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160;</div><div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
1088
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a6a26ddacfd726c7078ae560a6b50ad6b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00623">PersistentPointsToDS.h:623</a></div></div>
1089
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6e7d072fd2d420870bb959b68c200137"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00404">PersistentPointsToDS.h:404</a></div></div>
1090
1090
  </div><!-- fragment -->
1091
1091
  </div>
1092
1092
  </div>
@@ -1136,11 +1136,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1136
1136
 
1137
1137
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1138
1138
 
1139
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00679">679</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1140
- <div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; {</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]))</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; {</div><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; }</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160;</div><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1141
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa9f6b38595cabbb583c52217188457e8"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">SVF::PersistentIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00757">PersistentPointsToDS.h:757</a></div></div>
1142
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1143
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1139
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00689">689</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1140
+ <div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; {</div><div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]))</div><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; {</div><div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; }</div><div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160;</div><div class="line"><a name="l00697"></a><span class="lineno"> 697</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1141
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa9f6b38595cabbb583c52217188457e8"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">SVF::PersistentIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00767">PersistentPointsToDS.h:767</a></div></div>
1142
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1143
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1144
1144
  </div><!-- fragment -->
1145
1145
  </div>
1146
1146
  </div>
@@ -1196,11 +1196,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1196
1196
 
1197
1197
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1198
1198
 
1199
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00589">589</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1200
- <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; {</div><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; }</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160;</div><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1201
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00727">PersistentPointsToDS.h:727</a></div></div>
1202
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1203
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00740">PersistentPointsToDS.h:740</a></div></div>
1199
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00599">599</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1200
+ <div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; {</div><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; {</div><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; }</div><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160;</div><div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00609"></a><span class="lineno"> 609</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1201
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00737">PersistentPointsToDS.h:737</a></div></div>
1202
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1203
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00750">PersistentPointsToDS.h:750</a></div></div>
1204
1204
  </div><!-- fragment -->
1205
1205
  </div>
1206
1206
  </div>
@@ -1256,12 +1256,12 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1256
1256
 
1257
1257
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1258
1258
 
1259
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00601">601</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1260
- <div class="fragment"><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; {</div><div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">varHasNewDFOutPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; {</div><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; }</div><div class="line"><a name="l00609"></a><span class="lineno"> 609</span>&#160;</div><div class="line"><a name="l00610"></a><span class="lineno"> 610</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ae44f71f2ff837fbdf9b6e77f609c0c53"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">SVF::PersistentIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00770">PersistentPointsToDS.h:770</a></div></div>
1261
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1262
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00727">PersistentPointsToDS.h:727</a></div></div>
1263
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1264
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1259
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00611">611</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1260
+ <div class="fragment"><div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; {</div><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">varHasNewDFOutPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; {</div><div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; }</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160;</div><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ae44f71f2ff837fbdf9b6e77f609c0c53"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">SVF::PersistentIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00780">PersistentPointsToDS.h:780</a></div></div>
1261
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1262
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a3b42e65b301c1e2cf7976e2780cb6fd2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">SVF::PersistentIncDFPTData::setVarDFInSetUpdated</a></div><div class="ttdeci">void setVarDFInSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose IN pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00737">PersistentPointsToDS.h:737</a></div></div>
1263
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1264
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1265
1265
  </div><!-- fragment -->
1266
1266
  </div>
1267
1267
  </div>
@@ -1317,13 +1317,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1317
1317
 
1318
1318
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1319
1319
 
1320
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00613">613</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1321
- <div class="fragment"><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; {</div><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; {</div><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; {</div><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; }</div><div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; }</div><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160;</div><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1322
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1323
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa9f6b38595cabbb583c52217188457e8"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">SVF::PersistentIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00757">PersistentPointsToDS.h:757</a></div></div>
1324
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00740">PersistentPointsToDS.h:740</a></div></div>
1325
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s IN updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00733">PersistentPointsToDS.h:733</a></div></div>
1326
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1320
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00623">623</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1321
+ <div class="fragment"><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; {</div><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; {</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; {</div><div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160; }</div><div class="line"><a name="l00633"></a><span class="lineno"> 633</span>&#160; }</div><div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160;</div><div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1322
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1323
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa9f6b38595cabbb583c52217188457e8"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">SVF::PersistentIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00767">PersistentPointsToDS.h:767</a></div></div>
1324
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00750">PersistentPointsToDS.h:750</a></div></div>
1325
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s IN updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00743">PersistentPointsToDS.h:743</a></div></div>
1326
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1327
1327
  </div><!-- fragment -->
1328
1328
  </div>
1329
1329
  </div>
@@ -1373,11 +1373,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1373
1373
 
1374
1374
  <p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1375
1375
 
1376
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00668">668</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1377
- <div class="fragment"><div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160; {</div><div class="line"><a name="l00670"></a><span class="lineno"> 670</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160; {</div><div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], this-&gt;getDFInPtIdRef(srcLoc, srcVar));</div><div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; }</div><div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160;</div><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1378
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00740">PersistentPointsToDS.h:740</a></div></div>
1379
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1380
- <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s IN updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00733">PersistentPointsToDS.h:733</a></div></div>
1376
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00678">678</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1377
+ <div class="fragment"><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160; {</div><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; {</div><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], this-&gt;getDFInPtIdRef(srcLoc, srcVar));</div><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; }</div><div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160;</div><div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1378
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a56764f78042a2a9229d3b76861b54952"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">SVF::PersistentIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00750">PersistentPointsToDS.h:750</a></div></div>
1379
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1380
+ <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s IN updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00743">PersistentPointsToDS.h:743</a></div></div>
1381
1381
  </div><!-- fragment -->
1382
1382
  </div>
1383
1383
  </div>
@@ -1419,8 +1419,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1419
1419
 
1420
1420
  <p>Return TRUE if var has a new pts in loc's IN set. </p>
1421
1421
 
1422
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00740">740</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1423
- <div class="fragment"><div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; {</div><div class="line"><a name="l00742"></a><span class="lineno"> 742</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.end()) <span class="keywordflow">return</span> it-&gt;second.find(var) != it-&gt;second.end();</div><div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00787">PersistentPointsToDS.h:787</a></div></div>
1422
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00750">750</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1423
+ <div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; {</div><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.end()) <span class="keywordflow">return</span> it-&gt;second.find(var) != it-&gt;second.end();</div><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
1424
1424
  </div><!-- fragment -->
1425
1425
  </div>
1426
1426
  </div>
@@ -1462,8 +1462,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1462
1462
 
1463
1463
  <p>Return TRUE if var has a new pts in loc's OUT set. </p>
1464
1464
 
1465
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00770">770</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1466
- <div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; {</div><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.end()) <span class="keywordflow">return</span> it-&gt;second.find(var) != it-&gt;second.end();</div><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00786">PersistentPointsToDS.h:786</a></div></div>
1465
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00780">780</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1466
+ <div class="fragment"><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; {</div><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; <span class="keyword">typename</span> UpdatedVarMap::iterator it = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.end()) <span class="keywordflow">return</span> it-&gt;second.find(var) != it-&gt;second.end();</div><div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
1467
1467
  </div><!-- fragment -->
1468
1468
  </div>
1469
1469
  </div>
@@ -1490,7 +1490,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1490
1490
  </table>
1491
1491
  </div><div class="memdoc">
1492
1492
 
1493
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00787">787</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1493
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00797">797</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1494
1494
 
1495
1495
  </div>
1496
1496
  </div>
@@ -1516,7 +1516,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1516
1516
  </table>
1517
1517
  </div><div class="memdoc">
1518
1518
 
1519
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00786">786</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1519
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00796">796</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1520
1520
 
1521
1521
  </div>
1522
1522
  </div>