svf-tools 1.0.558 → 1.0.561

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 (327) 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 +16 -16
  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/CFLGrammar_8txt.html +8 -8
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
  11. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
  12. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +44 -44
  14. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +43 -43
  15. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  16. package/SVF-doxygen/html/html/DDAClient_8h_source.html +36 -36
  17. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/DDAPass_8h_source.html +21 -21
  19. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +51 -51
  20. package/SVF-doxygen/html/html/DDAStat_8h_source.html +51 -51
  21. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +111 -111
  22. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -2
  25. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -2
  26. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +40 -40
  27. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +52 -52
  28. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/FileChecker_8h_source.html +2 -2
  30. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +42 -42
  32. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  34. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  35. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +3 -3
  36. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +34 -34
  39. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +114 -114
  40. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +7 -7
  42. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  43. package/SVF-doxygen/html/html/MHP_8cpp_source.html +94 -94
  44. package/SVF-doxygen/html/html/MHP_8h_source.html +135 -135
  45. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +6 -6
  46. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +10 -10
  49. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  50. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +33 -33
  51. package/SVF-doxygen/html/html/MTAStat_8h_source.html +14 -14
  52. package/SVF-doxygen/html/html/MTA_8cpp_source.html +28 -28
  53. package/SVF-doxygen/html/html/MTA_8h_source.html +24 -24
  54. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/MemPartition_8h_source.html +4 -4
  56. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +50 -50
  57. package/SVF-doxygen/html/html/MemRegion_8h_source.html +93 -93
  58. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +59 -59
  59. package/SVF-doxygen/html/html/MemSSA_8h_source.html +103 -103
  60. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +185 -185
  61. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/PCG_8cpp_source.html +14 -14
  64. package/SVF-doxygen/html/html/PCG_8h_source.html +52 -52
  65. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
  66. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +40 -40
  67. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +181 -181
  68. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  69. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +30 -30
  70. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +60 -60
  74. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  76. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +19 -19
  80. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +12 -12
  82. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  83. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +3 -3
  86. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +2 -2
  87. package/SVF-doxygen/html/html/SaberCheckerAPI_8cpp_source.html +1 -1
  88. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  90. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +1 -1
  91. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  92. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  94. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +66 -66
  95. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +4 -4
  97. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +6 -6
  98. package/SVF-doxygen/html/html/TCT_8cpp_source.html +44 -44
  99. package/SVF-doxygen/html/html/TCT_8h_source.html +93 -93
  100. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  102. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  103. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +25 -25
  104. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +38 -38
  105. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  106. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  107. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  108. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
  110. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
  111. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +22 -22
  112. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +102 -102
  113. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +43 -43
  114. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +20 -20
  115. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -6
  116. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +16 -16
  117. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +19 -19
  118. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +39 -39
  119. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  120. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +2 -2
  122. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +100 -100
  124. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +51 -51
  125. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +58 -58
  126. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +165 -165
  127. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +286 -286
  128. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +26 -26
  129. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +11 -11
  130. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +4 -4
  131. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  132. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  134. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +40 -5
  135. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +30 -30
  136. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  137. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +71 -71
  138. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +7 -7
  139. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +218 -218
  141. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  142. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +19 -19
  144. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +7 -7
  146. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +17 -17
  147. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +334 -334
  149. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  150. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +246 -246
  151. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +7 -7
  152. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +200 -200
  153. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +53 -53
  159. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  160. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +22 -22
  161. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +181 -181
  162. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +44 -44
  163. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +23 -23
  164. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +267 -267
  165. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -18
  166. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +128 -128
  167. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +55 -55
  168. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +88 -88
  169. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +78 -78
  170. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +77 -77
  171. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +131 -131
  172. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +32 -32
  173. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +107 -107
  174. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +66 -66
  175. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +84 -84
  176. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +77 -77
  177. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +134 -134
  178. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +77 -77
  179. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  180. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +161 -161
  181. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
  182. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +22 -22
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  186. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  187. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +157 -157
  189. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +15 -15
  190. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  191. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +264 -264
  192. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +13 -13
  193. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +20 -20
  194. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +100 -100
  196. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  197. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +11 -11
  199. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  200. package/SVF-doxygen/html/html/dda_8cpp.html +2 -2
  201. package/SVF-doxygen/html/html/dda_8cpp_source.html +2 -2
  202. package/SVF-doxygen/html/html/functions_a.html +11 -5
  203. package/SVF-doxygen/html/html/functions_c.html +21 -18
  204. package/SVF-doxygen/html/html/functions_f.html +6 -6
  205. package/SVF-doxygen/html/html/functions_func.html +16 -10
  206. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  207. package/SVF-doxygen/html/html/functions_func_i.html +11 -8
  208. package/SVF-doxygen/html/html/functions_i.html +11 -8
  209. package/SVF-doxygen/html/html/functions_l.html +5 -5
  210. package/SVF-doxygen/html/html/functions_p.html +6 -6
  211. package/SVF-doxygen/html/html/functions_r.html +3 -7
  212. package/SVF-doxygen/html/html/functions_s.html +16 -14
  213. package/SVF-doxygen/html/html/functions_v.html +6 -6
  214. package/SVF-doxygen/html/html/functions_w.html +11 -11
  215. package/SVF-doxygen/html/html/globals_g.html +3 -3
  216. package/SVF-doxygen/html/html/globals_v.html +1 -2
  217. package/SVF-doxygen/html/html/globals_vars.html +3 -4
  218. package/SVF-doxygen/html/html/mta_8cpp.html +2 -2
  219. package/SVF-doxygen/html/html/mta_8cpp_source.html +2 -2
  220. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  221. package/SVF-doxygen/html/html/search/all_1.js +2 -0
  222. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  223. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  224. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  225. package/SVF-doxygen/html/html/search/all_13.js +2 -2
  226. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  227. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  228. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  229. package/SVF-doxygen/html/html/search/all_3.js +1 -0
  230. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  231. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  232. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  233. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  234. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_0.js +2 -0
  236. package/SVF-doxygen/html/html/search/functions_2.js +1 -0
  237. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  238. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  239. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  240. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  241. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  242. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  243. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +3 -3
  244. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  245. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +15 -15
  246. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +1 -1
  247. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +1 -1
  248. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +2 -2
  249. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  250. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  251. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  252. package/include/CFL/CFLGraphBuilder.h +9 -0
  253. package/include/CFL/PEGGrammar.txt +4 -8
  254. package/include/DDA/ContextDDA.h +29 -0
  255. package/include/DDA/DDAClient.h +23 -0
  256. package/include/DDA/DDAPass.h +22 -0
  257. package/include/DDA/DDAStat.h +22 -0
  258. package/include/DDA/DDAVFSolver.h +22 -0
  259. package/include/DDA/FlowDDA.h +29 -0
  260. package/include/MSSA/MSSAMuChi.h +1 -1
  261. package/include/MSSA/MemPartition.h +1 -1
  262. package/include/MSSA/MemRegion.h +5 -1
  263. package/include/MSSA/MemSSA.h +7 -1
  264. package/include/MSSA/SVFGBuilder.h +1 -1
  265. package/include/MTA/FSMPTA.h +26 -0
  266. package/include/MTA/LockAnalysis.h +22 -0
  267. package/include/MTA/MHP.h +22 -0
  268. package/include/MTA/MTA.h +27 -1
  269. package/include/MTA/MTAStat.h +22 -0
  270. package/include/MTA/PCG.h +22 -0
  271. package/include/MTA/TCT.h +22 -0
  272. package/include/MemoryModel/AbstractPointsToDS.h +34 -0
  273. package/include/MemoryModel/ConditionalPT.h +1 -1
  274. package/include/MemoryModel/LocationSet.h +1 -1
  275. package/include/MemoryModel/MutablePointsToDS.h +32 -0
  276. package/include/MemoryModel/PAGBuilderFromFile.h +2 -2
  277. package/include/MemoryModel/PersistentPointsToCache.h +3 -1
  278. package/include/MemoryModel/PersistentPointsToDS.h +10 -0
  279. package/include/MemoryModel/PointerAnalysis.h +1 -1
  280. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  281. package/include/MemoryModel/SVFStatements.h +1 -1
  282. package/include/SABER/DoubleFreeChecker.h +1 -1
  283. package/include/SABER/FileChecker.h +1 -1
  284. package/include/SABER/LeakChecker.h +1 -1
  285. package/include/SABER/ProgSlice.h +8 -1
  286. package/include/SABER/SaberAnnotator.h +1 -1
  287. package/include/SABER/SaberCheckerAPI.h +1 -1
  288. package/include/SABER/SaberCondAllocator.h +1 -1
  289. package/include/SABER/SaberSVFGBuilder.h +1 -1
  290. package/include/SABER/SrcSnkDDA.h +8 -1
  291. package/include/SABER/SrcSnkSolver.h +1 -1
  292. package/include/Util/ExtAPI.h +3 -0
  293. package/include/Util/ExtAPI.json +1456 -44
  294. package/include/WPA/Andersen.h +5 -0
  295. package/include/WPA/TypeAnalysis.h +1 -1
  296. package/include/WPA/VersionedFlowSensitive.h +4 -0
  297. package/lib/CFL/CFLGraphBuilder.cpp +44 -0
  298. package/lib/DDA/ContextDDA.cpp +22 -0
  299. package/lib/DDA/DDAClient.cpp +22 -0
  300. package/lib/DDA/DDAPass.cpp +23 -0
  301. package/lib/DDA/DDAStat.cpp +22 -0
  302. package/lib/DDA/FlowDDA.cpp +22 -0
  303. package/lib/MTA/FSMPTA.cpp +22 -0
  304. package/lib/MTA/LockAnalysis.cpp +22 -0
  305. package/lib/MTA/MHP.cpp +23 -1
  306. package/lib/MTA/MTA.cpp +23 -0
  307. package/lib/MTA/MTAStat.cpp +22 -0
  308. package/lib/MTA/PCG.cpp +22 -0
  309. package/lib/MTA/TCT.cpp +23 -0
  310. package/lib/MemoryModel/LocationSet.cpp +1 -1
  311. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  312. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  313. package/lib/MemoryModel/PointerAnalysisImpl.cpp +23 -0
  314. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  315. package/lib/SABER/FileChecker.cpp +1 -1
  316. package/lib/SABER/LeakChecker.cpp +1 -1
  317. package/lib/SABER/ProgSlice.cpp +1 -1
  318. package/lib/SABER/SaberAnnotator.cpp +1 -1
  319. package/lib/SABER/SaberCheckerAPI.cpp +1 -1
  320. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  321. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  322. package/lib/SABER/SrcSnkDDA.cpp +1 -1
  323. package/lib/Util/ExtAPI.cpp +42 -4
  324. package/lib/WPA/Steensgaard.cpp +22 -0
  325. package/lib/WPA/TypeAnalysis.cpp +1 -1
  326. package/lib/WPA/WPAPass.cpp +1 -1
  327. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html CHANGED
@@ -357,7 +357,7 @@ class SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</h3>
357
357
 
358
358
  <p>Incremental version of the mutable data-flow points-to data structure. </p>
359
359
 
360
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00650">650</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
360
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00682">682</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
361
361
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
362
362
  <a id="a4b944ec759d0e78a7a2238db587752a9"></a>
363
363
  <h2 class="memtitle"><span class="permalink"><a href="#a4b944ec759d0e78a7a2238db587752a9">&#9670;&nbsp;</a></span>BaseDFPTData</h2>
@@ -373,7 +373,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
373
373
  </table>
374
374
  </div><div class="memdoc">
375
375
 
376
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00655">655</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
376
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00687">687</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
377
377
 
378
378
  </div>
379
379
  </div>
@@ -391,7 +391,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
391
391
  </table>
392
392
  </div><div class="memdoc">
393
393
 
394
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00656">656</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
394
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00688">688</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
395
395
 
396
396
  </div>
397
397
  </div>
@@ -409,7 +409,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
409
409
  </table>
410
410
  </div><div class="memdoc">
411
411
 
412
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00654">654</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
412
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00686">686</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
413
413
 
414
414
  </div>
415
415
  </div>
@@ -427,7 +427,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
427
427
  </table>
428
428
  </div><div class="memdoc">
429
429
 
430
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00653">653</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
430
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00685">685</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
431
431
 
432
432
  </div>
433
433
  </div>
@@ -445,7 +445,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
445
445
  </table>
446
446
  </div><div class="memdoc">
447
447
 
448
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00663">663</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
448
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00695">695</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
449
449
 
450
450
  </div>
451
451
  </div>
@@ -463,7 +463,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
463
463
  </table>
464
464
  </div><div class="memdoc">
465
465
 
466
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00659">659</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
466
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00691">691</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
467
467
 
468
468
  </div>
469
469
  </div>
@@ -481,7 +481,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
481
481
  </table>
482
482
  </div><div class="memdoc">
483
483
 
484
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00657">657</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
484
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00689">689</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
485
485
 
486
486
  </div>
487
487
  </div>
@@ -499,7 +499,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
499
499
  </table>
500
500
  </div><div class="memdoc">
501
501
 
502
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00662">662</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
502
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00694">694</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
503
503
 
504
504
  </div>
505
505
  </div>
@@ -519,7 +519,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
519
519
 
520
520
  <p>for propagating only newly added variable in IN/OUT set </p>
521
521
 
522
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00660">660</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
522
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00692">692</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
523
523
 
524
524
  </div>
525
525
  </div>
@@ -537,7 +537,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
537
537
  </table>
538
538
  </div><div class="memdoc">
539
539
 
540
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00661">661</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
540
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00693">693</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
541
541
 
542
542
  </div>
543
543
  </div>
@@ -580,8 +580,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
580
580
 
581
581
  <p>Constructor. </p>
582
582
 
583
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00671">671</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
584
- <div class="fragment"><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160;: <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6">BaseMutDFPTData</a>(reversePT, ty) { }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a58f9b6357a5cf0243cf3b4ece30e8cf6"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6">SVF::MutableIncDFPTData::BaseMutDFPTData</a></div><div class="ttdeci">MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseMutDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00656">MutablePointsToDS.h:656</a></div></div>
583
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00703">703</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
584
+ <div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160;: <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6">BaseMutDFPTData</a>(reversePT, ty) { }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a58f9b6357a5cf0243cf3b4ece30e8cf6"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a58f9b6357a5cf0243cf3b4ece30e8cf6">SVF::MutableIncDFPTData::BaseMutDFPTData</a></div><div class="ttdeci">MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseMutDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00688">MutablePointsToDS.h:688</a></div></div>
585
585
  </div><!-- fragment -->
586
586
  </div>
587
587
  </div>
@@ -610,8 +610,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
610
610
  </table>
611
611
  </div><div class="memdoc">
612
612
 
613
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00673">673</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
614
- <div class="fragment"><div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160;{ }</div></div><!-- fragment -->
613
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00705">705</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
614
+ <div class="fragment"><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160;{ }</div></div><!-- fragment -->
615
615
  </div>
616
616
  </div>
617
617
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -642,8 +642,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
642
642
  </div><div class="memdoc">
643
643
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
644
644
 
645
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00786">786</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
646
- <div class="fragment"><div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; {</div><div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; }</div></div><!-- fragment -->
645
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00818">818</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
646
+ <div class="fragment"><div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; {</div><div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; }</div></div><!-- fragment -->
647
647
  </div>
648
648
  </div>
649
649
  <a id="aa4c262f0d62e902912d4cd7999731d3d"></a>
@@ -672,8 +672,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
672
672
  </table>
673
673
  </div><div class="memdoc">
674
674
 
675
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00791">791</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
676
- <div class="fragment"><div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; {</div><div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">BasePTData::MutIncDataFlow</a>;</div><div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">SVF::PTData::MutIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00052">AbstractPointsToDS.h:52</a></div></div>
675
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00823">823</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
676
+ <div class="fragment"><div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160; {</div><div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">BasePTData::MutIncDataFlow</a>;</div><div class="line"><a name="l00826"></a><span class="lineno"> 826</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">SVF::PTData::MutIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00086">AbstractPointsToDS.h:86</a></div></div>
677
677
  </div><!-- fragment -->
678
678
  </div>
679
679
  </div>
@@ -705,11 +705,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
705
705
 
706
706
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
707
707
 
708
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00771">771</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
709
- <div class="fragment"><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160; {</div><div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">hasDFOutSet</a>(loc))</div><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; DataSet pts = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">DataIter</a> ptsIt = pts.begin(), ptsEit = pts.end(); ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; {</div><div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; <span class="keyword">const</span> Key var = *ptsIt;</div><div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; }</div><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; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a1fc4dff28f9044234fdfeede6f4b1cb0"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData::DataIter</a></div><div class="ttdeci">DataSet::iterator DataIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00663">MutablePointsToDS.h:663</a></div></div>
710
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ac055ad77582b36083ca1950c39207f5e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00834">MutablePointsToDS.h:834</a></div></div>
711
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00849">MutablePointsToDS.h:849</a></div></div>
712
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00377">MutablePointsToDS.h:377</a></div></div>
708
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00803">803</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
709
+ <div class="fragment"><div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; {</div><div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; {</div><div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; DataSet pts = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">DataIter</a> ptsIt = pts.begin(), ptsEit = pts.end(); ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; {</div><div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; <span class="keyword">const</span> Key var = *ptsIt;</div><div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; }</div><div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; }</div><div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a1fc4dff28f9044234fdfeede6f4b1cb0"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData::DataIter</a></div><div class="ttdeci">DataSet::iterator DataIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00695">MutablePointsToDS.h:695</a></div></div>
710
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ac055ad77582b36083ca1950c39207f5e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ac055ad77582b36083ca1950c39207f5e">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00866">MutablePointsToDS.h:866</a></div></div>
711
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00881">MutablePointsToDS.h:881</a></div></div>
712
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00409">MutablePointsToDS.h:409</a></div></div>
713
713
  </div><!-- fragment -->
714
714
  </div>
715
715
  </div>
@@ -741,8 +741,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
741
741
 
742
742
  <p>Get all var which have new pts informationin loc's IN set. </p>
743
743
 
744
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00820">820</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
745
- <div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; {</div><div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00667">MutablePointsToDS.h:667</a></div></div>
744
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00852">852</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
745
+ <div class="fragment"><div class="line"><a name="l00853"></a><span class="lineno"> 853</span>&#160; {</div><div class="line"><a name="l00854"></a><span class="lineno"> 854</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00855"></a><span class="lineno"> 855</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00699">MutablePointsToDS.h:699</a></div></div>
746
746
  </div><!-- fragment -->
747
747
  </div>
748
748
  </div>
@@ -774,8 +774,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
774
774
 
775
775
  <p>Get all var which have new pts informationin loc's OUT set. </p>
776
776
 
777
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00849">849</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
778
- <div class="fragment"><div class="line"><a name="l00850"></a><span class="lineno"> 850</span>&#160; {</div><div class="line"><a name="l00851"></a><span class="lineno"> 851</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00852"></a><span class="lineno"> 852</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00666">MutablePointsToDS.h:666</a></div></div>
777
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00881">881</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
778
+ <div class="fragment"><div class="line"><a name="l00882"></a><span class="lineno"> 882</span>&#160; {</div><div class="line"><a name="l00883"></a><span class="lineno"> 883</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>[loc];</div><div class="line"><a name="l00884"></a><span class="lineno"> 884</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00698">MutablePointsToDS.h:698</a></div></div>
779
779
  </div><!-- fragment -->
780
780
  </div>
781
781
  </div>
@@ -817,9 +817,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
817
817
 
818
818
  <p>Remove var from loc's IN updated set. </p>
819
819
 
820
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00805">805</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
821
- <div class="fragment"><div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; {</div><div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.end())</div><div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; it-&gt;second.reset(var);</div><div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00667">MutablePointsToDS.h:667</a></div></div>
822
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00661">MutablePointsToDS.h:661</a></div></div>
820
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00837">837</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
821
+ <div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; {</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.end())</div><div class="line"><a name="l00841"></a><span class="lineno"> 841</span>&#160; it-&gt;second.reset(var);</div><div class="line"><a name="l00842"></a><span class="lineno"> 842</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00699">MutablePointsToDS.h:699</a></div></div>
822
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00693">MutablePointsToDS.h:693</a></div></div>
823
823
  </div><!-- fragment -->
824
824
  </div>
825
825
  </div>
@@ -861,9 +861,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
861
861
 
862
862
  <p>Remove var from loc's OUT updated set. </p>
863
863
 
864
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00834">834</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
865
- <div class="fragment"><div class="line"><a name="l00835"></a><span class="lineno"> 835</span>&#160; {</div><div class="line"><a name="l00836"></a><span class="lineno"> 836</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00837"></a><span class="lineno"> 837</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.end())</div><div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; it-&gt;second.reset(var);</div><div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00661">MutablePointsToDS.h:661</a></div></div>
866
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00666">MutablePointsToDS.h:666</a></div></div>
864
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00866">866</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
865
+ <div class="fragment"><div class="line"><a name="l00867"></a><span class="lineno"> 867</span>&#160; {</div><div class="line"><a name="l00868"></a><span class="lineno"> 868</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00869"></a><span class="lineno"> 869</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.end())</div><div class="line"><a name="l00870"></a><span class="lineno"> 870</span>&#160; it-&gt;second.reset(var);</div><div class="line"><a name="l00871"></a><span class="lineno"> 871</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00693">MutablePointsToDS.h:693</a></div></div>
866
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00698">MutablePointsToDS.h:698</a></div></div>
867
867
  </div><!-- fragment -->
868
868
  </div>
869
869
  </div>
@@ -906,8 +906,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
906
906
  <p>Handle address-taken variables whose IN pts changed. </p>
907
907
  <p>Add var into loc's IN updated set. Called when var's pts in loc's IN set changed </p>
908
908
 
909
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00800">800</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
910
- <div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; {</div><div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>[loc].set(var);</div><div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00667">MutablePointsToDS.h:667</a></div></div>
909
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00832">832</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
910
+ <div class="fragment"><div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; {</div><div class="line"><a name="l00834"></a><span class="lineno"> 834</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>[loc].set(var);</div><div class="line"><a name="l00835"></a><span class="lineno"> 835</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00699">MutablePointsToDS.h:699</a></div></div>
911
911
  </div><!-- fragment -->
912
912
  </div>
913
913
  </div>
@@ -950,8 +950,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
950
950
  <p>Handle address-taken variables whose OUT pts changed. </p>
951
951
  <p>Add var into loc's OUT updated set. Called when var's pts in loc's OUT set changed </p>
952
952
 
953
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00829">829</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
954
- <div class="fragment"><div class="line"><a name="l00830"></a><span class="lineno"> 830</span>&#160; {</div><div class="line"><a name="l00831"></a><span class="lineno"> 831</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>[loc].set(var);</div><div class="line"><a name="l00832"></a><span class="lineno"> 832</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00666">MutablePointsToDS.h:666</a></div></div>
953
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00861">861</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
954
+ <div class="fragment"><div class="line"><a name="l00862"></a><span class="lineno"> 862</span>&#160; {</div><div class="line"><a name="l00863"></a><span class="lineno"> 863</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>[loc].set(var);</div><div class="line"><a name="l00864"></a><span class="lineno"> 864</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00698">MutablePointsToDS.h:698</a></div></div>
955
955
  </div><!-- fragment -->
956
956
  </div>
957
957
  </div>
@@ -1007,10 +1007,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1007
1007
 
1008
1008
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1009
1009
 
1010
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00721">721</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1011
- <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">if</span>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; {</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><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> <span class="keyword">false</span>;</div><div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1012
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00800">MutablePointsToDS.h:800</a></div></div>
1013
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1010
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00753">753</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1011
+ <div class="fragment"><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; {</div><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; <span class="keywordflow">if</span>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00756"></a><span class="lineno"> 756</span>&#160; {</div><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><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> <span class="keyword">false</span>;</div><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1012
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00832">MutablePointsToDS.h:832</a></div></div>
1013
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1014
1014
  </div><!-- fragment -->
1015
1015
  </div>
1016
1016
  </div>
@@ -1066,11 +1066,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1066
1066
 
1067
1067
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1068
1068
 
1069
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00711">711</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1070
- <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">if</span>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; {</div><div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><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> <span class="keyword">false</span>;</div><div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1071
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00800">MutablePointsToDS.h:800</a></div></div>
1072
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1073
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1069
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00743">743</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1070
+ <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="keywordflow">if</span>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; {</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><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> <span class="keyword">false</span>;</div><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1071
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00832">MutablePointsToDS.h:832</a></div></div>
1072
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1073
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1074
1074
  </div><!-- fragment -->
1075
1075
  </div>
1076
1076
  </div>
@@ -1124,11 +1124,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1124
1124
 
1125
1125
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1126
1126
 
1127
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00731">731</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1128
- <div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; {</div><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; DataSet pts = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">DataIter</a> ptsIt = pts.begin(), ptsEit = pts.end(); ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; {</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; <span class="keyword">const</span> Key var = *ptsIt;</div><div class="line"><a name="l00742"></a><span class="lineno"> 742</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton)</div><div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">updateDFOutFromIn</a>(loc, var, loc, var))</div><div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>&#160; }</div><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; }</div><div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1129
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a1fc4dff28f9044234fdfeede6f4b1cb0"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData::DataIter</a></div><div class="ttdeci">DataSet::iterator DataIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00663">MutablePointsToDS.h:663</a></div></div>
1130
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_aa326ac77577a8a4a0ce3e29cc03a3989"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00697">MutablePointsToDS.h:697</a></div></div>
1131
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00820">MutablePointsToDS.h:820</a></div></div>
1127
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00763">763</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1128
+ <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="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; {</div><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; DataSet pts = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00770"></a><span class="lineno"> 770</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">DataIter</a> ptsIt = pts.begin(), ptsEit = pts.end(); ptsIt != ptsEit; ++ptsIt)</div><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">const</span> Key var = *ptsIt;</div><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton)</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">updateDFOutFromIn</a>(loc, var, loc, var))</div><div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; }</div><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> changed;</div><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00404">MutablePointsToDS.h:404</a></div></div>
1129
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a1fc4dff28f9044234fdfeede6f4b1cb0"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData::DataIter</a></div><div class="ttdeci">DataSet::iterator DataIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00695">MutablePointsToDS.h:695</a></div></div>
1130
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_aa326ac77577a8a4a0ce3e29cc03a3989"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00729">MutablePointsToDS.h:729</a></div></div>
1131
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00852">MutablePointsToDS.h:852</a></div></div>
1132
1132
  </div><!-- fragment -->
1133
1133
  </div>
1134
1134
  </div>
@@ -1178,11 +1178,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1178
1178
 
1179
1179
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1180
1180
 
1181
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00761">761</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1182
- <div class="fragment"><div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; {</div><div class="line"><a name="l00763"></a><span class="lineno"> 763</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPts(srcVar)))</div><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; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; }</div><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a851947de9ccbe51239b76d2d93fcd4c4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">SVF::MutableIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose OUT pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00829">MutablePointsToDS.h:829</a></div></div>
1183
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1184
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1185
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1181
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00793">793</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1182
+ <div class="fragment"><div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; {</div><div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPts(srcVar)))</div><div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; {</div><div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; }</div><div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a851947de9ccbe51239b76d2d93fcd4c4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">SVF::MutableIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose OUT pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00861">MutablePointsToDS.h:861</a></div></div>
1183
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1184
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1185
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1186
1186
  </div><!-- fragment -->
1187
1187
  </div>
1188
1188
  </div>
@@ -1238,11 +1238,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1238
1238
 
1239
1239
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1240
1240
 
1241
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00675">675</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1242
- <div class="fragment"><div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; {</div><div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc, srcVar) &amp;&amp;</div><div class="line"><a name="l00678"></a><span class="lineno"> 678</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</div><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; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</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; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1243
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00800">MutablePointsToDS.h:800</a></div></div>
1244
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1245
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00812">MutablePointsToDS.h:812</a></div></div>
1241
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00707">707</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1242
+ <div class="fragment"><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; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc, srcVar) &amp;&amp;</div><div class="line"><a name="l00710"></a><span class="lineno"> 710</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160; {</div><div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</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 class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1243
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00832">MutablePointsToDS.h:832</a></div></div>
1244
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1245
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00844">MutablePointsToDS.h:844</a></div></div>
1246
1246
  </div><!-- fragment -->
1247
1247
  </div>
1248
1248
  </div>
@@ -1298,12 +1298,12 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1298
1298
 
1299
1299
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1300
1300
 
1301
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00686">686</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1302
- <div class="fragment"><div class="line"><a name="l00687"></a><span class="lineno"> 687</span>&#160; {</div><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">varHasNewDFOutPts</a>(srcLoc, srcVar) &amp;&amp;</div><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar)))</div><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; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</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="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1303
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00800">MutablePointsToDS.h:800</a></div></div>
1304
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a55b19f617d11dfc6632b690694f264ab"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00841">MutablePointsToDS.h:841</a></div></div>
1305
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1306
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1301
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00718">718</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1302
+ <div class="fragment"><div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; {</div><div class="line"><a name="l00720"></a><span class="lineno"> 720</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">varHasNewDFOutPts</a>(srcLoc, srcVar) &amp;&amp;</div><div class="line"><a name="l00721"></a><span class="lineno"> 721</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar)))</div><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; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">setVarDFInSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; }</div><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1303
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a33b2e976439e489d4bd707379e1bac9c"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00832">MutablePointsToDS.h:832</a></div></div>
1304
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a55b19f617d11dfc6632b690694f264ab"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00873">MutablePointsToDS.h:873</a></div></div>
1305
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1306
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1307
1307
  </div><!-- fragment -->
1308
1308
  </div>
1309
1309
  </div>
@@ -1359,13 +1359,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1359
1359
 
1360
1360
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1361
1361
 
1362
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00697">697</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1363
- <div class="fragment"><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; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc,srcVar))</div><div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160; {</div><div class="line"><a name="l00701"></a><span class="lineno"> 701</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">removeVarFromDFInUpdatedSet</a>(srcLoc,srcVar);</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_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</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; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">setVarDFOutSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</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; }</div><div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a851947de9ccbe51239b76d2d93fcd4c4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">SVF::MutableIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose OUT pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00829">MutablePointsToDS.h:829</a></div></div>
1364
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1365
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1366
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1367
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a913c1a2c48526160eeecd028bd22cfc4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00805">MutablePointsToDS.h:805</a></div></div>
1368
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00812">MutablePointsToDS.h:812</a></div></div>
1362
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00729">729</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1363
+ <div class="fragment"><div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; {</div><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc,srcVar))</div><div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; {</div><div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">removeVarFromDFInUpdatedSet</a>(srcLoc,srcVar);</div><div class="line"><a name="l00734"></a><span class="lineno"> 734</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc,dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar)))</div><div class="line"><a name="l00735"></a><span class="lineno"> 735</span>&#160; {</div><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">setVarDFOutSetUpdated</a>(dstLoc,dstVar);</div><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><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; }</div><div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a851947de9ccbe51239b76d2d93fcd4c4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4">SVF::MutableIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdoc">Handle address-taken variables whose OUT pts changed. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00861">MutablePointsToDS.h:861</a></div></div>
1364
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1365
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1366
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1367
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a913c1a2c48526160eeecd028bd22cfc4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00837">MutablePointsToDS.h:837</a></div></div>
1368
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00844">MutablePointsToDS.h:844</a></div></div>
1369
1369
  </div><!-- fragment -->
1370
1370
  </div>
1371
1371
  </div>
@@ -1415,11 +1415,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1415
1415
 
1416
1416
  <p>Reimplemented from <a class="el" href="classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1417
1417
 
1418
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00751">751</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1419
- <div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; {</div><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc,srcVar))</div><div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; {</div><div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">removeVarFromDFInUpdatedSet</a>(srcLoc,srcVar);</div><div class="line"><a name="l00756"></a><span class="lineno"> 756</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.unionPts(dstVar, this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; }</div><div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1420
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1421
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a913c1a2c48526160eeecd028bd22cfc4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00805">MutablePointsToDS.h:805</a></div></div>
1422
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00812">MutablePointsToDS.h:812</a></div></div>
1418
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00783">783</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1419
+ <div class="fragment"><div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; {</div><div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">varHasNewDFInPts</a>(srcLoc,srcVar))</div><div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; {</div><div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">removeVarFromDFInUpdatedSet</a>(srcLoc,srcVar);</div><div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.unionPts(dstVar, this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><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> <span class="keyword">false</span>;</div><div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1420
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1421
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a913c1a2c48526160eeecd028bd22cfc4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a913c1a2c48526160eeecd028bd22cfc4">SVF::MutableIncDFPTData::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="MutablePointsToDS_8h_source.html#l00837">MutablePointsToDS.h:837</a></div></div>
1422
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ae7ed810cf4de695072ba5c4d0c882353"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353">SVF::MutableIncDFPTData::varHasNewDFInPts</a></div><div class="ttdeci">bool varHasNewDFInPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00844">MutablePointsToDS.h:844</a></div></div>
1423
1423
  </div><!-- fragment -->
1424
1424
  </div>
1425
1425
  </div>
@@ -1461,9 +1461,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1461
1461
 
1462
1462
  <p>Return TRUE if var has new pts in loc's IN set. </p>
1463
1463
 
1464
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00812">812</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1465
- <div class="fragment"><div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; {</div><div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.end())</div><div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; <span class="keywordflow">return</span> it-&gt;second.test(var);</div><div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00667">MutablePointsToDS.h:667</a></div></div>
1466
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00661">MutablePointsToDS.h:661</a></div></div>
1464
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00844">844</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1465
+ <div class="fragment"><div class="line"><a name="l00845"></a><span class="lineno"> 845</span>&#160; {</div><div class="line"><a name="l00846"></a><span class="lineno"> 846</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00847"></a><span class="lineno"> 847</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">inUpdatedVarMap</a>.end())</div><div class="line"><a name="l00848"></a><span class="lineno"> 848</span>&#160; <span class="keywordflow">return</span> it-&gt;second.test(var);</div><div class="line"><a name="l00849"></a><span class="lineno"> 849</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00850"></a><span class="lineno"> 850</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_ab5e9ebf9e71652b5fa63d59c97d016e4"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4">SVF::MutableIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00699">MutablePointsToDS.h:699</a></div></div>
1466
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00693">MutablePointsToDS.h:693</a></div></div>
1467
1467
  </div><!-- fragment -->
1468
1468
  </div>
1469
1469
  </div>
@@ -1505,9 +1505,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1505
1505
 
1506
1506
  <p>Return TRUE if var has new pts in loc's OUT set. </p>
1507
1507
 
1508
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00841">841</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1509
- <div class="fragment"><div class="line"><a name="l00842"></a><span class="lineno"> 842</span>&#160; {</div><div class="line"><a name="l00843"></a><span class="lineno"> 843</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00844"></a><span class="lineno"> 844</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.end())</div><div class="line"><a name="l00845"></a><span class="lineno"> 845</span>&#160; <span class="keywordflow">return</span> it-&gt;second.test(var);</div><div class="line"><a name="l00846"></a><span class="lineno"> 846</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00847"></a><span class="lineno"> 847</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00661">MutablePointsToDS.h:661</a></div></div>
1510
- <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00666">MutablePointsToDS.h:666</a></div></div>
1508
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00873">873</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1509
+ <div class="fragment"><div class="line"><a name="l00874"></a><span class="lineno"> 874</span>&#160; {</div><div class="line"><a name="l00875"></a><span class="lineno"> 875</span>&#160; <a class="code" href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">UpdatedVarMapIter</a> it = <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.find(loc);</div><div class="line"><a name="l00876"></a><span class="lineno"> 876</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">outUpdatedVarMap</a>.end())</div><div class="line"><a name="l00877"></a><span class="lineno"> 877</span>&#160; <span class="keywordflow">return</span> it-&gt;second.test(var);</div><div class="line"><a name="l00878"></a><span class="lineno"> 878</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00879"></a><span class="lineno"> 879</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_a8b30326d3fa3f4054e67268f512aec9e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e">SVF::MutableIncDFPTData::UpdatedVarMapIter</a></div><div class="ttdeci">UpdatedVarMap::iterator UpdatedVarMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00693">MutablePointsToDS.h:693</a></div></div>
1510
+ <div class="ttc" id="classSVF_1_1MutableIncDFPTData_html_af5f7db6c55037a0e117a36982736039e"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00698">MutablePointsToDS.h:698</a></div></div>
1511
1511
  </div><!-- fragment -->
1512
1512
  </div>
1513
1513
  </div>
@@ -1534,7 +1534,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1534
1534
  </table>
1535
1535
  </div><div class="memdoc">
1536
1536
 
1537
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00667">667</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1537
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00699">699</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1538
1538
 
1539
1539
  </div>
1540
1540
  </div>
@@ -1560,7 +1560,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1560
1560
  </table>
1561
1561
  </div><div class="memdoc">
1562
1562
 
1563
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00666">666</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1563
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00698">698</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1564
1564
 
1565
1565
  </div>
1566
1566
  </div>