svf-tools 1.0.749 → 1.0.751

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 (550) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +3 -3
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  11. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +4 -4
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -11
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  19. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
  20. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +6 -6
  22. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +6 -6
  23. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +10 -10
  25. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +3 -3
  26. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +22 -22
  32. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +9 -9
  36. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
  37. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +9 -9
  39. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  40. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  41. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  43. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +15 -15
  44. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  45. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +5 -5
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +1 -60
  49. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1194 -1254
  50. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +38 -38
  51. package/SVF-doxygen/html/html/LLVMUtil_8cpp.html +0 -8
  52. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +25 -44
  53. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  54. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  55. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +20 -20
  57. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  59. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/MHP_8cpp_source.html +20 -20
  61. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  62. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +5 -5
  63. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  64. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  66. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  67. package/SVF-doxygen/html/html/MTA_8cpp_source.html +8 -8
  68. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
  71. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  72. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +27 -27
  73. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -4
  74. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +21 -21
  83. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  85. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +2 -2
  88. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +35 -35
  89. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +33 -33
  90. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  92. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +2 -2
  93. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +70 -70
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +11 -11
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +69 -69
  101. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +11 -11
  102. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +38 -38
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +22 -22
  104. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +21 -21
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +21 -21
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +23 -23
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +18 -18
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +7 -7
  111. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +46 -46
  112. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1116 -1114
  113. package/SVF-doxygen/html/html/SVFType_8h.html +23 -25
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +134 -137
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  116. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  117. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +126 -247
  118. package/SVF-doxygen/html/html/SVFValue_8h.html +1 -1
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1061 -1103
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +26 -26
  124. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
  125. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +10 -10
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  130. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +6 -6
  131. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  132. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/TCT_8cpp_source.html +17 -17
  134. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  135. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +9 -9
  136. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  137. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  138. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  140. package/SVF-doxygen/html/html/VFGNode_8h_source.html +14 -14
  141. package/SVF-doxygen/html/html/VFG_8cpp_source.html +24 -24
  142. package/SVF-doxygen/html/html/VFG_8h_source.html +18 -18
  143. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  144. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  145. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  147. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +23 -23
  151. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +5 -5
  152. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +9 -9
  153. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +2 -2
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +51 -51
  158. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +70 -70
  160. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +53 -53
  162. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  163. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +13 -13
  165. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
  168. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +40 -40
  174. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  175. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +99 -99
  176. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +3 -3
  178. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +17 -17
  179. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +10 -10
  180. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +23 -23
  181. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  182. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
  189. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +6 -6
  191. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +21 -21
  192. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +9 -9
  195. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +16 -16
  197. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  199. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  201. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +56 -56
  202. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +6 -6
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
  206. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +3 -3
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  214. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1168 -1215
  215. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +9 -9
  216. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +23 -23
  217. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +19 -19
  218. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  219. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +19 -19
  220. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +19 -19
  222. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +5 -5
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  226. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +4 -4
  227. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +2 -2
  229. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +26 -26
  230. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  232. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  235. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  236. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +48 -48
  239. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -20
  240. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  241. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +40 -40
  246. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +35 -36
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +34 -71
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +37 -38
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +139 -178
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +38 -39
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +19 -58
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +42 -43
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +70 -71
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +34 -35
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +21 -59
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +36 -37
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +27 -66
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +38 -39
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +25 -66
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +40 -41
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +31 -79
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +38 -39
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +19 -58
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +41 -42
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +206 -241
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +9 -9
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +39 -40
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +37 -73
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +22 -22
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +57 -57
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +59 -59
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +39 -39
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +37 -38
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +60 -101
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +36 -37
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +19 -55
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +34 -35
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +15 -53
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +7 -7
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +43 -41
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +32 -33
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +44 -51
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +47 -48
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +56 -57
  291. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +26 -26
  292. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  293. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +40 -40
  294. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  296. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +22 -22
  297. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +18 -18
  299. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +26 -26
  300. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +25 -25
  301. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +9 -9
  302. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  303. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  304. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  305. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +46 -46
  306. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  307. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +24 -24
  308. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +2 -2
  309. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  312. package/SVF-doxygen/html/html/functions_func_p.html +2 -16
  313. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  314. package/SVF-doxygen/html/html/functions_p.html +0 -14
  315. package/SVF-doxygen/html/html/functions_t.html +1 -1
  316. package/SVF-doxygen/html/html/globals_func.html +0 -3
  317. package/SVF-doxygen/html/html/globals_s.html +3 -6
  318. package/SVF-doxygen/html/html/namespaceSVF.html +29 -96
  319. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +4 -4
  320. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +6 -6
  321. package/SVF-doxygen/html/html/namespacemembers_d.html +2 -5
  322. package/SVF-doxygen/html/html/namespacemembers_func_d.html +2 -5
  323. package/SVF-doxygen/html/html/search/all_10.js +325 -325
  324. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  325. package/SVF-doxygen/html/html/search/all_12.js +545 -546
  326. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  327. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  328. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  329. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  330. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  331. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  332. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  333. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  334. package/SVF-doxygen/html/html/search/all_4.js +26 -27
  335. package/SVF-doxygen/html/html/search/all_5.js +156 -156
  336. package/SVF-doxygen/html/html/search/all_6.js +223 -223
  337. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  338. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  339. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  340. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  341. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  342. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  343. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  344. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  345. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  346. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  347. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  348. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  349. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  350. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  351. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  352. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  353. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  354. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  355. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  356. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  357. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  358. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  359. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  360. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  361. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  362. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  363. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  364. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  365. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  366. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  367. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  368. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  369. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  370. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  371. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  372. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  373. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  374. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  375. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  376. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  377. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  378. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  379. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  380. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  381. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  382. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  383. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  384. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  385. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  386. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  387. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  388. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  389. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  390. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  391. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  392. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  393. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  394. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  395. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  396. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  397. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  398. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  399. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  400. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  401. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  402. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  403. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  404. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  405. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  406. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  407. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  408. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  409. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  410. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  411. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  412. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  413. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  414. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  415. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  416. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  417. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  418. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  419. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  420. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -17
  421. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  422. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  423. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  424. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  425. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  426. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  427. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  428. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  429. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  430. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  431. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  432. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  433. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  434. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  435. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  436. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  437. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  438. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  439. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  440. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  441. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  442. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  443. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  444. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  445. package/SVF-doxygen/html/html/search/functions_11.js +281 -282
  446. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  447. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  448. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  449. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  450. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  451. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  452. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  453. package/SVF-doxygen/html/html/search/functions_3.js +71 -72
  454. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  455. package/SVF-doxygen/html/html/search/functions_5.js +55 -55
  456. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  457. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  458. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  459. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  460. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  461. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  462. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  463. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  464. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  465. package/SVF-doxygen/html/html/search/functions_f.js +143 -143
  466. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  467. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  468. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  469. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  470. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  471. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  472. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  473. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  474. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  475. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  476. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  477. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  478. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  479. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  480. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  481. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  482. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  483. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  484. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  485. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  486. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  487. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  488. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  489. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  490. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  491. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  492. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  493. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  494. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  495. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  496. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  497. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  498. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  499. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  500. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  501. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  502. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  503. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  504. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  505. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  506. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  507. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  508. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  509. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  510. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  511. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  512. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  513. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  514. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  515. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  516. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  517. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  518. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  519. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  520. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  521. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  522. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  523. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  524. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  525. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  526. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  527. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  528. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  529. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  530. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  531. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  532. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  533. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
  534. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  535. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  536. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  537. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
  538. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
  539. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +13 -13
  540. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  541. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  542. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +3 -3
  543. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  544. package/package.json +1 -1
  545. package/svf/include/SVFIR/SVFStatements.h +12 -9
  546. package/svf/include/SVFIR/SVFType.h +0 -6
  547. package/svf/include/SVFIR/SVFValue.h +2 -31
  548. package/svf/lib/SVFIR/SVFValue.cpp +0 -95
  549. package/svf-llvm/lib/LLVMModule.cpp +0 -58
  550. package/svf-llvm/lib/LLVMUtil.cpp +13 -28
package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html CHANGED
@@ -133,8 +133,6 @@ Public Member Functions</h2></td></tr>
133
133
  <tr class="separator:a7e965c21a8afe7fca32d0f41b16361cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
134
  <tr class="memitem:a5f6f7bf27f373b16b9c51de310b40686"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">~SVFFunction</a> ()</td></tr>
135
135
  <tr class="separator:a5f6f7bf27f373b16b9c51de310b40686"><td class="memSeparator" colspan="2">&#160;</td></tr>
136
- <tr class="memitem:a200007869f6137b379157dd1383de8e0"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a200007869f6137b379157dd1383de8e0">print</a> (<a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;os) const override</td></tr>
137
- <tr class="separator:a200007869f6137b379157dd1383de8e0"><td class="memSeparator" colspan="2">&#160;</td></tr>
138
136
  <tr class="memitem:a5798ecc742ee74e357d13eea751258c4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html">SVFLoopAndDomInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">getLoopAndDomInfo</a> ()</td></tr>
139
137
  <tr class="separator:a5798ecc742ee74e357d13eea751258c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
140
138
  <tr class="memitem:ab672f0255ec8e42d5e414bc8c72b7c76"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76">isDeclaration</a> () const</td></tr>
@@ -227,8 +225,9 @@ Public Member Functions</h2></td></tr>
227
225
  <tr class="separator:a588acec1904d440797ca4500f63f7d28 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
226
  <tr class="memitem:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a> () const</td></tr>
229
227
  <tr class="separator:a7effb0f37f486745e0cdc3ae5e9c732b inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
230
- <tr class="memitem:a1222d0800de27d27078e6b4a5371beb3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a> () const</td></tr>
231
- <tr class="separator:a1222d0800de27d27078e6b4a5371beb3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
+ <tr class="memitem:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a> () const</td></tr>
229
+ <tr class="memdesc:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="mdescLeft">&#160;</td><td class="mdescRight">Needs to be implemented by a <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> front end. <a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">More...</a><br /></td></tr>
230
+ <tr class="separator:a4a0cfe3a8f37d33ffcdca3d66026dcc3 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
232
231
  </table><table class="memberdecls">
233
232
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
234
233
  Static Public Member Functions</h2></td></tr>
@@ -318,7 +317,7 @@ Additional Inherited Members</h2></td></tr>
318
317
  </table>
319
318
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
320
319
  <div class="textblock">
321
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00274">274</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
320
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00270">270</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
322
321
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
323
322
  <a id="ad09ea0c680c88732c08d655e0afbead3"></a>
324
323
  <h2 class="memtitle"><span class="permalink"><a href="#ad09ea0c680c88732c08d655e0afbead3">&#9670;&nbsp;</a></span>BBList</h2>
@@ -332,7 +331,7 @@ Additional Inherited Members</h2></td></tr>
332
331
  </table>
333
332
  </div><div class="memdoc">
334
333
 
335
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00284">284</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
334
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00280">280</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
336
335
 
337
336
  </div>
338
337
  </div>
@@ -348,7 +347,7 @@ Additional Inherited Members</h2></td></tr>
348
347
  </table>
349
348
  </div><div class="memdoc">
350
349
 
351
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00283">283</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
350
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00279">279</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
352
351
 
353
352
  </div>
354
353
  </div>
@@ -364,7 +363,7 @@ Additional Inherited Members</h2></td></tr>
364
363
  </table>
365
364
  </div><div class="memdoc">
366
365
 
367
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00282">282</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
366
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00278">278</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
368
367
 
369
368
  </div>
370
369
  </div>
@@ -380,7 +379,7 @@ Additional Inherited Members</h2></td></tr>
380
379
  </table>
381
380
  </div><div class="memdoc">
382
381
 
383
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00285">285</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
382
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00281">281</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
384
383
 
385
384
  </div>
386
385
  </div>
@@ -441,12 +440,12 @@ Additional Inherited Members</h2></td></tr>
441
440
  </table>
442
441
  </div><div class="memdoc">
443
442
 
444
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00132">132</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
445
- <div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>),</div>
446
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg),</div>
447
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>)</div>
448
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;{</div>
449
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;}</div>
443
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00125">125</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
444
+ <div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; : <a class="code" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFValue::SVFFunc</a>), <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>(declare), <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>(<a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>),</div>
445
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>(adt), <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>(varg),</div>
446
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>(ft), <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>(ld), <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>(<span class="keyword">nullptr</span>)</div>
447
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;{</div>
448
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;}</div>
450
449
  </div><!-- fragment -->
451
450
  </div>
452
451
  </div>
@@ -499,14 +498,14 @@ Additional Inherited Members</h2></td></tr>
499
498
  </table>
500
499
  </div><div class="memdoc">
501
500
 
502
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00141">141</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
503
- <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;{</div>
504
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
505
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keyword">delete</span> bb;</div>
506
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
507
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keyword">delete</span> arg;</div>
508
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
509
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160;}</div>
501
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00134">134</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
502
+ <div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160;{</div>
503
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb : <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>)</div>
504
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keyword">delete</span> bb;</div>
505
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* arg : <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>)</div>
506
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keyword">delete</span> arg;</div>
507
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
508
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;}</div>
510
509
  </div><!-- fragment -->
511
510
  </div>
512
511
  </div>
@@ -535,10 +534,10 @@ Additional Inherited Members</h2></td></tr>
535
534
  </table>
536
535
  </div><div class="memdoc">
537
536
 
538
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00307">307</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
539
- <div class="fragment"><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div>
540
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
541
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
537
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00303">303</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
538
+ <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
539
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.push_back(arg);</div>
540
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div>
542
541
  </div><!-- fragment -->
543
542
  </div>
544
543
  </div>
@@ -569,10 +568,10 @@ Additional Inherited Members</h2></td></tr>
569
568
  <p>all formal arguments of this function </p>
570
569
  <p>attributes to be set only through Module builders e.g., LLVMModule </p>
571
570
 
572
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00302">302</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
573
- <div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div>
574
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
575
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
571
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00298">298</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
572
+ <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div>
573
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.push_back(bb);</div>
574
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
576
575
  </div><!-- fragment -->
577
576
  </div>
578
577
  </div>
@@ -591,10 +590,10 @@ Additional Inherited Members</h2></td></tr>
591
590
  </table>
592
591
  </div><div class="memdoc">
593
592
 
594
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00150">150</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
595
- <div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160;{</div>
596
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
597
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160;}</div>
593
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00143">143</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
594
+ <div class="fragment"><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;{</div>
595
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size();</div>
596
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;}</div>
598
597
  </div><!-- fragment -->
599
598
  </div>
600
599
  </div>
@@ -621,10 +620,10 @@ Additional Inherited Members</h2></td></tr>
621
620
  </table>
622
621
  </div><div class="memdoc">
623
622
 
624
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00404">404</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
625
- <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div>
626
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
627
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div>
623
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00398">398</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
624
+ <div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
625
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
626
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
628
627
  </div><!-- fragment -->
629
628
  </div>
630
629
  </div>
@@ -651,10 +650,10 @@ Additional Inherited Members</h2></td></tr>
651
650
  </table>
652
651
  </div><div class="memdoc">
653
652
 
654
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00409">409</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
655
- <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
656
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
657
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div>
653
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00403">403</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
654
+ <div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; {</div>
655
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.begin();</div>
656
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; }</div>
658
657
  </div><!-- fragment -->
659
658
  </div>
660
659
  </div>
@@ -682,10 +681,10 @@ Additional Inherited Members</h2></td></tr>
682
681
  </table>
683
682
  </div><div class="memdoc">
684
683
 
685
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00333">333</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
686
- <div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div>
687
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
688
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; }</div>
684
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00329">329</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
685
+ <div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div>
686
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a>;</div>
687
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; }</div>
689
688
  </div><!-- fragment -->
690
689
  </div>
691
690
  </div>
@@ -723,10 +722,10 @@ Additional Inherited Members</h2></td></tr>
723
722
  </table>
724
723
  </div><div class="memdoc">
725
724
 
726
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00479">479</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
727
- <div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; {</div>
728
- <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
729
- <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; }</div>
725
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00473">473</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
726
+ <div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; {</div>
727
+ <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">dominate</a>(bbKey,bbValue);</div>
728
+ <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; }</div>
730
729
  </div><!-- fragment -->
731
730
  </div>
732
731
  </div>
@@ -753,10 +752,10 @@ Additional Inherited Members</h2></td></tr>
753
752
  </table>
754
753
  </div><div class="memdoc">
755
754
 
756
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00414">414</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
757
- <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div>
758
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
759
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; }</div>
755
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00408">408</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
756
+ <div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; {</div>
757
+ <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.end();</div>
758
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; }</div>
760
759
  </div><!-- fragment -->
761
760
  </div>
762
761
  </div>
@@ -783,10 +782,10 @@ Additional Inherited Members</h2></td></tr>
783
782
  </table>
784
783
  </div><div class="memdoc">
785
784
 
786
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00399">399</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
787
- <div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div>
788
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
789
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div>
785
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00393">393</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
786
+ <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div>
787
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">getEntryBlock</a>();</div>
788
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div>
790
789
  </div><!-- fragment -->
791
790
  </div>
792
791
  </div>
@@ -806,11 +805,11 @@ Additional Inherited Members</h2></td></tr>
806
805
  </table>
807
806
  </div><div class="memdoc">
808
807
 
809
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00155">155</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
810
- <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;{</div>
811
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
812
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
813
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;}</div>
808
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00148">148</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
809
+ <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160;{</div>
810
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; assert (idx &lt; <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>.size() &amp;&amp; <span class="stringliteral">&quot;getArg() out of range!&quot;</span>);</div>
811
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a>[idx];</div>
812
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160;}</div>
814
813
  </div><!-- fragment -->
815
814
  </div>
816
815
  </div>
@@ -837,10 +836,10 @@ Additional Inherited Members</h2></td></tr>
837
836
  </table>
838
837
  </div><div class="memdoc">
839
838
 
840
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00419">419</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
841
- <div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; {</div>
842
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
843
- <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; }</div>
839
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00413">413</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
840
+ <div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; {</div>
841
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>;</div>
842
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; }</div>
844
843
  </div><!-- fragment -->
845
844
  </div>
846
845
  </div>
@@ -867,12 +866,12 @@ Additional Inherited Members</h2></td></tr>
867
866
  </table>
868
867
  </div><div class="memdoc">
869
868
 
870
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00371">371</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
871
- <div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; {</div>
872
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
873
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
874
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
875
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; }</div>
869
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00365">365</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
870
+ <div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div>
871
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>==<span class="keyword">nullptr</span>)</div>
872
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> <span class="keyword">this</span>;</div>
873
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a>;</div>
874
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
876
875
  </div><!-- fragment -->
877
876
  </div>
878
877
  </div>
@@ -899,10 +898,10 @@ Additional Inherited Members</h2></td></tr>
899
898
  </table>
900
899
  </div><div class="memdoc">
901
900
 
902
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00469">469</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
903
- <div class="fragment"><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; {</div>
904
- <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
905
- <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
901
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00463">463</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
902
+ <div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; {</div>
903
+ <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">getDomFrontierMap</a>();</div>
904
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; }</div>
906
905
  </div><!-- fragment -->
907
906
  </div>
908
907
  </div>
@@ -929,10 +928,10 @@ Additional Inherited Members</h2></td></tr>
929
928
  </table>
930
929
  </div><div class="memdoc">
931
930
 
932
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00464">464</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
933
- <div class="fragment"><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; {</div>
934
- <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
935
- <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; }</div>
931
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00458">458</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
932
+ <div class="fragment"><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; {</div>
933
+ <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">getDomTreeMap</a>();</div>
934
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div>
936
935
  </div><!-- fragment -->
937
936
  </div>
938
937
  </div>
@@ -959,11 +958,11 @@ Additional Inherited Members</h2></td></tr>
959
958
  </table>
960
959
  </div><div class="memdoc">
961
960
 
962
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00387">387</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
963
- <div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
964
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
965
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
966
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
961
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00381">381</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
962
+ <div class="fragment"><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; {</div>
963
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
964
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.front();</div>
965
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
967
966
  </div><!-- fragment -->
968
967
  </div>
969
968
  </div>
@@ -990,11 +989,11 @@ Additional Inherited Members</h2></td></tr>
990
989
  </table>
991
990
  </div><div class="memdoc">
992
991
 
993
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00393">393</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
994
- <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div>
995
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
996
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
997
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
992
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00387">387</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
993
+ <div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
994
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
995
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.back();</div>
996
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
998
997
  </div><!-- fragment -->
999
998
  </div>
1000
999
  </div>
@@ -1032,10 +1031,10 @@ Additional Inherited Members</h2></td></tr>
1032
1031
  </table>
1033
1032
  </div><div class="memdoc">
1034
1033
 
1035
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00439">439</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1036
- <div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; {</div>
1037
- <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1038
- <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; }</div>
1034
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00433">433</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1035
+ <div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; {</div>
1036
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">getExitBlocksOfLoop</a>(bb,exitbbs);</div>
1037
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; }</div>
1039
1038
  </div><!-- fragment -->
1040
1039
  </div>
1041
1040
  </div>
@@ -1064,10 +1063,10 @@ Additional Inherited Members</h2></td></tr>
1064
1063
 
1065
1064
  <p>Returns the FunctionType. </p>
1066
1065
 
1067
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00360">360</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1068
- <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div>
1069
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1070
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
1066
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00354">354</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1067
+ <div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
1068
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>;</div>
1069
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div>
1071
1070
  </div><!-- fragment -->
1072
1071
  </div>
1073
1072
  </div>
@@ -1094,10 +1093,10 @@ Additional Inherited Members</h2></td></tr>
1094
1093
  </table>
1095
1094
  </div><div class="memdoc">
1096
1095
 
1097
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00340">340</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1098
- <div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div>
1099
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1100
- <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; }</div>
1096
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00334">334</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1097
+ <div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
1098
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>;</div>
1099
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
1101
1100
  </div><!-- fragment -->
1102
1101
  </div>
1103
1102
  </div>
@@ -1125,10 +1124,10 @@ Additional Inherited Members</h2></td></tr>
1125
1124
  </table>
1126
1125
  </div><div class="memdoc">
1127
1126
 
1128
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00454">454</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1129
- <div class="fragment"><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; {</div>
1130
- <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1131
- <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; }</div>
1127
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00448">448</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1128
+ <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
1129
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">getLoopHeader</a>(lp);</div>
1130
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
1132
1131
  </div><!-- fragment -->
1133
1132
  </div>
1134
1133
  </div>
@@ -1156,10 +1155,10 @@ Additional Inherited Members</h2></td></tr>
1156
1155
  </table>
1157
1156
  </div><div class="memdoc">
1158
1157
 
1159
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00449">449</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1160
- <div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; {</div>
1161
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1162
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; }</div>
1158
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00443">443</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1159
+ <div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; {</div>
1160
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
1161
+ <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; }</div>
1163
1162
  </div><!-- fragment -->
1164
1163
  </div>
1165
1164
  </div>
@@ -1186,10 +1185,10 @@ Additional Inherited Members</h2></td></tr>
1186
1185
  </table>
1187
1186
  </div><div class="memdoc">
1188
1187
 
1189
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00424">424</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1190
- <div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; {</div>
1191
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1192
- <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</div>
1188
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00418">418</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1189
+ <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
1190
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">getReachableBBs</a>();</div>
1191
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div>
1193
1192
  </div><!-- fragment -->
1194
1193
  </div>
1195
1194
  </div>
@@ -1218,10 +1217,10 @@ Additional Inherited Members</h2></td></tr>
1218
1217
 
1219
1218
  <p>Returns the FunctionType. </p>
1220
1219
 
1221
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00366">366</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1222
- <div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
1223
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1224
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
1220
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00360">360</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1221
+ <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div>
1222
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a>-&gt;<a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>();</div>
1223
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
1225
1224
  </div><!-- fragment -->
1226
1225
  </div>
1227
1226
  </div>
@@ -1248,10 +1247,10 @@ Additional Inherited Members</h2></td></tr>
1248
1247
  </table>
1249
1248
  </div><div class="memdoc">
1250
1249
 
1251
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00354">354</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1252
- <div class="fragment"><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
1253
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1254
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div>
1250
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00348">348</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1251
+ <div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
1252
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a>;</div>
1253
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div>
1255
1254
  </div><!-- fragment -->
1256
1255
  </div>
1257
1256
  </div>
@@ -1278,10 +1277,10 @@ Additional Inherited Members</h2></td></tr>
1278
1277
  </table>
1279
1278
  </div><div class="memdoc">
1280
1279
 
1281
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00382">382</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1282
- <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
1283
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1284
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
1280
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00376">376</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1281
+ <div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1282
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a>.empty();</div>
1283
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
1285
1284
  </div><!-- fragment -->
1286
1285
  </div>
1287
1286
  </div>
@@ -1309,10 +1308,10 @@ Additional Inherited Members</h2></td></tr>
1309
1308
  </table>
1310
1309
  </div><div class="memdoc">
1311
1310
 
1312
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00444">444</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1313
- <div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; {</div>
1314
- <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1315
- <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; }</div>
1311
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00438">438</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1312
+ <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; {</div>
1313
+ <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb);</div>
1314
+ <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; }</div>
1316
1315
  </div><!-- fragment -->
1317
1316
  </div>
1318
1317
  </div>
@@ -1339,10 +1338,10 @@ Additional Inherited Members</h2></td></tr>
1339
1338
  </table>
1340
1339
  </div><div class="memdoc">
1341
1340
 
1342
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00344">344</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1343
- <div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
1344
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1345
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
1341
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00338">338</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1342
+ <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
1343
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a>;</div>
1344
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; }</div>
1346
1345
  </div><!-- fragment -->
1347
1346
  </div>
1348
1347
  </div>
@@ -1369,10 +1368,10 @@ Additional Inherited Members</h2></td></tr>
1369
1368
  </table>
1370
1369
  </div><div class="memdoc">
1371
1370
 
1372
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00349">349</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1373
- <div class="fragment"><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div>
1374
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1375
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
1371
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00343">343</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1372
+ <div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; {</div>
1373
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a>;</div>
1374
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div>
1376
1375
  </div><!-- fragment -->
1377
1376
  </div>
1378
1377
  </div>
@@ -1400,10 +1399,10 @@ Additional Inherited Members</h2></td></tr>
1400
1399
  </table>
1401
1400
  </div><div class="memdoc">
1402
1401
 
1403
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00474">474</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1404
- <div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; {</div>
1405
- <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1406
- <div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; }</div>
1402
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00468">468</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1403
+ <div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; {</div>
1404
+ <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">isLoopHeader</a>(bb);</div>
1405
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; }</div>
1407
1406
  </div><!-- fragment -->
1408
1407
  </div>
1409
1408
  </div>
@@ -1430,10 +1429,10 @@ Additional Inherited Members</h2></td></tr>
1430
1429
  </table>
1431
1430
  </div><div class="memdoc">
1432
1431
 
1433
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00434">434</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1434
- <div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div>
1435
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1436
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; }</div>
1432
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00428">428</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1433
+ <div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; {</div>
1434
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1435
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; }</div>
1437
1436
  </div><!-- fragment -->
1438
1437
  </div>
1439
1438
  </div>
@@ -1460,10 +1459,10 @@ Additional Inherited Members</h2></td></tr>
1460
1459
  </table>
1461
1460
  </div><div class="memdoc">
1462
1461
 
1463
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00429">429</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1464
- <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; {</div>
1465
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1466
- <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; }</div>
1462
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00423">423</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1463
+ <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div>
1464
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
1465
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; }</div>
1467
1466
  </div><!-- fragment -->
1468
1467
  </div>
1469
1468
  </div>
@@ -1482,10 +1481,10 @@ Additional Inherited Members</h2></td></tr>
1482
1481
  </table>
1483
1482
  </div><div class="memdoc">
1484
1483
 
1485
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00161">161</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1486
- <div class="fragment"><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;{</div>
1487
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
1488
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;}</div>
1484
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00154">154</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1485
+ <div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;{</div>
1486
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">varArg</a>;</div>
1487
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;}</div>
1489
1488
  </div><!-- fragment -->
1490
1489
  </div>
1491
1490
  </div>
@@ -1523,10 +1522,10 @@ Additional Inherited Members</h2></td></tr>
1523
1522
  </table>
1524
1523
  </div><div class="memdoc">
1525
1524
 
1526
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00459">459</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1527
- <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; {</div>
1528
- <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1529
- <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; }</div>
1525
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00453">453</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1526
+ <div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; {</div>
1527
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">loopContainsBB</a>(lp,bb);</div>
1528
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div>
1530
1529
  </div><!-- fragment -->
1531
1530
  </div>
1532
1531
  </div>
@@ -1564,43 +1563,10 @@ Additional Inherited Members</h2></td></tr>
1564
1563
  </table>
1565
1564
  </div><div class="memdoc">
1566
1565
 
1567
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00484">484</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1568
- <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; {</div>
1569
- <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1570
- <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; }</div>
1571
- </div><!-- fragment -->
1572
- </div>
1573
- </div>
1574
- <a id="a200007869f6137b379157dd1383de8e0"></a>
1575
- <h2 class="memtitle"><span class="permalink"><a href="#a200007869f6137b379157dd1383de8e0">&#9670;&nbsp;</a></span>print()</h2>
1576
-
1577
- <div class="memitem">
1578
- <div class="memproto">
1579
- <table class="mlabels">
1580
- <tr>
1581
- <td class="mlabels-left">
1582
- <table class="memname">
1583
- <tr>
1584
- <td class="memname">void SVFFunction::print </td>
1585
- <td>(</td>
1586
- <td class="paramtype"><a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;&#160;</td>
1587
- <td class="paramname"><em>os</em></td><td>)</td>
1588
- <td> const</td>
1589
- </tr>
1590
- </table>
1591
- </td>
1592
- <td class="mlabels-right">
1593
- <span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
1594
- </tr>
1595
- </table>
1596
- </div><div class="memdoc">
1597
-
1598
- <p>Implements <a class="el" href="classSVF_1_1SVFValue.html#a7d8c21d29b2883765fea565ec12fed78">SVF::SVFValue</a>.</p>
1599
-
1600
- <p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00247">247</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
1601
- <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160;{</div>
1602
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; os &lt;&lt; <span class="stringliteral">&quot;fun &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
1603
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160;}</div>
1566
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00478">478</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1567
+ <div class="fragment"><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; {</div>
1568
+ <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">loopAndDom</a>-&gt;<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">postDominate</a>(bbKey,bbValue);</div>
1569
+ <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; }</div>
1604
1570
  </div><!-- fragment -->
1605
1571
  </div>
1606
1572
  </div>
@@ -1628,10 +1594,10 @@ Additional Inherited Members</h2></td></tr>
1628
1594
  </table>
1629
1595
  </div><div class="memdoc">
1630
1596
 
1631
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00322">322</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1632
- <div class="fragment"><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
1633
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1634
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div>
1597
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00318">318</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1598
+ <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div>
1599
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">realDefFun</a> = deffun;</div>
1600
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
1635
1601
  </div><!-- fragment -->
1636
1602
  </div>
1637
1603
  </div>
@@ -1659,10 +1625,10 @@ Additional Inherited Members</h2></td></tr>
1659
1625
  </table>
1660
1626
  </div><div class="memdoc">
1661
1627
 
1662
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00317">317</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1663
- <div class="fragment"><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; {</div>
1664
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1665
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; }</div>
1628
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00313">313</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1629
+ <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; {</div>
1630
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> = notRet;</div>
1631
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
1666
1632
  </div><!-- fragment -->
1667
1633
  </div>
1668
1634
  </div>
@@ -1690,10 +1656,10 @@ Additional Inherited Members</h2></td></tr>
1690
1656
  </table>
1691
1657
  </div><div class="memdoc">
1692
1658
 
1693
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00312">312</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1694
- <div class="fragment"><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; {</div>
1695
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1696
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
1659
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00308">308</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1660
+ <div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div>
1661
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a> = uncalledFunction;</div>
1662
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; }</div>
1697
1663
  </div><!-- fragment -->
1698
1664
  </div>
1699
1665
  </div>
@@ -1718,7 +1684,7 @@ Additional Inherited Members</h2></td></tr>
1718
1684
  </table>
1719
1685
  </div><div class="memdoc">
1720
1686
 
1721
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00276">276</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1687
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00272">272</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1722
1688
 
1723
1689
  </div>
1724
1690
  </div>
@@ -1742,7 +1708,7 @@ Additional Inherited Members</h2></td></tr>
1742
1708
  </table>
1743
1709
  </div><div class="memdoc">
1744
1710
 
1745
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00279">279</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1711
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00275">275</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1746
1712
 
1747
1713
  </div>
1748
1714
  </div>
@@ -1766,7 +1732,7 @@ Additional Inherited Members</h2></td></tr>
1766
1732
  </table>
1767
1733
  </div><div class="memdoc">
1768
1734
 
1769
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00278">278</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1735
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00274">274</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1770
1736
 
1771
1737
  </div>
1772
1738
  </div>
@@ -1790,7 +1756,7 @@ Additional Inherited Members</h2></td></tr>
1790
1756
  </table>
1791
1757
  </div><div class="memdoc">
1792
1758
 
1793
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00277">277</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1759
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00273">273</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1794
1760
 
1795
1761
  </div>
1796
1762
  </div>
@@ -1817,7 +1783,7 @@ Additional Inherited Members</h2></td></tr>
1817
1783
 
1818
1784
  <p>return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the application code </p>
1819
1785
 
1820
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00290">290</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1786
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00286">286</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1821
1787
 
1822
1788
  </div>
1823
1789
  </div>
@@ -1843,7 +1809,7 @@ Additional Inherited Members</h2></td></tr>
1843
1809
 
1844
1810
  <p>all BasicBlocks of this function </p>
1845
1811
 
1846
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00298">298</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1812
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00294">294</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1847
1813
 
1848
1814
  </div>
1849
1815
  </div>
@@ -1869,7 +1835,7 @@ Additional Inherited Members</h2></td></tr>
1869
1835
 
1870
1836
  <p>the definition of a function across multiple modules </p>
1871
1837
 
1872
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00297">297</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1838
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00293">293</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1873
1839
 
1874
1840
  </div>
1875
1841
  </div>
@@ -1895,7 +1861,7 @@ Additional Inherited Members</h2></td></tr>
1895
1861
 
1896
1862
  <p>return true if this function supports variable arguments </p>
1897
1863
 
1898
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00294">294</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1864
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00290">290</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1899
1865
 
1900
1866
  </div>
1901
1867
  </div>
@@ -1921,7 +1887,7 @@ Additional Inherited Members</h2></td></tr>
1921
1887
 
1922
1888
  <p>return true if this function does not have a body </p>
1923
1889
 
1924
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00289">289</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1890
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00285">285</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1925
1891
 
1926
1892
  </div>
1927
1893
  </div>
@@ -1945,7 +1911,7 @@ Additional Inherited Members</h2></td></tr>
1945
1911
  </table>
1946
1912
  </div><div class="memdoc">
1947
1913
 
1948
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00288">288</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1914
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00284">284</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1949
1915
 
1950
1916
  </div>
1951
1917
  </div>
@@ -1971,7 +1937,7 @@ Additional Inherited Members</h2></td></tr>
1971
1937
 
1972
1938
  <p>return true if this function is never called </p>
1973
1939
 
1974
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00292">292</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1940
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00288">288</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1975
1941
 
1976
1942
  </div>
1977
1943
  </div>
@@ -1997,7 +1963,7 @@ Additional Inherited Members</h2></td></tr>
1997
1963
 
1998
1964
  <p>return true if this function is address-taken (for indirect call purposes) </p>
1999
1965
 
2000
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00291">291</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1966
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00287">287</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2001
1967
 
2002
1968
  </div>
2003
1969
  </div>
@@ -2023,7 +1989,7 @@ Additional Inherited Members</h2></td></tr>
2023
1989
 
2024
1990
  <p>FunctionType, which is different from the type (PointerType) of this <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>. </p>
2025
1991
 
2026
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00295">295</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1992
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00291">291</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2027
1993
 
2028
1994
  </div>
2029
1995
  </div>
@@ -2049,7 +2015,7 @@ Additional Inherited Members</h2></td></tr>
2049
2015
 
2050
2016
  <p>the loop and dominate information </p>
2051
2017
 
2052
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00296">296</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2018
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00292">292</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2053
2019
 
2054
2020
  </div>
2055
2021
  </div>
@@ -2075,7 +2041,7 @@ Additional Inherited Members</h2></td></tr>
2075
2041
 
2076
2042
  <p>return true if this function never returns </p>
2077
2043
 
2078
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00293">293</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2044
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00289">289</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
2079
2045
 
2080
2046
  </div>
2081
2047
  </div>
@@ -2084,37 +2050,36 @@ Additional Inherited Members</h2></td></tr>
2084
2050
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a></li>
2085
2051
  </ul>
2086
2052
  </div><!-- contents -->
2087
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
2088
2053
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_abe37f8896e2491a7a60be3fbfde8123c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">SVF::SVFLoopAndDomInfo::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00082">SVFValue.h:82</a></div></div>
2089
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00296">SVFValue.h:296</a></div></div>
2054
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a78f8e3238be991bf5cc42a84c29b9007"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction::realDefFun</a></div><div class="ttdeci">const SVFFunction * realDefFun</div><div class="ttdoc">the loop and dominate information</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00292">SVFValue.h:292</a></div></div>
2090
2055
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a342f2825d6b7e3289d0f0f4b7ee8247c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">SVF::SVFLoopAndDomInfo::dominate</a></div><div class="ttdeci">bool dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00053">SVFValue.cpp:53</a></div></div>
2091
2056
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a2fc6b806a436d8fa65863f6cef99e716"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a2fc6b806a436d8fa65863f6cef99e716">SVF::SVFLoopAndDomInfo::getDomTreeMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00115">SVFValue.h:115</a></div></div>
2092
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a037b2583aa8d15ceeb630eaad41a36a3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">SVF::SVFFunction::intrinsic</a></div><div class="ttdeci">bool intrinsic</div><div class="ttdoc">return true if this function does not have a body</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00289">SVFValue.h:289</a></div></div>
2093
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00293">SVFValue.h:293</a></div></div>
2094
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00294">SVFValue.h:294</a></div></div>
2057
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a037b2583aa8d15ceeb630eaad41a36a3"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">SVF::SVFFunction::intrinsic</a></div><div class="ttdeci">bool intrinsic</div><div class="ttdoc">return true if this function does not have a body</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00285">SVFValue.h:285</a></div></div>
2058
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a11aaa0ffaf7fa3d220c9af5d4537eaad"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad">SVF::SVFFunction::varArg</a></div><div class="ttdeci">bool varArg</div><div class="ttdoc">return true if this function never returns</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00289">SVFValue.h:289</a></div></div>
2059
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ad1c1ca2a7d4a681f24712345222e9ddc"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">SVF::SVFFunction::funcType</a></div><div class="ttdeci">const SVFFunctionType * funcType</div><div class="ttdoc">return true if this function supports variable arguments</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00290">SVFValue.h:290</a></div></div>
2095
2060
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_af66c5a824f9fc2813e2d97e17f9a2e96"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96">SVF::SVFLoopAndDomInfo::postDominate</a></div><div class="ttdeci">bool postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00084">SVFValue.cpp:84</a></div></div>
2096
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; allBBs</div><div class="ttdoc">the definition of a function across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
2061
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aa61307a21647def105677d36bfbaf32f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">SVF::SVFFunction::allBBs</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt; allBBs</div><div class="ttdoc">the definition of a function across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00293">SVFValue.h:293</a></div></div>
2097
2062
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a39257282d3875b5d28c21f6c8b1caf43"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a39257282d3875b5d28c21f6c8b1caf43">SVF::SVFLoopAndDomInfo::isLoopHeader</a></div><div class="ttdeci">bool isLoopHeader(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00114">SVFValue.cpp:114</a></div></div>
2098
2063
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue::SVFFunc</a></div><div class="ttdeci">@ SVFFunc</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00162">SVFValue.h:162</a></div></div>
2099
- <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
2100
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00393">SVFValue.h:393</a></div></div>
2064
+ <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00484">SVFValue.h:484</a></div></div>
2065
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00387">SVFValue.h:387</a></div></div>
2101
2066
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_adc010d8c6b2a3fe1a99f39552be5b117"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#adc010d8c6b2a3fe1a99f39552be5b117">SVF::SVFLoopAndDomInfo::loopContainsBB</a></div><div class="ttdeci">bool loopContainsBB(const LoopBBs &amp;lp, const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00095">SVFValue.h:95</a></div></div>
2102
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector&lt; const SVFArgument * &gt; allArgs</div><div class="ttdoc">all BasicBlocks of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00298">SVFValue.h:298</a></div></div>
2067
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a625bef2b92c8e62df547bd2758b59c75"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">SVF::SVFFunction::allArgs</a></div><div class="ttdeci">std::vector&lt; const SVFArgument * &gt; allArgs</div><div class="ttdoc">all BasicBlocks of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00294">SVFValue.h:294</a></div></div>
2103
2068
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_af38497e11745949a8a1eeead143efd58"><div class="ttname"><a href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue::SVFValue</a></div><div class="ttdeci">SVFValue()=delete</div></div>
2104
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00295">SVFValue.h:295</a></div></div>
2069
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aefde3a0671e34541a4ad5d7a6dfaa5d1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction::loopAndDom</a></div><div class="ttdeci">SVFLoopAndDomInfo * loopAndDom</div><div class="ttdoc">FunctionType, which is different from the type (PointerType) of this SVFFunction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00291">SVFValue.h:291</a></div></div>
2105
2070
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a95099f1b621c4f0d6d53798d7eab4e3b"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo::getReachableBBs</a></div><div class="ttdeci">const BBList &amp; getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00131">SVFValue.h:131</a></div></div>
2106
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00291">SVFValue.h:291</a></div></div>
2071
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a1e9dc1d660e3626540b7501194bb12ea"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">SVF::SVFFunction::isUncalled</a></div><div class="ttdeci">bool isUncalled</div><div class="ttdoc">return true if this function is address-taken (for indirect call purposes)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00287">SVFValue.h:287</a></div></div>
2107
2072
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae37546be7304c66b4eca2654d995eaa7"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">SVF::SVFLoopAndDomInfo::getDomFrontierMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomFrontierMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00072">SVFValue.h:72</a></div></div>
2108
2073
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00027">SVFValue.cpp:27</a></div></div>
2109
2074
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a48654f61a84ac5f93b02fb618cd0d045"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">SVF::SVFLoopAndDomInfo::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &amp;exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00034">SVFValue.cpp:34</a></div></div>
2110
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00288">SVFValue.h:288</a></div></div>
2111
- <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00866">SVFValue.h:866</a></div></div>
2075
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00284">SVFValue.h:284</a></div></div>
2076
+ <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00853">SVFValue.h:853</a></div></div>
2112
2077
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ac29e502080635ed47b72d471b48b5a8d"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ac29e502080635ed47b72d471b48b5a8d">SVF::SVFLoopAndDomInfo::getLoopHeader</a></div><div class="ttdeci">const SVFBasicBlock * getLoopHeader(const LoopBBs &amp;lp) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00089">SVFValue.h:89</a></div></div>
2113
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00387">SVFValue.h:387</a></div></div>
2078
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00381">SVFValue.h:381</a></div></div>
2114
2079
  <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a74ce115a0fa958f259469b521468a2b3"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">SVF::SVFFunctionType::getReturnType</a></div><div class="ttdeci">const SVFType * getReturnType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00402">SVFType.h:402</a></div></div>
2115
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00290">SVFValue.h:290</a></div></div>
2116
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00382">SVFValue.h:382</a></div></div>
2117
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00292">SVFValue.h:292</a></div></div>
2080
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a3b93a04e82233f64b1c463f6cece8ea1"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction::addrTaken</a></div><div class="ttdeci">bool addrTaken</div><div class="ttdoc">return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00286">SVFValue.h:286</a></div></div>
2081
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a9a7f1f56b6cfc33e7fa241286a07fd63"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">SVF::SVFFunction::hasBasicBlock</a></div><div class="ttdeci">bool hasBasicBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00376">SVFValue.h:376</a></div></div>
2082
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac85bdf04fd784e22a89426955d28e3d6"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">SVF::SVFFunction::isNotRet</a></div><div class="ttdeci">bool isNotRet</div><div class="ttdoc">return true if this function is never called</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00288">SVFValue.h:288</a></div></div>
2118
2083
  <!-- start footer part -->
2119
2084
  <hr class="footer"/><address class="footer"><small>
2120
2085
  Generated by &#160;<a href="http://www.doxygen.org/index.html">