svf-tools 1.0.528 → 1.0.531

package/SVF-doxygen/html/html/namespacemembers_i.html

@@ -64,8 +64,17 @@ $(function() {
 <li>increaseStackSize()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1">SVF::SVFUtil</a>
 </li>
+<li>InsertElementInst
+: <a class="el" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF</a>
+</li>
 <li>insertKey()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471">SVF::SVFUtil</a>
+</li>
+<li>InsertValueInst
+: <a class="el" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF</a>
+</li>
+<li>inst_iterator
+: <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF</a>
 </li>
 <li>Instruction
 : <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF</a>
@@ -79,6 +88,15 @@ $(function() {
 <li>IntraPHISVFGNode
 : <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
 </li>
+<li>IntToPtrInst
+: <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF</a>
+</li>
+<li>InvokeInst
+: <a class="el" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF</a>
+</li>
+<li>IRBuilder
+: <a class="el" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF</a>
+</li>
 <li>isa()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">SVF::SVFUtil</a>
 </li>
@@ -134,7 +152,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil</a>
 </li>
 <li>isHareParForCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9b37c6fe1232ebc35ffa052bd392e2e8">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
@@ -170,10 +188,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a1e99d5cf28e0d6546e0d85b805a7e371">SVF::cppUtil</a>
 </li>
 <li>isLockAquireCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a343dae805a34d102b9c1b96f173468df">SVF::SVFUtil</a>
 </li>
 <li>isLockReleaseCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a84ac49c70252036a957694f2cf05ae2c">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil</a>
 </li>
 <li>isNoCallerFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef">SVF::LLVMUtil</a>
@@ -188,7 +206,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">SVF::LLVMUtil</a>
 </li>
 <li>isProgEntryFunction()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
@@ -218,7 +236,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">SVF::LLVMUtil</a>
 </li>
 <li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aab8ac16a9a2961f98001ab94aeaedf64">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
@@ -227,10 +245,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_l.html

@@ -61,6 +61,12 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
+<li>LandingPadInst
+: <a class="el" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF</a>
+</li>
+<li>LLVMContext
+: <a class="el" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF</a>
+</li>
 <li>LoadInst
 : <a class="el" href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_m.html

@@ -70,9 +70,18 @@ $(function() {
 <li>MDNode
 : <a class="el" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF</a>
 </li>
+<li>MDString
+: <a class="el" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF</a>
+</li>
+<li>MemoryLocation
+: <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
+</li>
 <li>mergePtsOccMaps()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>
 </li>
+<li>MetadataAsValue
+: <a class="el" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF</a>
+</li>
 <li>Mod
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF</a>
 </li>
@@ -88,6 +97,9 @@ $(function() {
 <li>moduleFlagValue
 : <a class="el" href="namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3">SVF::cppUtil::ctir</a>
 </li>
+<li>ModulePass
+: <a class="el" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF</a>
+</li>
 <li>move()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_p.html

@@ -76,6 +76,9 @@ $(function() {
 <li>pasMsg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil</a>
 </li>
+<li>PHINode
+: <a class="el" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF</a>
+</li>
 <li>PHISVFGNode
 : <a class="el" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_r.html

@@ -76,6 +76,12 @@ $(function() {
 <li>reportMemoryUsageKB()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3">SVF::SVFUtil</a>
 </li>
+<li>ResumeInst
+: <a class="el" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF</a>
+</li>
+<li>ReturnInst
+: <a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_s.html

@@ -67,12 +67,36 @@ $(function() {
 <li>s64_t
 : <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
 </li>
+<li>ScalarEvolution
+: <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
+</li>
+<li>ScalarEvolutionWrapperPass
+: <a class="el" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF</a>
+</li>
+<li>SCEV
+: <a class="el" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF</a>
+</li>
+<li>SCEVAddRecExpr
+: <a class="el" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF</a>
+</li>
+<li>SCEVConstant
+: <a class="el" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF</a>
+</li>
+<li>SelectInst
+: <a class="el" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF</a>
+</li>
 <li>Set
 : <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF</a>
 </li>
+<li>ShuffleVectorInst
+: <a class="el" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF</a>
+</li>
 <li>SmallBBVector
 : <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF</a>
 </li>
+<li>SMDiagnostic
+: <a class="el" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SVF</a>
+</li>
 <li>split()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#af54e70082388bbd70868250aaa0bc86b">SVF::SVFUtil</a>
 </li>
@@ -97,6 +121,9 @@ $(function() {
 <li>stripConstantCasts()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">SVF::LLVMUtil</a>
 </li>
+<li>StructLayout
+: <a class="el" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF</a>
+</li>
 <li>StructType
 : <a class="el" href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF</a>
 </li>
@@ -112,6 +139,9 @@ $(function() {
 <li>SVFGNode
 : <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVF</a>
 </li>
+<li>SwitchInst
+: <a class="el" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF</a>
+</li>
 <li>SymID
 : <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type.html

@@ -73,449 +73,20 @@ $(function() {
 <li>AliasSet
 : <a class="el" href="namespaceSVF.html#a2b2887cf75225bc9127338b4cf30aa85">SVF</a>
 </li>
+<li>AllocaInst
+: <a class="el" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF</a>
+</li>
 <li>Argument
 : <a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF</a>
 </li>
 <li>ArrayType
 : <a class="el" href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF</a>
 </li>
-</ul>
-
-
-<h3><a id="index_b"></a>- b -</h3><ul>
-<li>BasicBlock
-: <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF</a>
-</li>
-<li>bridge_gep_iterator
-: <a class="el" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">llvm</a>
-</li>
-</ul>
-
-
-<h3><a id="index_c"></a>- c -</h3><ul>
-<li>CallBase
-: <a class="el" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF</a>
-</li>
-<li>CallInst
-: <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF</a>
-</li>
-<li>CallSiteID
-: <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF</a>
-</li>
-<li>CallStrCxt
-: <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF</a>
-</li>
-<li>CFLSrcSnkSolver
-: <a class="el" href="namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67">SVF</a>
-</li>
-<li>CGSCC
-: <a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF</a>
-</li>
-<li>ConstantInt
-: <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF</a>
-</li>
-<li>ConstantPointerNull
-: <a class="el" href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF</a>
-</li>
-<li>CopySVFGNode
-: <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
-</li>
-<li>CxtLocDPItem
-: <a class="el" href="namespaceSVF.html#aa612d67dfa9b0c2999eeef980ca6c893">SVF</a>
-</li>
-<li>CxtPtSet
-: <a class="el" href="namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a">SVF</a>
-</li>
-<li>CxtVar
-: <a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_d"></a>- d -</h3><ul>
-<li>DISubprogram
-: <a class="el" href="namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295">SVF</a>
-</li>
-<li>DominanceFrontier
-: <a class="el" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF</a>
-</li>
-<li>DominanceFrontierBase
-: <a class="el" href="namespaceSVF.html#aefa7ddc97343be9e528108d0a52293de">SVF</a>
-</li>
-<li>DominatorTree
-: <a class="el" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF</a>
-</li>
-<li>DomTreeNode
-: <a class="el" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_e"></a>- e -</h3><ul>
-<li>EdgeID
-: <a class="el" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF</a>
-</li>
-<li>EdgeSet
-: <a class="el" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF</a>
-</li>
-<li>EdgeVector
-: <a class="el" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF</a>
-</li>
-<li>equalNodeBS
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f">SVF::SVFUtil</a>
-</li>
-<li>equalPointsTo
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41">SVF::SVFUtil</a>
-</li>
-</ul>
-
-
-<h3><a id="index_f"></a>- f -</h3><ul>
-<li>FormalParmSVFGNode
-: <a class="el" href="namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9">SVF</a>
-</li>
-<li>FormalRetSVFGNode
-: <a class="el" href="namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e">SVF</a>
-</li>
-<li>Function
-: <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF</a>
-</li>
-<li>FunctionType
-: <a class="el" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_g"></a>- g -</h3><ul>
-<li>GenericCallGraphEdgeTy
-: <a class="el" href="namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca">SVF</a>
-</li>
-<li>GenericCallGraphNodeTy
-: <a class="el" href="namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c">SVF</a>
-</li>
-<li>GenericCallGraphTy
-: <a class="el" href="namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180">SVF</a>
-</li>
-<li>GenericCFLEdgeTy
-: <a class="el" href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">SVF</a>
-</li>
-<li>GenericCFLGraphTy
-: <a class="el" href="namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a">SVF</a>
-</li>
-<li>GenericCFLNodeTy
-: <a class="el" href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">SVF</a>
-</li>
-<li>GenericCHEdgeTy
-: <a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">SVF</a>
-</li>
-<li>GenericCHGraphTy
-: <a class="el" href="namespaceSVF.html#aa8bd37e4ec2e98c805a14adbf590b9dd">SVF</a>
-</li>
-<li>GenericCHNodeTy
-: <a class="el" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">SVF</a>
-</li>
-<li>GenericConsEdgeTy
-: <a class="el" href="namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66">SVF</a>
-</li>
-<li>GenericConsNodeTy
-: <a class="el" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">SVF</a>
-</li>
-<li>GenericICFGEdgeTy
-: <a class="el" href="namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404">SVF</a>
-</li>
-<li>GenericICFGNodeTy
-: <a class="el" href="namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3">SVF</a>
-</li>
-<li>GenericICFGTy
-: <a class="el" href="namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed">SVF</a>
-</li>
-<li>GenericPAGEdgeTy
-: <a class="el" href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">SVF</a>
-</li>
-<li>GenericPAGNodeTy
-: <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">SVF</a>
-</li>
-<li>GenericTCTEdgeTy
-: <a class="el" href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">SVF</a>
-</li>
-<li>GenericTCTNodeTy
-: <a class="el" href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">SVF</a>
-</li>
-<li>GenericThreadCreateTreeTy
-: <a class="el" href="namespaceSVF.html#a8e1221553658c8b506c348534135ceaa">SVF</a>
-</li>
-<li>GenericVFGEdgeTy
-: <a class="el" href="namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437">SVF</a>
-</li>
-<li>GenericVFGNodeTy
-: <a class="el" href="namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6">SVF</a>
-</li>
-<li>GenericVFGTy
-: <a class="el" href="namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f">SVF</a>
-</li>
-<li>GepSVFGNode
-: <a class="el" href="namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f">SVF</a>
-</li>
-<li>GlobalAlias
-: <a class="el" href="namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc">SVF</a>
-</li>
-<li>GlobalValue
-: <a class="el" href="namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f">SVF</a>
-</li>
-<li>GlobalVariable
-: <a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF</a>
-</li>
-<li>GraphPrinter
-: <a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_i"></a>- i -</h3><ul>
-<li>Instruction
-: <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF</a>
-</li>
-<li>IntegerType
-: <a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF</a>
-</li>
-<li>InterPHISVFGNode
-: <a class="el" href="namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca">SVF</a>
-</li>
-<li>IntraPHISVFGNode
-: <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_l"></a>- l -</h3><ul>
-<li>LoadInst
-: <a class="el" href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF</a>
-</li>
-<li>LoadSVFGNode
-: <a class="el" href="namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8">SVF</a>
-</li>
-<li>LocDPItem
-: <a class="el" href="namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855">SVF</a>
-</li>
-<li>Loop
-: <a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF</a>
-</li>
-<li>LoopInfo
-: <a class="el" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_m"></a>- m -</h3><ul>
-<li>Map
-: <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF</a>
-</li>
-<li>MDNode
-: <a class="el" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF</a>
-</li>
-<li>Module
-: <a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF</a>
-</li>
-<li>MRID
-: <a class="el" href="namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5">SVF</a>
-</li>
-<li>MRVERID
-: <a class="el" href="namespaceSVF.html#a0039280e908258b8e73779de51e9f63b">SVF</a>
-</li>
-<li>MRVERSION
-: <a class="el" href="namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_n"></a>- n -</h3><ul>
-<li>NamedMDNode
-: <a class="el" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF</a>
-</li>
-<li>NodeBS
-: <a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF</a>
-</li>
-<li>NodeDeque
-: <a class="el" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF</a>
-</li>
-<li>NodeID
-: <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF</a>
-</li>
-<li>NodeList
-: <a class="el" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF</a>
-</li>
-<li>NodePair
-: <a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF</a>
-</li>
-<li>NodePairMap
-: <a class="el" href="namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76">SVF</a>
-</li>
-<li>NodePairSet
-: <a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF</a>
-</li>
-<li>NodeSet
-: <a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF</a>
-</li>
-<li>NodeStack
-: <a class="el" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF</a>
-</li>
-<li>NodeVector
-: <a class="el" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF</a>
-</li>
-<li>NullPtrSVFGNode
-: <a class="el" href="namespaceSVF.html#aeccd0bd024319173c1cda5ff1a79c5ae">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_o"></a>- o -</h3><ul>
-<li>OrderedMap
-: <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF</a>
-</li>
-<li>OrderedNodeSet
-: <a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF</a>
-</li>
-<li>OrderedSet
-: <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF</a>
-</li>
-<li>OutStream
-: <a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_p"></a>- p -</h3><ul>
-<li>PAG
-: <a class="el" href="namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d">SVF</a>
-</li>
-<li>PAGEdge
-: <a class="el" href="namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152">SVF</a>
-</li>
-<li>PAGNode
-: <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">SVF</a>
-</li>
-<li>PHISVFGNode
-: <a class="el" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF</a>
-</li>
-<li>PointerType
-: <a class="el" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF</a>
-</li>
-<li>PointsToID
-: <a class="el" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF</a>
-</li>
-<li>PointsToList
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2">SVF::SVFUtil</a>
-</li>
-<li>PostDominatorTree
-: <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_r"></a>- r -</h3><ul>
-<li>raw_fd_ostream
-: <a class="el" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF</a>
-</li>
-<li>raw_string_ostream
-: <a class="el" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_s"></a>- s -</h3><ul>
-<li>s32_t
-: <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF</a>
-</li>
-<li>s64_t
-: <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
-</li>
-<li>Set
-: <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF</a>
-</li>
-<li>SmallBBVector
-: <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF</a>
-</li>
-<li>StmtSVFGNode
-: <a class="el" href="namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934">SVF</a>
-</li>
-<li>StoreInst
-: <a class="el" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF</a>
-</li>
-<li>StoreSVFGNode
-: <a class="el" href="namespaceSVF.html#a54c5725186e66ead6faf53c10a288714">SVF</a>
-</li>
-<li>StructType
-: <a class="el" href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF</a>
-</li>
-<li>succ_const_iterator
-: <a class="el" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF</a>
-</li>
-<li>SVFGEdge
-: <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVF</a>
-</li>
-<li>SVFGNode
-: <a class="el" href="namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df">SVF</a>
-</li>
-<li>SymID
-: <a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_t"></a>- t -</h3><ul>
-<li>ThreadID
-: <a class="el" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF</a>
-</li>
-<li>Type
-: <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_u"></a>- u -</h3><ul>
-<li>u32_t
-: <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF</a>
-</li>
-<li>u64_t
-: <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF</a>
-</li>
-<li>User
-: <a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_v"></a>- v -</h3><ul>
-<li>Value
-: <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF</a>
-</li>
-<li>Version
-: <a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF</a>
-</li>
-<li>VersionedVar
-: <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF</a>
-</li>
-<li>VersionedVarSet
-: <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF</a>
-</li>
-<li>VersionSet
-: <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF</a>
-</li>
-<li>VFunSet
-: <a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF</a>
-</li>
-<li>VTableSet
-: <a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">SVF</a>
-</li>
-</ul>
-
-
-<h3><a id="index_w"></a>- w -</h3><ul>
-<li>WPAConstraintSolver
-: <a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">SVF</a>
+<li>AtomicCmpXchgInst
+: <a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF</a>
 </li>
-<li>WPASVFGFSSolver
-: <a class="el" href="namespaceSVF.html#a221270d70aa99a37738c0f919519a73d">SVF</a>
+<li>AtomicRMWInst
+: <a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->