svf-tools 1.0.799 → 1.0.800
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.
- package/SVF-doxygen/html/AccessPath_8cpp_source.html +145 -144
- package/SVF-doxygen/html/AccessPath_8h_source.html +6 -6
- package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +4 -4
- package/SVF-doxygen/html/CFLAlias_8h_source.html +3 -3
- package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +4 -4
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/FlowDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +5 -5
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +175 -165
- package/SVF-doxygen/html/LLVMModule_8h_source.html +3 -3
- package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +5 -5
- package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
- package/SVF-doxygen/html/MHP_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/MTA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +7 -7
- package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PCG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +4 -4
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +5 -5
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +6 -6
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFType_8cpp_source.html +7 -7
- package/SVF-doxygen/html/SVFType_8h.html +23 -23
- package/SVF-doxygen/html/SVFType_8h_source.html +340 -332
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +2 -2
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
- package/SVF-doxygen/html/TCT_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/VFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WPAPass_8cpp_source.html +4 -4
- package/SVF-doxygen/html/WPAPass_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +131 -130
- package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1IRGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +170 -160
- package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MHP.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1MTA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PCG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFArrayType.html +27 -27
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFFunctionType.html +18 -18
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html +19 -19
- package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType-members.html +18 -17
- package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html +49 -16
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFStructType.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1TCT.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1WPAPass.html +3 -3
- package/SVF-doxygen/html/functions_func_s.html +23 -20
- package/SVF-doxygen/html/functions_l.html +5 -5
- package/SVF-doxygen/html/functions_n.html +3 -3
- package/SVF-doxygen/html/functions_o.html +10 -10
- package/SVF-doxygen/html/functions_p.html +9 -5
- package/SVF-doxygen/html/functions_r.html +5 -5
- package/SVF-doxygen/html/functions_s.html +19 -18
- package/SVF-doxygen/html/functions_t.html +3 -3
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/namespaceSVF.html +23 -23
- package/SVF-doxygen/html/search/all_10.js +3 -3
- package/SVF-doxygen/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/search/all_12.js +396 -395
- package/SVF-doxygen/html/search/all_13.js +191 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/search/all_c.js +4 -4
- package/SVF-doxygen/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/search/all_f.js +4 -4
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +359 -359
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +277 -276
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +851 -851
- package/SVF-doxygen/html/search/functions_8.js +146 -146
- package/SVF-doxygen/html/search/functions_9.js +428 -428
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +42 -42
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +37 -37
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1Hash_3_01NodePair_01_4.html +11 -11
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +11 -11
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +7 -7
- package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +14 -14
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/SVFIR/SVFType.h +9 -2
- package/svf/lib/MemoryModel/AccessPath.cpp +5 -4
- package/svf/lib/SVFIR/SVFFileSystem.cpp +1 -1
- package/svf-llvm/lib/LLVMModule.cpp +11 -2
|
@@ -389,334 +389,341 @@ $(function() {
|
|
|
389
389
|
<div class="line"><a name="l00350"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60"> 350</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>;</div>
|
|
390
390
|
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  </div>
|
|
391
391
|
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span> <span class="keyword">public</span>:</div>
|
|
392
|
-
<div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#
|
|
393
|
-
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>), <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>(
|
|
392
|
+
<div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab"> 353</a></span>  <a class="code" href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab">SVFPointerType</a>()</div>
|
|
393
|
+
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>), <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>(nullptr)</div>
|
|
394
394
|
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  {</div>
|
|
395
395
|
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  }</div>
|
|
396
|
-
<div class="line"><a name="l00357"></a><span class="lineno"
|
|
397
|
-
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span> 
|
|
398
|
-
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span> 
|
|
399
|
-
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span> 
|
|
400
|
-
<div class="line"><a name="l00361"></a><span class="lineno"
|
|
401
|
-
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span> 
|
|
402
|
-
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span> 
|
|
403
|
-
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span> 
|
|
404
|
-
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  </div>
|
|
405
|
-
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span> 
|
|
406
|
-
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span> 
|
|
407
|
-
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  </div>
|
|
408
|
-
<div class="line"><a name="l00369"></a><span class="lineno"
|
|
409
|
-
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span> 
|
|
410
|
-
<div class="line"><a name="l00371"></a><span class="lineno"
|
|
411
|
-
<div class="line"><a name="l00372"></a><span class="lineno"
|
|
412
|
-
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  </div>
|
|
413
|
-
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span> 
|
|
414
|
-
<div class="line"><a name="l00375"></a><span class="lineno"
|
|
415
|
-
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span> 
|
|
416
|
-
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span> 
|
|
417
|
-
<div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#
|
|
418
|
-
<div class="line"><a name="l00379"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#
|
|
419
|
-
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span> 
|
|
420
|
-
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span> 
|
|
421
|
-
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span> 
|
|
396
|
+
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  </div>
|
|
397
|
+
<div class="line"><a name="l00358"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6"> 358</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
398
|
+
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  {</div>
|
|
399
|
+
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
|
|
400
|
+
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  }</div>
|
|
401
|
+
<div class="line"><a name="l00362"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea"> 362</a></span>  <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">getPtrElementType</a>()<span class="keyword"> const</span></div>
|
|
402
|
+
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span> <span class="keyword"> </span>{</div>
|
|
403
|
+
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  assert(<a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> && <span class="stringliteral">"ptrElementType is nullptr"</span>);</div>
|
|
404
|
+
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a>;</div>
|
|
405
|
+
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  }</div>
|
|
406
|
+
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  </div>
|
|
407
|
+
<div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09"> 368</a></span>  <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">setPtrElementType</a>(<a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* _ptrElementType)</div>
|
|
408
|
+
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  {</div>
|
|
409
|
+
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  <a class="code" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">ptrElementType</a> = _ptrElementType;</div>
|
|
410
|
+
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  }</div>
|
|
411
|
+
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  </div>
|
|
412
|
+
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
413
|
+
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span> };</div>
|
|
414
|
+
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  </div>
|
|
415
|
+
<div class="line"><a name="l00376"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html"> 376</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIntegerType.html">SVFIntegerType</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a></div>
|
|
416
|
+
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span> {</div>
|
|
417
|
+
<div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#ac6d7207b2c449f2aa8129697485d8fd6"> 378</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
|
|
418
|
+
<div class="line"><a name="l00379"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#a96821c016c81ee0600ef62fd28298292"> 379</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
|
|
419
|
+
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  </div>
|
|
420
|
+
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span> <span class="keyword">private</span>:</div>
|
|
421
|
+
<div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87"> 382</a></span>  <span class="keywordtype">short</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>; </div>
|
|
422
422
|
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  </div>
|
|
423
|
-
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> 
|
|
424
|
-
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  </div>
|
|
425
|
-
<div class="line"><a name="l00386"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#
|
|
423
|
+
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span> <span class="keyword">public</span>:</div>
|
|
424
|
+
<div class="line"><a name="l00385"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2"> 385</a></span>  <a class="code" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVFIntegerType</a>() : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>) {}</div>
|
|
425
|
+
<div class="line"><a name="l00386"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#aee36de2439ab62fbbe68f71826478914"> 386</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#aee36de2439ab62fbbe68f71826478914">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
426
426
|
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div>
|
|
427
|
-
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <a class="code" href="
|
|
427
|
+
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>;</div>
|
|
428
428
|
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  }</div>
|
|
429
429
|
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  </div>
|
|
430
|
-
<div class="line"><a name="l00391"></a><span class="lineno"
|
|
431
|
-
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span> 
|
|
432
|
-
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span> 
|
|
433
|
-
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span> 
|
|
434
|
-
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span> 
|
|
435
|
-
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span> 
|
|
436
|
-
<div class="line"><a name="l00397"></a><span class="lineno"
|
|
437
|
-
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span> 
|
|
438
|
-
<div class="line"><a name="l00399"></a><span class="lineno"
|
|
439
|
-
<div class="line"><a name="l00400"></a><span class="lineno"
|
|
440
|
-
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span> 
|
|
441
|
-
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> 
|
|
442
|
-
<div class="line"><a name="l00403"></a><span class="lineno"
|
|
443
|
-
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span> 
|
|
444
|
-
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> 
|
|
445
|
-
<div class="line"><a name="l00406"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#
|
|
446
|
-
<div class="line"><a name="l00407"></a><span class="lineno"
|
|
447
|
-
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span> 
|
|
448
|
-
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span> 
|
|
449
|
-
<div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#
|
|
450
|
-
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span> 
|
|
451
|
-
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span> 
|
|
452
|
-
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span> 
|
|
453
|
-
<div class="line"><a name="l00414"></a><span class="lineno"
|
|
454
|
-
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span> 
|
|
455
|
-
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span> 
|
|
456
|
-
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span> 
|
|
457
|
-
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span> 
|
|
458
|
-
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span> 
|
|
459
|
-
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span> }
|
|
460
|
-
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  </div>
|
|
461
|
-
<div class="line"><a name="l00422"></a><span class="lineno"
|
|
462
|
-
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span> 
|
|
463
|
-
<div class="line"><a name="l00424"></a><span class="lineno"
|
|
464
|
-
<div class="line"><a name="l00425"></a><span class="lineno"
|
|
465
|
-
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  </div>
|
|
466
|
-
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span> 
|
|
467
|
-
<div class="line"><a name="
|
|
468
|
-
<div class="line"><a name="
|
|
469
|
-
<div class="line"><a name="
|
|
470
|
-
<div class="line"><a name="
|
|
430
|
+
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
431
|
+
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  </div>
|
|
432
|
+
<div class="line"><a name="l00393"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11"> 393</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">setSignAndWidth</a>(<span class="keywordtype">short</span> sw)</div>
|
|
433
|
+
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  {</div>
|
|
434
|
+
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> = sw;</div>
|
|
435
|
+
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  }</div>
|
|
436
|
+
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  </div>
|
|
437
|
+
<div class="line"><a name="l00398"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821"> 398</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">isSigned</a>()<span class="keyword"> const</span></div>
|
|
438
|
+
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span> <span class="keyword"> </span>{</div>
|
|
439
|
+
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> < 0;</div>
|
|
440
|
+
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  }</div>
|
|
441
|
+
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span> };</div>
|
|
442
|
+
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  </div>
|
|
443
|
+
<div class="line"><a name="l00404"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html"> 404</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFFunctionType.html">SVFFunctionType</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a></div>
|
|
444
|
+
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span> {</div>
|
|
445
|
+
<div class="line"><a name="l00406"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#ac6d7207b2c449f2aa8129697485d8fd6"> 406</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
|
|
446
|
+
<div class="line"><a name="l00407"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#a96821c016c81ee0600ef62fd28298292"> 407</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
|
|
447
|
+
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  </div>
|
|
448
|
+
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span> <span class="keyword">private</span>:</div>
|
|
449
|
+
<div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186"> 410</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>;</div>
|
|
450
|
+
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  </div>
|
|
451
|
+
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span> <span class="keyword">public</span>:</div>
|
|
452
|
+
<div class="line"><a name="l00413"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe"> 413</a></span>  <a class="code" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVFFunctionType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* rt)</div>
|
|
453
|
+
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>), <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>(rt)</div>
|
|
454
|
+
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  {</div>
|
|
455
|
+
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  }</div>
|
|
456
|
+
<div class="line"><a name="l00417"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49"> 417</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
457
|
+
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  {</div>
|
|
458
|
+
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>;</div>
|
|
459
|
+
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  }</div>
|
|
460
|
+
<div class="line"><a name="l00421"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3"> 421</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3">getReturnType</a>()<span class="keyword"> const</span></div>
|
|
461
|
+
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span> <span class="keyword"> </span>{</div>
|
|
462
|
+
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">retTy</a>;</div>
|
|
463
|
+
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  }</div>
|
|
464
|
+
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  </div>
|
|
465
|
+
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
466
|
+
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span> };</div>
|
|
467
|
+
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  </div>
|
|
468
|
+
<div class="line"><a name="l00429"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html"> 429</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFStructType.html">SVFStructType</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a></div>
|
|
469
|
+
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span> {</div>
|
|
470
|
+
<div class="line"><a name="l00431"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#ac6d7207b2c449f2aa8129697485d8fd6"> 431</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
|
|
471
|
+
<div class="line"><a name="l00432"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#a96821c016c81ee0600ef62fd28298292"> 432</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
|
|
471
472
|
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  </div>
|
|
472
|
-
<div class="line"><a name="l00434"></a><span class="lineno"
|
|
473
|
-
<div class="line"><a name="
|
|
474
|
-
<div class="line"><a name="
|
|
475
|
-
<div class="line"><a name="
|
|
476
|
-
<div class="line"><a name="
|
|
477
|
-
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
473
|
+
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span> <span class="keyword">private</span>:</div>
|
|
474
|
+
<div class="line"><a name="l00436"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf"> 436</a></span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
|
|
475
|
+
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  </div>
|
|
476
|
+
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span> <span class="keyword">public</span>:</div>
|
|
477
|
+
<div class="line"><a name="l00439"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240"> 439</a></span>  <a class="code" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVFStructType</a>() : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>) {}</div>
|
|
478
478
|
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  </div>
|
|
479
|
-
<div class="line"><a name="l00441"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#
|
|
479
|
+
<div class="line"><a name="l00441"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775"> 441</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
480
480
|
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  {</div>
|
|
481
|
-
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <span class="keywordflow">return</span> <a class="code" href="
|
|
481
|
+
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
|
|
482
482
|
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  }</div>
|
|
483
|
-
<div class="line"><a name="l00445"></a><span class="lineno"
|
|
484
|
-
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span> 
|
|
485
|
-
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span> 
|
|
486
|
-
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span> 
|
|
487
|
-
<div class="line"><a name="l00449"></a><span class="lineno"
|
|
488
|
-
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span> 
|
|
489
|
-
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span> 
|
|
490
|
-
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span> 
|
|
491
|
-
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span> 
|
|
492
|
-
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  </div>
|
|
493
|
-
<div class="line"><a name="l00455"></a><span class="lineno"
|
|
494
|
-
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span> 
|
|
495
|
-
<div class="line"><a name="l00457"></a><span class="lineno"
|
|
496
|
-
<div class="line"><a name="l00458"></a><span class="lineno"
|
|
497
|
-
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span> 
|
|
498
|
-
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span> 
|
|
499
|
-
<div class="line"><a name="l00461"></a><span class="lineno"
|
|
500
|
-
<div class="line"><a name="l00462"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html
|
|
501
|
-
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span> 
|
|
502
|
-
<div class="line"><a name="l00464"></a><span class="lineno"> 464</span> 
|
|
503
|
-
<div class="line"><a name="l00465"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#
|
|
504
|
-
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span> 
|
|
505
|
-
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> 
|
|
506
|
-
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> 
|
|
507
|
-
<div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  </div>
|
|
508
|
-
<div class="line"><a name="l00470"></a><span class="lineno"
|
|
509
|
-
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span> 
|
|
510
|
-
<div class="line"><a name="l00472"></a><span class="lineno"
|
|
511
|
-
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span> 
|
|
512
|
-
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span> 
|
|
513
|
-
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span> 
|
|
483
|
+
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  </div>
|
|
484
|
+
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
485
|
+
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  </div>
|
|
486
|
+
<div class="line"><a name="l00448"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8"> 448</a></span>  <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& <a class="code" href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">getName</a>()</div>
|
|
487
|
+
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  {</div>
|
|
488
|
+
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
|
|
489
|
+
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  }</div>
|
|
490
|
+
<div class="line"><a name="l00452"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50"> 452</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">setName</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& <a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>)</div>
|
|
491
|
+
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  {</div>
|
|
492
|
+
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>;</div>
|
|
493
|
+
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  }</div>
|
|
494
|
+
<div class="line"><a name="l00456"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8"> 456</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">setName</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&& <a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>)</div>
|
|
495
|
+
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span>  {</div>
|
|
496
|
+
<div class="line"><a name="l00458"></a><span class="lineno"> 458</span>  <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>);</div>
|
|
497
|
+
<div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  }</div>
|
|
498
|
+
<div class="line"><a name="l00460"></a><span class="lineno"> 460</span> };</div>
|
|
499
|
+
<div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  </div>
|
|
500
|
+
<div class="line"><a name="l00462"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html"> 462</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFArrayType.html">SVFArrayType</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a></div>
|
|
501
|
+
<div class="line"><a name="l00463"></a><span class="lineno"> 463</span> {</div>
|
|
502
|
+
<div class="line"><a name="l00464"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#ac6d7207b2c449f2aa8129697485d8fd6"> 464</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
|
|
503
|
+
<div class="line"><a name="l00465"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a96821c016c81ee0600ef62fd28298292"> 465</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
|
|
504
|
+
<div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  </div>
|
|
505
|
+
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span> <span class="keyword">private</span>:</div>
|
|
506
|
+
<div class="line"><a name="l00468"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b"> 468</a></span>  <span class="keywordtype">unsigned</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a>; </div>
|
|
507
|
+
<div class="line"><a name="l00469"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a"> 469</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>; </div>
|
|
508
|
+
<div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  </div>
|
|
509
|
+
<div class="line"><a name="l00471"></a><span class="lineno"> 471</span> <span class="keyword">public</span>:</div>
|
|
510
|
+
<div class="line"><a name="l00472"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06"> 472</a></span>  <a class="code" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVFArrayType</a>()</div>
|
|
511
|
+
<div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(<a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>), <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a>(0), <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>(nullptr)</div>
|
|
512
|
+
<div class="line"><a name="l00474"></a><span class="lineno"> 474</span>  {</div>
|
|
513
|
+
<div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  }</div>
|
|
514
514
|
<div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  </div>
|
|
515
|
-
<div class="line"><a name="l00477"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#
|
|
516
|
-
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span> 
|
|
517
|
-
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  <span class="keywordflow">return</span> <a class="code" href="
|
|
515
|
+
<div class="line"><a name="l00477"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca"> 477</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
516
|
+
<div class="line"><a name="l00478"></a><span class="lineno"> 478</span>  {</div>
|
|
517
|
+
<div class="line"><a name="l00479"></a><span class="lineno"> 479</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
|
|
518
518
|
<div class="line"><a name="l00480"></a><span class="lineno"> 480</span>  }</div>
|
|
519
519
|
<div class="line"><a name="l00481"></a><span class="lineno"> 481</span>  </div>
|
|
520
|
-
<div class="line"><a name="l00482"></a><span class="lineno"
|
|
521
|
-
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span> 
|
|
522
|
-
<div class="line"><a name="l00484"></a><span class="lineno"> 484</span> 
|
|
523
|
-
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> 
|
|
524
|
-
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  </div>
|
|
525
|
-
<div class="line"><a name="l00487"></a><span class="lineno"
|
|
526
|
-
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span> 
|
|
527
|
-
<div class="line"><a name="l00489"></a><span class="lineno"> 489</span> 
|
|
528
|
-
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span> 
|
|
529
|
-
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  </div>
|
|
530
|
-
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span> 
|
|
531
|
-
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span> 
|
|
532
|
-
<div class="line"><a name="l00494"></a><span class="lineno"> 494</span>  </div>
|
|
533
|
-
<div class="line"><a name="l00495"></a><span class="lineno"
|
|
534
|
-
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span> 
|
|
535
|
-
<div class="line"><a name="l00497"></a><span class="lineno"
|
|
536
|
-
<div class="line"><a name="l00498"></a><span class="lineno"
|
|
520
|
+
<div class="line"><a name="l00482"></a><span class="lineno"> 482</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
521
|
+
<div class="line"><a name="l00483"></a><span class="lineno"> 483</span>  </div>
|
|
522
|
+
<div class="line"><a name="l00484"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759"> 484</a></span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* <a class="code" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">getTypeOfElement</a>()<span class="keyword"> const</span></div>
|
|
523
|
+
<div class="line"><a name="l00485"></a><span class="lineno"> 485</span> <span class="keyword"> </span>{</div>
|
|
524
|
+
<div class="line"><a name="l00486"></a><span class="lineno"> 486</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a>;</div>
|
|
525
|
+
<div class="line"><a name="l00487"></a><span class="lineno"> 487</span>  }</div>
|
|
526
|
+
<div class="line"><a name="l00488"></a><span class="lineno"> 488</span>  </div>
|
|
527
|
+
<div class="line"><a name="l00489"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a"> 489</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a">setTypeOfElement</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elemType)</div>
|
|
528
|
+
<div class="line"><a name="l00490"></a><span class="lineno"> 490</span>  {</div>
|
|
529
|
+
<div class="line"><a name="l00491"></a><span class="lineno"> 491</span>  <a class="code" href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">typeOfElement</a> = elemType;</div>
|
|
530
|
+
<div class="line"><a name="l00492"></a><span class="lineno"> 492</span>  }</div>
|
|
531
|
+
<div class="line"><a name="l00493"></a><span class="lineno"> 493</span>  </div>
|
|
532
|
+
<div class="line"><a name="l00494"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6"> 494</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6">setNumOfElement</a>(<span class="keywordtype">unsigned</span> elemNum)</div>
|
|
533
|
+
<div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  {</div>
|
|
534
|
+
<div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  <a class="code" href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">numOfElement</a> = elemNum;</div>
|
|
535
|
+
<div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div>
|
|
536
|
+
<div class="line"><a name="l00498"></a><span class="lineno"> 498</span>  </div>
|
|
537
537
|
<div class="line"><a name="l00499"></a><span class="lineno"> 499</span>  </div>
|
|
538
|
-
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> 
|
|
539
|
-
<div class="line"><a name="l00501"></a><span class="lineno"
|
|
540
|
-
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span> 
|
|
541
|
-
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span> 
|
|
542
|
-
<div class="line"><a name="l00504"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#
|
|
543
|
-
<div class="line"><a name="l00505"></a><span class="lineno"> 505</span>  </div>
|
|
544
|
-
<div class="line"><a name="l00506"></a><span class="lineno"
|
|
545
|
-
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> 
|
|
546
|
-
<div class="line"><a name="l00508"></a><span class="lineno"> 508</span> 
|
|
547
|
-
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span> 
|
|
548
|
-
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> 
|
|
549
|
-
<div class="line"><a name="l00511"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#
|
|
550
|
-
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span> 
|
|
551
|
-
<div class="line"><a name="l00513"></a><span class="lineno"> 513</span> 
|
|
552
|
-
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span> 
|
|
553
|
-
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  </div>
|
|
554
|
-
<div class="line"><a name="l00516"></a><span class="lineno"
|
|
555
|
-
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span> 
|
|
556
|
-
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span> 
|
|
557
|
-
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span> 
|
|
558
|
-
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  </div>
|
|
559
|
-
<div class="line"><a name="l00521"></a><span class="lineno"
|
|
560
|
-
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span> 
|
|
561
|
-
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span> 
|
|
562
|
-
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span> 
|
|
563
|
-
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  </div>
|
|
564
|
-
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span> 
|
|
565
|
-
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span> 
|
|
566
|
-
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  </div>
|
|
567
|
-
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span> 
|
|
568
|
-
<div class="line"><a name="l00530"></a><span class="lineno"
|
|
569
|
-
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span> 
|
|
570
|
-
<div class="line"><a name="l00532"></a><span class="lineno"
|
|
571
|
-
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span> 
|
|
572
|
-
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span> 
|
|
573
|
-
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span> 
|
|
574
|
-
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span> 
|
|
575
|
-
<div class="line"><a name="l00537"></a><span class="lineno"> 537</span> 
|
|
576
|
-
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span> 
|
|
577
|
-
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span> 
|
|
578
|
-
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> 
|
|
579
|
-
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span> 
|
|
580
|
-
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span> 
|
|
581
|
-
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  </div>
|
|
582
|
-
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span> 
|
|
583
|
-
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span> 
|
|
584
|
-
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span> 
|
|
585
|
-
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span> 
|
|
586
|
-
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span> 
|
|
587
|
-
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span> 
|
|
588
|
-
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span> 
|
|
589
|
-
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span> <span class="preprocessor"
|
|
590
|
-
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span> <span class="
|
|
591
|
-
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span> <span class="
|
|
592
|
-
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span> <span class="
|
|
593
|
-
<div class="line"><a name="l00555"></a><span class="lineno"
|
|
594
|
-
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span> <span class="preprocessor"
|
|
595
|
-
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span> <span class="preprocessor">
|
|
596
|
-
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span> <span class="preprocessor">
|
|
597
|
-
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span> <span class="preprocessor"
|
|
598
|
-
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span> 
|
|
599
|
-
<div class="line"><a name="
|
|
600
|
-
<div class="line"><a name="
|
|
601
|
-
<div class="line"><a name="
|
|
602
|
-
<div class="line"><a name="
|
|
603
|
-
<div class="line"><a name="
|
|
604
|
-
<div class="line"><a name="
|
|
605
|
-
<div class="line"><a name="
|
|
606
|
-
<div class="line"><a name="
|
|
607
|
-
<div class="line"><a name="
|
|
608
|
-
<div class="line"><a name="
|
|
609
|
-
<div class="line"><a name="
|
|
610
|
-
<div class="line"><a name="l00575"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
611
|
-
<div class="line"><a name="l00576"></a><span class="lineno"
|
|
612
|
-
<div class="line"><a name="l00577"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
613
|
-
<div class="line"><a name="l00578"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
614
|
-
<div class="line"><a name="l00579"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
615
|
-
<div class="line"><a name="l00580"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
616
|
-
<div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
617
|
-
<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
618
|
-
<div class="line"><a name="l00583"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
619
|
-
<div class="line"><a name="l00584"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
620
|
-
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span> 
|
|
621
|
-
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span> <span class="
|
|
622
|
-
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span> <span class="
|
|
623
|
-
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span> <span class="
|
|
624
|
-
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span> <span class="
|
|
625
|
-
<div class="line"><a name="l00590"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
626
|
-
<div class="line"><a name="l00591"></a><span class="lineno"><a class="line" href="SVFType_8h.html#
|
|
538
|
+
<div class="line"><a name="l00500"></a><span class="lineno"> 500</span> };</div>
|
|
539
|
+
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  </div>
|
|
540
|
+
<div class="line"><a name="l00502"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html"> 502</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFOtherType.html">SVFOtherType</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a></div>
|
|
541
|
+
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span> {</div>
|
|
542
|
+
<div class="line"><a name="l00504"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#ac6d7207b2c449f2aa8129697485d8fd6"> 504</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
|
|
543
|
+
<div class="line"><a name="l00505"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a96821c016c81ee0600ef62fd28298292"> 505</a></span>  <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
|
|
544
|
+
<div class="line"><a name="l00506"></a><span class="lineno"> 506</span>  </div>
|
|
545
|
+
<div class="line"><a name="l00507"></a><span class="lineno"> 507</span> <span class="keyword">private</span>:</div>
|
|
546
|
+
<div class="line"><a name="l00508"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3"> 508</a></span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>; </div>
|
|
547
|
+
<div class="line"><a name="l00509"></a><span class="lineno"> 509</span>  </div>
|
|
548
|
+
<div class="line"><a name="l00510"></a><span class="lineno"> 510</span> <span class="keyword">public</span>:</div>
|
|
549
|
+
<div class="line"><a name="l00511"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e"> 511</a></span>  <a class="code" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVFOtherType</a>(<span class="keywordtype">bool</span> isSingleValueTy) : <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>(isSingleValueTy, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>) {}</div>
|
|
550
|
+
<div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  </div>
|
|
551
|
+
<div class="line"><a name="l00513"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655"> 513</a></span>  <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655">classof</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* node)</div>
|
|
552
|
+
<div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  {</div>
|
|
553
|
+
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  <span class="keywordflow">return</span> node-><a class="code" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>;</div>
|
|
554
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  }</div>
|
|
555
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  </div>
|
|
556
|
+
<div class="line"><a name="l00518"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1"> 518</a></span>  <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& <a class="code" href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1">getRepr</a>()</div>
|
|
557
|
+
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  {</div>
|
|
558
|
+
<div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>;</div>
|
|
559
|
+
<div class="line"><a name="l00521"></a><span class="lineno"> 521</span>  }</div>
|
|
560
|
+
<div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  </div>
|
|
561
|
+
<div class="line"><a name="l00523"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7"> 523</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7">setRepr</a>(<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&& r)</div>
|
|
562
|
+
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  {</div>
|
|
563
|
+
<div class="line"><a name="l00525"></a><span class="lineno"> 525</span>  <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(r);</div>
|
|
564
|
+
<div class="line"><a name="l00526"></a><span class="lineno"> 526</span>  }</div>
|
|
565
|
+
<div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  </div>
|
|
566
|
+
<div class="line"><a name="l00528"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3"> 528</a></span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3">setRepr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>& r)</div>
|
|
567
|
+
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  {</div>
|
|
568
|
+
<div class="line"><a name="l00530"></a><span class="lineno"> 530</span>  <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = r;</div>
|
|
569
|
+
<div class="line"><a name="l00531"></a><span class="lineno"> 531</span>  }</div>
|
|
570
|
+
<div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  </div>
|
|
571
|
+
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">print</a>(std::ostream& os) <span class="keyword">const override</span>;</div>
|
|
572
|
+
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span> };</div>
|
|
573
|
+
<div class="line"><a name="l00535"></a><span class="lineno"> 535</span>  </div>
|
|
574
|
+
<div class="line"><a name="l00536"></a><span class="lineno"> 536</span> <span class="comment">// TODO: be explicit that this is a pair of 32-bit unsigneds?</span></div>
|
|
575
|
+
<div class="line"><a name="l00537"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01NodePair_01_4.html"> 537</a></span> <span class="keyword">template</span> <> <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a><<a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>></div>
|
|
576
|
+
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span> {</div>
|
|
577
|
+
<div class="line"><a name="l00539"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e"> 539</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">operator()</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>& <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)<span class="keyword"> const</span></div>
|
|
578
|
+
<div class="line"><a name="l00540"></a><span class="lineno"> 540</span> <span class="keyword"> </span>{</div>
|
|
579
|
+
<div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div>
|
|
580
|
+
<div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div>
|
|
581
|
+
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  <span class="comment">// is not u64_t we should be fine since we get a</span></div>
|
|
582
|
+
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  <span class="comment">// consistent result.</span></div>
|
|
583
|
+
<div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  uint32_t first = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first);</div>
|
|
584
|
+
<div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  uint32_t second = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
|
|
585
|
+
<div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  <span class="keywordflow">return</span> ((uint64_t)(first) << 32) | (uint64_t)(second);</div>
|
|
586
|
+
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  }</div>
|
|
587
|
+
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span> };</div>
|
|
588
|
+
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  </div>
|
|
589
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span> <span class="preprocessor">#if !defined NDBUG && defined USE_SVF_DBOUT</span></div>
|
|
590
|
+
<div class="line"><a name="l00552"></a><span class="lineno"> 552</span> <span class="comment">// TODO: This comes from the following link</span></div>
|
|
591
|
+
<div class="line"><a name="l00553"></a><span class="lineno"> 553</span> <span class="comment">// https://github.com/llvm/llvm-project/blob/75e33f71c2dae584b13a7d1186ae0a038ba98838/llvm/include/llvm/Support/Debug.h#L64</span></div>
|
|
592
|
+
<div class="line"><a name="l00554"></a><span class="lineno"> 554</span> <span class="comment">// The original LLVM implementation makes use of type. But we can get that info,</span></div>
|
|
593
|
+
<div class="line"><a name="l00555"></a><span class="lineno"> 555</span> <span class="comment">// so we can't simulate the full behaviour for now.</span></div>
|
|
594
|
+
<div class="line"><a name="l00556"></a><span class="lineno"> 556</span> <span class="preprocessor"># define SVF_DEBUG_WITH_TYPE(TYPE, X) \</span></div>
|
|
595
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span> <span class="preprocessor"> do \</span></div>
|
|
596
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span> <span class="preprocessor"> { \</span></div>
|
|
597
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span> <span class="preprocessor"> X; \</span></div>
|
|
598
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span> <span class="preprocessor"> } while (false)</span></div>
|
|
599
|
+
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span> <span class="preprocessor">#else</span></div>
|
|
600
|
+
<div class="line"><a name="l00562"></a><span class="lineno"><a class="line" href="SVFType_8h.html#af4959f3b61c766337464db7a1d3da399"> 562</a></span> <span class="preprocessor"># define SVF_DEBUG_WITH_TYPE(TYPE, X) \</span></div>
|
|
601
|
+
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span> <span class="preprocessor"> do \</span></div>
|
|
602
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span> <span class="preprocessor"> { \</span></div>
|
|
603
|
+
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span> <span class="preprocessor"> } while (false)</span></div>
|
|
604
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span> <span class="preprocessor">#endif</span></div>
|
|
605
|
+
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  </div>
|
|
606
|
+
<div class="line"><a name="l00569"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0"> 569</a></span> <span class="preprocessor">#define DBOUT(TYPE, X) SVF_DEBUG_WITH_TYPE(TYPE, X)</span></div>
|
|
607
|
+
<div class="line"><a name="l00570"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a"> 570</a></span> <span class="preprocessor">#define DOSTAT(X) X</span></div>
|
|
608
|
+
<div class="line"><a name="l00571"></a><span class="lineno"><a class="line" href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041"> 571</a></span> <span class="preprocessor">#define DOTIMESTAT(X) X</span></div>
|
|
609
|
+
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  </div>
|
|
610
|
+
<div class="line"><a name="l00575"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb"> 575</a></span> <span class="preprocessor">#define DGENERAL "general"</span></div>
|
|
611
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  </div>
|
|
612
|
+
<div class="line"><a name="l00577"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17"> 577</a></span> <span class="preprocessor">#define DPAGBuild "pag"</span></div>
|
|
613
|
+
<div class="line"><a name="l00578"></a><span class="lineno"><a class="line" href="SVFType_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f"> 578</a></span> <span class="preprocessor">#define DMemModel "mm"</span></div>
|
|
614
|
+
<div class="line"><a name="l00579"></a><span class="lineno"><a class="line" href="SVFType_8h.html#aaff570bb354b8519a4852ffda413af7c"> 579</a></span> <span class="preprocessor">#define DMemModelCE "mmce"</span></div>
|
|
615
|
+
<div class="line"><a name="l00580"></a><span class="lineno"><a class="line" href="SVFType_8h.html#aa97040d501d68863c7f0c93ed7514857"> 580</a></span> <span class="preprocessor">#define DCOMModel "comm"</span></div>
|
|
616
|
+
<div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a40845b3027a1237076aa8297ca39e730"> 581</a></span> <span class="preprocessor">#define DDDA "dda"</span></div>
|
|
617
|
+
<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a395c9d15b59b8c057f859855f0405d7b"> 582</a></span> <span class="preprocessor">#define DDumpPT "dumppt"</span></div>
|
|
618
|
+
<div class="line"><a name="l00583"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a12848bc67564a74a3f203cee9de2eb29"> 583</a></span> <span class="preprocessor">#define DRefinePT "sbpt"</span></div>
|
|
619
|
+
<div class="line"><a name="l00584"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a500788b9fb425915fa4330d72142aec9"> 584</a></span> <span class="preprocessor">#define DCache "cache"</span></div>
|
|
620
|
+
<div class="line"><a name="l00585"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a45d9233db3cad59f4f72b7c573bae180"> 585</a></span> <span class="preprocessor">#define DWPA "wpa"</span></div>
|
|
621
|
+
<div class="line"><a name="l00586"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a385e9d80a013723304b329454d32e8b1"> 586</a></span> <span class="preprocessor">#define DMSSA "mssa"</span></div>
|
|
622
|
+
<div class="line"><a name="l00587"></a><span class="lineno"><a class="line" href="SVFType_8h.html#abf3a5def3f319733214fa5f595b39827"> 587</a></span> <span class="preprocessor">#define DInstrument "ins"</span></div>
|
|
623
|
+
<div class="line"><a name="l00588"></a><span class="lineno"><a class="line" href="SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2"> 588</a></span> <span class="preprocessor">#define DAndersen "ander"</span></div>
|
|
624
|
+
<div class="line"><a name="l00589"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36"> 589</a></span> <span class="preprocessor">#define DSaber "saber"</span></div>
|
|
625
|
+
<div class="line"><a name="l00590"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234"> 590</a></span> <span class="preprocessor">#define DMTA "mta"</span></div>
|
|
626
|
+
<div class="line"><a name="l00591"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223"> 591</a></span> <span class="preprocessor">#define DCHA "cha"</span></div>
|
|
627
627
|
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span>  </div>
|
|
628
|
-
<div class="line"><a name="
|
|
629
|
-
<div class="line"><a name="
|
|
630
|
-
<div class="line"><a name="
|
|
631
|
-
<div class="line"><a name="
|
|
632
|
-
<div class="line"><a name="
|
|
633
|
-
<div class="line"><a name="
|
|
634
|
-
<div class="line"><a name="
|
|
635
|
-
<div class="line"><a name="l00601"></a><span class="lineno"><a class="line" href="
|
|
636
|
-
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span> 
|
|
637
|
-
<div class="line"><a name="l00603"></a><span class="lineno"> 603</span> 
|
|
638
|
-
<div class="line"><a name="l00604"></a><span class="lineno"
|
|
639
|
-
<div class="line"><a name="l00605"></a><span class="lineno"> 605</span> 
|
|
640
|
-
<div class="line"><a name="l00606"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
641
|
-
<div class="line"><a name="l00607"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
642
|
-
<div class="line"><a name="l00608"></a><span class="lineno"><a class="line" href="namespaceSVF.html#
|
|
643
|
-
<div class="line"><a name="l00609"></a><span class="lineno"
|
|
644
|
-
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span> 
|
|
645
|
-
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span> 
|
|
646
|
-
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span> 
|
|
647
|
-
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  </div>
|
|
648
|
-
<div class="line"><a name="l00614"></a><span class="lineno"><a class="line" href="
|
|
649
|
-
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span> 
|
|
650
|
-
<div class="line"><a name="l00616"></a><span class="lineno"><a class="line" href="
|
|
651
|
-
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span> 
|
|
652
|
-
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span> 
|
|
653
|
-
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span> 
|
|
654
|
-
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span> 
|
|
655
|
-
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span> 
|
|
656
|
-
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span> 
|
|
657
|
-
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span> 
|
|
658
|
-
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span> 
|
|
659
|
-
<div class="line"><a name="l00625"></a><span class="lineno"> 625</span> 
|
|
660
|
-
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span> 
|
|
661
|
-
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  </div>
|
|
662
|
-
<div class="line"><a name="
|
|
663
|
-
<div class="line"><a name="
|
|
664
|
-
<div class="line"><a name="
|
|
665
|
-
<div class="line"><a name="
|
|
666
|
-
<div class="line"><a name="
|
|
667
|
-
<div class="line"><a name="
|
|
668
|
-
<div class="line"><a name="
|
|
669
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span> 
|
|
670
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
671
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  </div>
|
|
672
|
-
<div class="line"><a name="l00639"></a><span class="lineno"
|
|
673
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span> 
|
|
674
|
-
<div class="line"><a name="l00641"></a><span class="lineno"
|
|
675
|
-
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span> 
|
|
676
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
677
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
628
|
+
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span> <span class="comment">/*</span></div>
|
|
629
|
+
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span> <span class="comment"> * Number of clock ticks per second. A clock tick is the unit by which</span></div>
|
|
630
|
+
<div class="line"><a name="l00595"></a><span class="lineno"> 595</span> <span class="comment"> * processor time is measured and is returned by 'clock'.</span></div>
|
|
631
|
+
<div class="line"><a name="l00596"></a><span class="lineno"> 596</span> <span class="comment"> */</span></div>
|
|
632
|
+
<div class="line"><a name="l00597"></a><span class="lineno"><a class="line" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736"> 597</a></span> <span class="preprocessor">#define TIMEINTERVAL 1000</span></div>
|
|
633
|
+
<div class="line"><a name="l00598"></a><span class="lineno"><a class="line" href="SVFType_8h.html#af091e361d7961cb895ff2101eceed953"> 598</a></span> <span class="preprocessor">#define CLOCK_IN_MS() (clock() / (CLOCKS_PER_SEC / TIMEINTERVAL))</span></div>
|
|
634
|
+
<div class="line"><a name="l00599"></a><span class="lineno"> 599</span>  </div>
|
|
635
|
+
<div class="line"><a name="l00601"></a><span class="lineno"><a class="line" href="SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022"> 601</a></span> <span class="preprocessor">#define NATIVE_INT_SIZE (sizeof(unsigned long long) * CHAR_BIT)</span></div>
|
|
636
|
+
<div class="line"><a name="l00602"></a><span class="lineno"> 602</span>  </div>
|
|
637
|
+
<div class="line"><a name="l00603"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844"> 603</a></span> <span class="keyword">enum</span> <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">ModRefInfo</a></div>
|
|
638
|
+
<div class="line"><a name="l00604"></a><span class="lineno"> 604</span> {</div>
|
|
639
|
+
<div class="line"><a name="l00605"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"> 605</a></span>  <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">ModRef</a>,</div>
|
|
640
|
+
<div class="line"><a name="l00606"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"> 606</a></span>  <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">Ref</a>,</div>
|
|
641
|
+
<div class="line"><a name="l00607"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"> 607</a></span>  <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">Mod</a>,</div>
|
|
642
|
+
<div class="line"><a name="l00608"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"> 608</a></span>  <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>,</div>
|
|
643
|
+
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span> };</div>
|
|
644
|
+
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span>  </div>
|
|
645
|
+
<div class="line"><a name="l00611"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943"> 611</a></span> <span class="keyword">enum</span> <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">AliasResult</a></div>
|
|
646
|
+
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span> {</div>
|
|
647
|
+
<div class="line"><a name="l00613"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"> 613</a></span>  <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div>
|
|
648
|
+
<div class="line"><a name="l00614"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"> 614</a></span>  <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div>
|
|
649
|
+
<div class="line"><a name="l00615"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"> 615</a></span>  <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div>
|
|
650
|
+
<div class="line"><a name="l00616"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"> 616</a></span>  <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div>
|
|
651
|
+
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span> };</div>
|
|
652
|
+
<div class="line"><a name="l00618"></a><span class="lineno"> 618</span>  </div>
|
|
653
|
+
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span> } <span class="comment">// End namespace SVF</span></div>
|
|
654
|
+
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span>  </div>
|
|
655
|
+
<div class="line"><a name="l00621"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html"> 621</a></span> <span class="keyword">template</span> <> <span class="keyword">struct </span>std::hash<<a class="code" href="namespaceSVF.html">SVF</a>::<a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>></div>
|
|
656
|
+
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span> {</div>
|
|
657
|
+
<div class="line"><a name="l00623"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae"> 623</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">operator()</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a>& <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)<span class="keyword"> const</span></div>
|
|
658
|
+
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span> <span class="keyword"> </span>{</div>
|
|
659
|
+
<div class="line"><a name="l00625"></a><span class="lineno"> 625</span>  <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div>
|
|
660
|
+
<div class="line"><a name="l00626"></a><span class="lineno"> 626</span>  <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div>
|
|
661
|
+
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  <span class="comment">// is not u64_t we should be fine since we get a</span></div>
|
|
662
|
+
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  <span class="comment">// consistent result.</span></div>
|
|
663
|
+
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span>  uint32_t first = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first);</div>
|
|
664
|
+
<div class="line"><a name="l00630"></a><span class="lineno"> 630</span>  uint32_t second = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div>
|
|
665
|
+
<div class="line"><a name="l00631"></a><span class="lineno"> 631</span>  <span class="keywordflow">return</span> ((uint64_t)(first) << 32) | (uint64_t)(second);</div>
|
|
666
|
+
<div class="line"><a name="l00632"></a><span class="lineno"> 632</span>  }</div>
|
|
667
|
+
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span> };</div>
|
|
668
|
+
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  </div>
|
|
669
|
+
<div class="line"><a name="l00636"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html"> 636</a></span> <span class="keyword">template</span> <<span class="keywordtype">unsigned</span> N> <span class="keyword">struct </span>std::hash<<a class="code" href="namespaceSVF.html">SVF</a>::SparseBitVector<N>></div>
|
|
670
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> {</div>
|
|
671
|
+
<div class="line"><a name="l00638"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d"> 638</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d">operator()</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector<N></a>& sbv)<span class="keyword"> const</span></div>
|
|
672
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> <span class="keyword"> </span>{</div>
|
|
673
|
+
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  <a class="code" href="structSVF_1_1Hash.html">SVF::Hash<std::pair<std::pair<size_t, size_t></a>, <span class="keywordtype">size_t</span>>> h;</div>
|
|
674
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  <span class="keywordflow">return</span> h(std::make_pair(std::make_pair(sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>(), sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">find_first</a>()),</div>
|
|
675
|
+
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba">find_last</a>()));</div>
|
|
676
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  }</div>
|
|
677
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> };</div>
|
|
678
678
|
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  </div>
|
|
679
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
680
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span> 
|
|
681
|
-
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span> 
|
|
682
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
683
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
684
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  </div>
|
|
685
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span> 
|
|
686
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span> 
|
|
687
|
-
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span> 
|
|
688
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span> 
|
|
689
|
-
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span> 
|
|
679
|
+
<div class="line"><a name="l00646"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html"> 646</a></span> <span class="keyword">template</span> <<span class="keyword">typename</span> T> <span class="keyword">struct </span>std::hash<std::vector<T>></div>
|
|
680
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span> {</div>
|
|
681
|
+
<div class="line"><a name="l00648"></a><span class="lineno"><a class="line" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd"> 648</a></span>  <span class="keywordtype">size_t</span> <a class="code" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">operator()</a>(<span class="keyword">const</span> std::vector<T>& v)<span class="keyword"> const</span></div>
|
|
682
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> <span class="keyword"> </span>{</div>
|
|
683
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  <span class="comment">// TODO: repetition with CBV.</span></div>
|
|
684
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  <span class="keywordtype">size_t</span> h = v.size();</div>
|
|
685
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  </div>
|
|
686
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  <a class="code" href="structSVF_1_1Hash.html">SVF::Hash<T></a> hf;</div>
|
|
687
|
+
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> T& t : v)</div>
|
|
688
|
+
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  {</div>
|
|
689
|
+
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  h ^= hf(t) + 0x9e3779b9 + (h << 6) + (h >> 2);</div>
|
|
690
|
+
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  }</div>
|
|
691
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  </div>
|
|
692
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  <span class="keywordflow">return</span> h;</div>
|
|
693
|
+
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  }</div>
|
|
694
|
+
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> };</div>
|
|
695
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  </div>
|
|
696
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span> <span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_SVFIR_SVFTYPE_H_ */</span><span class="preprocessor"></span></div>
|
|
690
697
|
</div><!-- fragment --></div><!-- contents -->
|
|
691
698
|
<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
|
|
692
699
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
|
|
693
700
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a8c6d6933ad2c4be044d0a3557736e28d"><div class="ttname"><a href="classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d">SVF::StInfo::StInfo</a></div><div class="ttdeci">StInfo(u32_t s)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00164">SVFType.h:164</a></div></div>
|
|
694
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
701
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00606">SVFType.h:606</a></div></div>
|
|
695
702
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a4bc7962d519c1c0380b5a6a144c91c51"><div class="ttname"><a href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType::getKind</a></div><div class="ttdeci">GNodeK getKind() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00280">SVFType.h:280</a></div></div>
|
|
696
703
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType::SVFTyKind</a></div><div class="ttdeci">SVFTyKind</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00250">SVFType.h:250</a></div></div>
|
|
697
704
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_aef5999ada62dac3cc946d832ac66948c"><div class="ttname"><a href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">SVF::SVFType::setTypeInfo</a></div><div class="ttdeci">void setTypeInfo(StInfo *ti)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00304">SVFType.h:304</a></div></div>
|
|
698
705
|
<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
|
|
699
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_ad397c1ef657691c0dae0c093a9b0a5e8"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">SVF::SVFStructType::setName</a></div><div class="ttdeci">void setName(std::string &&structName)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
706
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_ad397c1ef657691c0dae0c093a9b0a5e8"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">SVF::SVFStructType::setName</a></div><div class="ttdeci">void setName(std::string &&structName)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00456">SVFType.h:456</a></div></div>
|
|
700
707
|
<div class="ttc" id="anamespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque< NodeID > NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00121">SVFType.h:121</a></div></div>
|
|
701
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
702
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
708
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a395841ef9448d7d78df53aff374e6f7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a">SVF::SVFArrayType::typeOfElement</a></div><div class="ttdeci">const SVFType * typeOfElement</div><div class="ttdoc">For printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00469">SVFType.h:469</a></div></div>
|
|
709
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00382">SVFType.h:382</a></div></div>
|
|
703
710
|
<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector< NodeID > NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00117">SVFType.h:117</a></div></div>
|
|
704
711
|
<div class="ttc" id="anamespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet< NodeID > OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00113">SVFType.h:113</a></div></div>
|
|
705
712
|
<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map< Key, Value, Compare, Allocator > OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00110">SVFType.h:110</a></div></div>
|
|
706
|
-
<div class="ttc" id="astructstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4_html_a921ca626d87c3eed7b71210cfc24d0dd"><div class="ttname"><a href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash< std::vector< T > >::operator()</a></div><div class="ttdeci">size_t operator()(const std::vector< T > &v) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
713
|
+
<div class="ttc" id="astructstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4_html_a921ca626d87c3eed7b71210cfc24d0dd"><div class="ttname"><a href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash< std::vector< T > >::operator()</a></div><div class="ttdeci">size_t operator()(const std::vector< T > &v) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00648">SVFType.h:648</a></div></div>
|
|
707
714
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a00736806c009de53039544cfc85240f1"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo::operator=</a></div><div class="ttdeci">void operator=(const StInfo &)=delete</div></div>
|
|
708
715
|
<div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
|
|
709
716
|
<div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00064">SVFType.h:64</a></div></div>
|
|
710
717
|
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_ab801eeb012f9c462bca9745afdb2c43b"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b">SVF::SVFStructType::print</a></div><div class="ttdeci">void print(std::ostream &os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00046">SVFType.cpp:46</a></div></div>
|
|
711
718
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
|
|
712
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
719
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00608">SVFType.h:608</a></div></div>
|
|
713
720
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</a></div></div>
|
|
714
721
|
<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set< Key, Hash, KeyEqual, Allocator > Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
|
|
715
|
-
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1NodePair_01_4_html_a33d0d439057cbfab969516ea6a976aae"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">std::hash< SVF::NodePair >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::NodePair &p) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
722
|
+
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1NodePair_01_4_html_a33d0d439057cbfab969516ea6a976aae"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae">std::hash< SVF::NodePair >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::NodePair &p) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00623">SVFType.h:623</a></div></div>
|
|
716
723
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
|
|
717
724
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
718
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a6283d212e48c08c9bcf5ade551a79a50"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">SVF::SVFStructType::setName</a></div><div class="ttdeci">void setName(const std::string &structName)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
719
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aaafab8007dd15f498259320fec1f99f2"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVF::SVFIntegerType::SVFIntegerType</a></div><div class="ttdeci">SVFIntegerType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
725
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a6283d212e48c08c9bcf5ade551a79a50"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">SVF::SVFStructType::setName</a></div><div class="ttdeci">void setName(const std::string &structName)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00452">SVFType.h:452</a></div></div>
|
|
726
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aaafab8007dd15f498259320fec1f99f2"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVF::SVFIntegerType::SVFIntegerType</a></div><div class="ttdeci">SVFIntegerType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00385">SVFType.h:385</a></div></div>
|
|
720
727
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a518c82138fcadc6634980566c1c0f762"><div class="ttname"><a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements() const</div><div class="ttdoc">Return number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00225">SVFType.h:225</a></div></div>
|
|
721
728
|
<div class="ttc" id="acJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
|
|
722
729
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a21b71971462da15891eb9ebfbce0aba2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a21b71971462da15891eb9ebfbce0aba2">SVF::StInfo::getFlattenedFieldIdxVec</a></div><div class="ttdeci">const std::vector< u32_t > & getFlattenedFieldIdxVec() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00196">SVFType.h:196</a></div></div>
|
|
@@ -726,47 +733,48 @@ $(function() {
|
|
|
726
733
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00153">SVFType.h:153</a></div></div>
|
|
727
734
|
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00067">SVFType.h:67</a></div></div>
|
|
728
735
|
<div class="ttc" id="anamespaceSVF_html_a4831992588252dc51c102e9e3f7d5e2e"><div class="ttname"><a href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></div><div class="ttdeci">std::vector< EdgeID > EdgeVector</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00118">SVFType.h:118</a></div></div>
|
|
729
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_acb09f35e745bc341d15285d528bc1240"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType::SVFStructType</a></div><div class="ttdeci">SVFStructType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
736
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_acb09f35e745bc341d15285d528bc1240"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType::SVFStructType</a></div><div class="ttdeci">SVFStructType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00439">SVFType.h:439</a></div></div>
|
|
730
737
|
<div class="ttc" id="anamespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator<<</a></div><div class="ttdeci">IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Left binary shift of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00736">IntervalValue.h:736</a></div></div>
|
|
731
|
-
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
738
|
+
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00613">SVFType.h:613</a></div></div>
|
|
732
739
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_ae5fad367673315da57a604e64b5889f0"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo::getNumOfFlattenFields</a></div><div class="ttdeci">u32_t getNumOfFlattenFields() const</div><div class="ttdoc">Return the number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00231">SVFType.h:231</a></div></div>
|
|
740
|
+
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aaaa79de3df0f6764bfd3d2e487ea7a09"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">SVF::SVFPointerType::setPtrElementType</a></div><div class="ttdeci">void setPtrElementType(SVFType *_ptrElementType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00368">SVFType.h:368</a></div></div>
|
|
733
741
|
<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00053">SVFType.h:53</a></div></div>
|
|
734
742
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00265">SVFType.h:265</a></div></div>
|
|
735
743
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a330084f9a3deb6e5acb52a8ee3eb7fe4"><div class="ttname"><a href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">SVF::SVFType::isArrayTy</a></div><div class="ttdeci">bool isArrayTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00326">SVFType.h:326</a></div></div>
|
|
736
744
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
|
|
737
745
|
<div class="ttc" id="anamespaceSVF_html_a544021f3075a89ff634b215a0efe3385"><div class="ttname"><a href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></div><div class="ttdeci">Set< VersionedVar > VersionedVarSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00127">SVFType.h:127</a></div></div>
|
|
738
746
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a5d19107cd4bd64c3918419fd7d22d3b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">SVF::SVFType::isSingleValueType</a></div><div class="ttdeci">bool isSingleValueType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00336">SVFType.h:336</a></div></div>
|
|
739
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
747
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00605">SVFType.h:605</a></div></div>
|
|
740
748
|
<div class="ttc" id="aSparseBitVector_8h_html"><div class="ttname"><a href="SparseBitVector_8h.html">SparseBitVector.h</a></div></div>
|
|
741
749
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > elemIdxVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00142">SVFType.h:142</a></div></div>
|
|
742
750
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a3672b4797c400aac90c6d36ce29e0e57"><div class="ttname"><a href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">SVF::SVFType::getPointerTo</a></div><div class="ttdeci">const SVFPointerType * getPointerTo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00296">SVFType.h:296</a></div></div>
|
|
743
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a986fc835f2e082796ecf1fd3b7f769b6"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6">SVF::SVFArrayType::setNumOfElement</a></div><div class="ttdeci">void setNumOfElement(unsigned elemNum)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
751
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a986fc835f2e082796ecf1fd3b7f769b6"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a986fc835f2e082796ecf1fd3b7f769b6">SVF::SVFArrayType::setNumOfElement</a></div><div class="ttdeci">void setNumOfElement(unsigned elemNum)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00494">SVFType.h:494</a></div></div>
|
|
744
752
|
<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack< NodeID > NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00119">SVFType.h:119</a></div></div>
|
|
745
|
-
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
753
|
+
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00614">SVFType.h:614</a></div></div>
|
|
746
754
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_ad64be5942408c143a34a4a0d7cff09da"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map< u32_t, const SVFType * > fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00144">SVFType.h:144</a></div></div>
|
|
747
755
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a00339d1d7074e9222776801ce8689f6b"><div class="ttname"><a href="classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b">SVF::StInfo::addFldWithType</a></div><div class="ttdeci">void addFldWithType(u32_t fldIdx, const SVFType *type, u32_t elemIdx)</div><div class="ttdoc">Add field index and element index and their corresponding type.</div></div>
|
|
748
756
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_aa4639bb40482af4e7c8bc1503a32c215"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa4639bb40482af4e7c8bc1503a32c215">SVF::StInfo::getFlattenFieldTypes</a></div><div class="ttdeci">const std::vector< const SVFType * > & getFlattenFieldTypes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00208">SVFType.h:208</a></div></div>
|
|
749
757
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a5b2e9e60925b6f45b10e1f54adb23d60"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">SVF::SVFPointerType::ptrElementType</a></div><div class="ttdeci">const SVFType * ptrElementType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00350">SVFType.h:350</a></div></div>
|
|
750
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a527528ffe8005a3ff56f581f27296a49"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49">SVF::SVFFunctionType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
758
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a527528ffe8005a3ff56f581f27296a49"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a527528ffe8005a3ff56f581f27296a49">SVF::SVFFunctionType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
|
|
751
759
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a503a35534b72dbea065816f42ebfa9f0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">SVF::SVFType::GNodeK</a></div><div class="ttdeci">s64_t GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00248">SVFType.h:248</a></div></div>
|
|
752
760
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00139">SVFType.h:139</a></div></div>
|
|
753
761
|
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a09ccc6569e4a775e21596511a9c58d97"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">SVF::SVFOtherType::print</a></div><div class="ttdeci">void print(std::ostream &os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00056">SVFType.cpp:56</a></div></div>
|
|
754
|
-
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
755
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
762
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00603">SVFType.h:603</a></div></div>
|
|
763
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00404">SVFType.h:404</a></div></div>
|
|
756
764
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
757
765
|
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_aedbdf4fca0ff69c5eed5b9d87c8dd85f"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f">SVF::SVFPointerType::print</a></div><div class="ttdeci">void print(std::ostream &os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00028">SVFType.cpp:28</a></div></div>
|
|
758
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
766
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00462">SVFType.h:462</a></div></div>
|
|
759
767
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a0091b8b186ad359a1b54ac7e0ee1e5d0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">SVF::SVFType::getLLVMByteSize</a></div><div class="ttdeci">u32_t getLLVMByteSize() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
|
|
760
768
|
<div class="ttc" id="anamespaceSVF_html_a046466b2ed3618072fee227b569da6eb"><div class="ttname"><a href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></div><div class="ttdeci">Set< Version > VersionSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00125">SVFType.h:125</a></div></div>
|
|
761
769
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
762
770
|
<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
|
|
763
771
|
<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
|
|
764
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
772
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00429">SVFType.h:429</a></div></div>
|
|
765
773
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a992be4812dc2315fa0507a933a219250"><div class="ttname"><a href="classSVF_1_1StInfo.html#a992be4812dc2315fa0507a933a219250">SVF::StInfo::getFlattenedElemIdxVec</a></div><div class="ttdeci">const std::vector< u32_t > & getFlattenedElemIdxVec() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00200">SVFType.h:200</a></div></div>
|
|
766
774
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a058496fa6de00d4244f8901b602bd217"><div class="ttname"><a href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">SVF::SVFType::~SVFType</a></div><div class="ttdeci">virtual ~SVFType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00278">SVFType.h:278</a></div></div>
|
|
767
775
|
<div class="ttc" id="acJSON_8cpp_html_a930920b2bc42824a5c03be681830f4b2"><div class="ttname"><a href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a></div><div class="ttdeci">return true</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02295">cJSON.cpp:2295</a></div></div>
|
|
768
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a7b026267db1dee3fd1149b92194d5655"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655">SVF::SVFOtherType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
769
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a5551dee67814f75b701ba5e2757f6775"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775">SVF::SVFStructType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
776
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a7b026267db1dee3fd1149b92194d5655"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655">SVF::SVFOtherType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00513">SVFType.h:513</a></div></div>
|
|
777
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a5551dee67814f75b701ba5e2757f6775"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a5551dee67814f75b701ba5e2757f6775">SVF::SVFStructType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00441">SVFType.h:441</a></div></div>
|
|
770
778
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
|
|
771
779
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_af25ae6ae537f65f96917a66ce1bb3cf1"><div class="ttname"><a href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType::getTypeInfo</a></div><div class="ttdeci">const StInfo * getTypeInfo() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00315">SVFType.h:315</a></div></div>
|
|
772
780
|
<div class="ttc" id="anamespaceSVF_html_ab80cc7e84367e8c5a6a5a617880890f5"><div class="ttname"><a href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF::NodeList</a></div><div class="ttdeci">std::list< NodeID > NodeList</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00120">SVFType.h:120</a></div></div>
|
|
@@ -778,27 +786,27 @@ $(function() {
|
|
|
778
786
|
<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00057">SVFType.h:57</a></div></div>
|
|
779
787
|
<div class="ttc" id="astructSVF_1_1Hash_html_aad49eec16cfdd4d3423f27666d5f28ff"><div class="ttname"><a href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash::operator()</a></div><div class="ttdeci">size_t operator()(const T &t) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00087">SVFType.h:87</a></div></div>
|
|
780
788
|
<div class="ttc" id="anamespaceSVF_html_a0d2e17d5b07a50ed95e8f407cd6dd0be"><div class="ttname"><a href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF::EdgeSet</a></div><div class="ttdeci">NodeSet EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00122">SVFType.h:122</a></div></div>
|
|
781
|
-
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
789
|
+
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00611">SVFType.h:611</a></div></div>
|
|
782
790
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_af5094ec542f345d214a682d4138cf690"><div class="ttname"><a href="classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690">SVF::StInfo::getStride</a></div><div class="ttdeci">u32_t getStride() const</div><div class="ttdoc">Return the stride.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00236">SVFType.h:236</a></div></div>
|
|
783
791
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html">SVF::SVFIRWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00379">SVFFileSystem.h:379</a></div></div>
|
|
784
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a2cbe7feac254dabd3742121bfc871d06"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType::SVFArrayType</a></div><div class="ttdeci">SVFArrayType()</div><div class="ttdoc">For printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
785
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a56179bc4c145adce210adab80c61be7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a">SVF::SVFArrayType::setTypeOfElement</a></div><div class="ttdeci">void setTypeOfElement(const SVFType *elemType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
792
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a2cbe7feac254dabd3742121bfc871d06"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType::SVFArrayType</a></div><div class="ttdeci">SVFArrayType()</div><div class="ttdoc">For printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00472">SVFType.h:472</a></div></div>
|
|
793
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a56179bc4c145adce210adab80c61be7a"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a56179bc4c145adce210adab80c61be7a">SVF::SVFArrayType::setTypeOfElement</a></div><div class="ttdeci">void setTypeOfElement(const SVFType *elemType)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00489">SVFType.h:489</a></div></div>
|
|
786
794
|
<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00124">SVFType.h:124</a></div></div>
|
|
787
795
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a6bb940564ed16e07a9e8a583892aef1c"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6bb940564ed16e07a9e8a583892aef1c">SVF::StInfo::~StInfo</a></div><div class="ttdeci">~StInfo()=default</div><div class="ttdoc">Destructor.</div></div>
|
|
788
796
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00151">SVFType.h:151</a></div></div>
|
|
789
797
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a9035ac13134de4647d63507cd80ca3d6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">SVF::SVFType::toString</a></div><div class="ttdeci">std::string toString() const</div></div>
|
|
790
798
|
<div class="ttc" id="aLLVMUtil_8cpp_html_a61c158146c07e77234eb4a2f9b940821"><div class="ttname"><a href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a></div><div class="ttdeci">const std::string structName</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00044">LLVMUtil.cpp:44</a></div></div>
|
|
791
|
-
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4_html_a450703a33d907a011a97ee50818b0b4d"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d">std::hash< SVF::SparseBitVector< N > >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::SparseBitVector< N > &sbv) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
799
|
+
<div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4_html_a450703a33d907a011a97ee50818b0b4d"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d">std::hash< SVF::SparseBitVector< N > >::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::SparseBitVector< N > &sbv) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00638">SVFType.h:638</a></div></div>
|
|
792
800
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a1a07c2b1415c29d7d70791c6dfe602a3"><div class="ttname"><a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo::setNumOfFieldsAndElems</a></div><div class="ttdeci">void setNumOfFieldsAndElems(u32_t nf, u32_t ne)</div><div class="ttdoc">Set number of fields and elements of an aggregate.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00218">SVFType.h:218</a></div></div>
|
|
793
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a535874e5c49f686dd6ae99304ecd6821"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">SVF::SVFIntegerType::isSigned</a></div><div class="ttdeci">bool isSigned() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
794
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a9b680e5f1995e1fb8f7d17f69f1c32ca"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca">SVF::SVFArrayType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
801
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a535874e5c49f686dd6ae99304ecd6821"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">SVF::SVFIntegerType::isSigned</a></div><div class="ttdeci">bool isSigned() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00398">SVFType.h:398</a></div></div>
|
|
802
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a9b680e5f1995e1fb8f7d17f69f1c32ca"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a9b680e5f1995e1fb8f7d17f69f1c32ca">SVF::SVFArrayType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00477">SVFType.h:477</a></div></div>
|
|
795
803
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_aaf05447c20c9f90eea64ab6e88d6ab05"><div class="ttname"><a href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo::getFlattenedFieldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > & getFlattenedFieldIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00180">SVFType.h:180</a></div></div>
|
|
796
804
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a33948aee379e9de810c535c583f46535"><div class="ttname"><a href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo::StInfo</a></div><div class="ttdeci">StInfo()=delete</div><div class="ttdoc">Max field limit.</div></div>
|
|
797
805
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a05850c17c2dbe42e5602dc8c9a70f3bd"><div class="ttname"><a href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType::getTypeInfo</a></div><div class="ttdeci">StInfo * getTypeInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00309">SVFType.h:309</a></div></div>
|
|
798
806
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
|
|
799
807
|
<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set< NodePair > NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00115">SVFType.h:115</a></div></div>
|
|
800
808
|
<div class="ttc" id="anamespaceSVF_html_a32489632f53dce062ca2e8bff42c65cf"><div class="ttname"><a href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></div><div class="ttdeci">std::pair< NodeID, Version > VersionedVar</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00126">SVFType.h:126</a></div></div>
|
|
801
|
-
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
809
|
+
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00616">SVFType.h:616</a></div></div>
|
|
802
810
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
|
|
803
811
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
804
812
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a720cd5a07daddf3e4ad33a937c9e9695"><div class="ttname"><a href="classSVF_1_1StInfo.html#a720cd5a07daddf3e4ad33a937c9e9695">SVF::StInfo::getFlattenElementTypes</a></div><div class="ttdeci">const std::vector< const SVFType * > & getFlattenElementTypes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00204">SVFType.h:204</a></div></div>
|
|
@@ -810,36 +818,36 @@ $(function() {
|
|
|
810
818
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00252">SVFType.h:252</a></div></div>
|
|
811
819
|
<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set< Key, Compare, Allocator > OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00106">SVFType.h:106</a></div></div>
|
|
812
820
|
<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector< u32_t > CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00123">SVFType.h:123</a></div></div>
|
|
813
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aee36de2439ab62fbbe68f71826478914"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aee36de2439ab62fbbe68f71826478914">SVF::SVFIntegerType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
814
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
815
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
816
|
-
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
821
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aee36de2439ab62fbbe68f71826478914"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aee36de2439ab62fbbe68f71826478914">SVF::SVFIntegerType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00386">SVFType.h:386</a></div></div>
|
|
822
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a5438a991fcd2a1cf1409464125d2c31b"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b">SVF::SVFArrayType::numOfElement</a></div><div class="ttdeci">unsigned numOfElement</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00468">SVFType.h:468</a></div></div>
|
|
823
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00376">SVFType.h:376</a></div></div>
|
|
824
|
+
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a067e8f095942e095aa1721dee3a241ea"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea">SVF::SVFPointerType::getPtrElementType</a></div><div class="ttdeci">const SVFType * getPtrElementType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00362">SVFType.h:362</a></div></div>
|
|
817
825
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a3ddabbd763acaaca28cacbabe5bc7f3b"><div class="ttname"><a href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">SVF::SVFType::setPointerTo</a></div><div class="ttdeci">void setPointerTo(const SVFPointerType *ty)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00291">SVFType.h:291</a></div></div>
|
|
818
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a8705cce1b567e8f51d8644179c841ca3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3">SVF::SVFOtherType::setRepr</a></div><div class="ttdeci">void setRepr(const std::string &r)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
826
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a8705cce1b567e8f51d8644179c841ca3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3">SVF::SVFOtherType::setRepr</a></div><div class="ttdeci">void setRepr(const std::string &r)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00528">SVFType.h:528</a></div></div>
|
|
819
827
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a06eeb5543eb160e08f9a41e30b52d963"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">SVF::SparseBitVector::find_first</a></div><div class="ttdeci">int find_first() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01081">SparseBitVector.h:1081</a></div></div>
|
|
820
828
|
<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00058">SVFType.h:58</a></div></div>
|
|
821
829
|
<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00059">SVFType.h:59</a></div></div>
|
|
822
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
823
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_af4bacdbcf4867575f6f27fc26aa66bbe"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType::SVFFunctionType</a></div><div class="ttdeci">SVFFunctionType(const SVFType *rt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
824
|
-
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a64502ac59788f5a1d53297123afbcfc6"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6">SVF::SVFPointerType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
825
|
-
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_acf9690a279fb50ff2ac635fbad617da8"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">SVF::SVFStructType::getName</a></div><div class="ttdeci">const std::string & getName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
830
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing & debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00436">SVFType.h:436</a></div></div>
|
|
831
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_af4bacdbcf4867575f6f27fc26aa66bbe"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType::SVFFunctionType</a></div><div class="ttdeci">SVFFunctionType(const SVFType *rt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00413">SVFType.h:413</a></div></div>
|
|
832
|
+
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a64502ac59788f5a1d53297123afbcfc6"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a64502ac59788f5a1d53297123afbcfc6">SVF::SVFPointerType::classof</a></div><div class="ttdeci">static bool classof(const SVFType *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00358">SVFType.h:358</a></div></div>
|
|
833
|
+
<div class="ttc" id="aclassSVF_1_1SVFStructType_html_acf9690a279fb50ff2ac635fbad617da8"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#acf9690a279fb50ff2ac635fbad617da8">SVF::SVFStructType::getName</a></div><div class="ttdeci">const std::string & getName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00448">SVFType.h:448</a></div></div>
|
|
826
834
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00264">SVFType.h:264</a></div></div>
|
|
827
835
|
<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set< NodeID > NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
|
|
828
|
-
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a2b3c4e21da9ad2bdd8e306192b953186"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">SVF::SVFFunctionType::retTy</a></div><div class="ttdeci">const SVFType * retTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
829
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a1d9f683bbcd6dc76e85f841a2b00d95e"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType::SVFOtherType</a></div><div class="ttdeci">SVFOtherType(bool isSingleValueTy)</div><div class="ttdoc">Field representation for printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
830
|
-
<div class="ttc" id="astructSVF_1_1Hash_3_01NodePair_01_4_html_a57f65bc02efb8b1d4905030ef437df3e"><div class="ttname"><a href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash< NodePair >::operator()</a></div><div class="ttdeci">size_t operator()(const NodePair &p) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
836
|
+
<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html_a2b3c4e21da9ad2bdd8e306192b953186"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186">SVF::SVFFunctionType::retTy</a></div><div class="ttdeci">const SVFType * retTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00410">SVFType.h:410</a></div></div>
|
|
837
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a1d9f683bbcd6dc76e85f841a2b00d95e"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType::SVFOtherType</a></div><div class="ttdeci">SVFOtherType(bool isSingleValueTy)</div><div class="ttdoc">Field representation for printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00511">SVFType.h:511</a></div></div>
|
|
838
|
+
<div class="ttc" id="astructSVF_1_1Hash_3_01NodePair_01_4_html_a57f65bc02efb8b1d4905030ef437df3e"><div class="ttname"><a href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash< NodePair >::operator()</a></div><div class="ttdeci">size_t operator()(const NodePair &p) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00539">SVFType.h:539</a></div></div>
|
|
831
839
|
<div class="ttc" id="anamespaceSVF_html_a5aaae6def1049304d855101a0d4b0b1c"><div class="ttname"><a href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></div><div class="ttdeci">Map< NodePair, NodeID > NodePairMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00116">SVFType.h:116</a></div></div>
|
|
832
840
|
<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
|
|
833
841
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00321">SVFType.h:321</a></div></div>
|
|
834
842
|
<div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00060">SVFType.h:60</a></div></div>
|
|
835
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
843
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00502">SVFType.h:502</a></div></div>
|
|
836
844
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a055697f565cb9d73b41110090fe50159"><div class="ttname"><a href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo::getOriginalElemType</a></div><div class="ttdeci">const SVFType * getOriginalElemType(u32_t fldIdx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00026">SVFValue.cpp:26</a></div></div>
|
|
837
|
-
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
838
|
-
<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#
|
|
839
|
-
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a28da1169748e38b891133b76568a2759"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType::getTypeOfElement</a></div><div class="ttdeci">const SVFType * getTypeOfElement() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
845
|
+
<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00615">SVFType.h:615</a></div></div>
|
|
846
|
+
<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#l00421">SVFType.h:421</a></div></div>
|
|
847
|
+
<div class="ttc" id="aclassSVF_1_1SVFArrayType_html_a28da1169748e38b891133b76568a2759"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType::getTypeOfElement</a></div><div class="ttdeci">const SVFType * getTypeOfElement() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00484">SVFType.h:484</a></div></div>
|
|
840
848
|
<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
|
|
841
849
|
<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_adf5f19b1b32c117571fe74035cdcdbe2"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash< std::pair< S, T > >::szudzik</a></div><div class="ttdeci">static size_t szudzik(size_t a, size_t b)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00072">SVFType.h:72</a></div></div>
|
|
842
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a444ebb6bca967caf3cb6bba9d2db44c7"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7">SVF::SVFOtherType::setRepr</a></div><div class="ttdeci">void setRepr(std::string &&r)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
850
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_a444ebb6bca967caf3cb6bba9d2db44c7"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7">SVF::SVFOtherType::setRepr</a></div><div class="ttdeci">void setRepr(std::string &&r)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00523">SVFType.h:523</a></div></div>
|
|
843
851
|
<div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
|
|
844
852
|
<div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01104">SparseBitVector.h:1104</a></div></div>
|
|
845
853
|
<div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00048">SVFType.h:48</a></div></div>
|
|
@@ -847,17 +855,17 @@ $(function() {
|
|
|
847
855
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_af06efda21356fbd3559e11ec7ae1bde5"><div class="ttname"><a href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">SVF::SVFType::isStructTy</a></div><div class="ttdeci">bool isStructTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00331">SVFType.h:331</a></div></div>
|
|
848
856
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_ae3dc579aa3688c607f279215372eef4f"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector< const SVFType * > finfo</div><div class="ttdoc">All field infos after flattening a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00146">SVFType.h:146</a></div></div>
|
|
849
857
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00258">SVFType.h:258</a></div></div>
|
|
850
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_ad9cbb0a4ffefe248977850d9aa17f9c1"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1">SVF::SVFOtherType::getRepr</a></div><div class="ttdeci">const std::string & getRepr()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
858
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_ad9cbb0a4ffefe248977850d9aa17f9c1"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1">SVF::SVFOtherType::getRepr</a></div><div class="ttdeci">const std::string & getRepr()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00518">SVFType.h:518</a></div></div>
|
|
851
859
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00149">SVFType.h:149</a></div></div>
|
|
860
|
+
<div class="ttc" id="aclassSVF_1_1SVFPointerType_html_a2f3fc3720ff9c0f3f8bc6f55fd971aab"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab">SVF::SVFPointerType::SVFPointerType</a></div><div class="ttdeci">SVFPointerType()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00353">SVFType.h:353</a></div></div>
|
|
852
861
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
|
|
853
|
-
<div class="ttc" id="
|
|
854
|
-
<div class="ttc" id="
|
|
855
|
-
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00501">SVFType.h:501</a></div></div>
|
|
862
|
+
<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00607">SVFType.h:607</a></div></div>
|
|
863
|
+
<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00508">SVFType.h:508</a></div></div>
|
|
856
864
|
<div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
|
|
857
865
|
<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
858
866
|
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aa65e56b4206e93fec242eb8db4a979a0"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">SVF::SVFIntegerType::print</a></div><div class="ttdeci">void print(std::ostream &os) const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00033">SVFType.cpp:33</a></div></div>
|
|
859
867
|
<div class="ttc" id="aclassSVF_1_1StInfo_html_a55e5fd85f232c1867c5c6a73646d53eb"><div class="ttname"><a href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo::getFlattenedElemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > & getFlattenedElemIdxVec()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00184">SVFType.h:184</a></div></div>
|
|
860
|
-
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aeacf0513bfde42511fe6e464d48d1e11"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">SVF::SVFIntegerType::setSignAndWidth</a></div><div class="ttdeci">void setSignAndWidth(short sw)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#
|
|
868
|
+
<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_aeacf0513bfde42511fe6e464d48d1e11"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">SVF::SVFIntegerType::setSignAndWidth</a></div><div class="ttdeci">void setSignAndWidth(short sw)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00393">SVFType.h:393</a></div></div>
|
|
861
869
|
<!-- start footer part -->
|
|
862
870
|
<hr class="footer"/><address class="footer"><small>
|
|
863
871
|
Generated by  <a href="http://www.doxygen.org/index.html">
|