WPAPass: dump 'simple' since MSSA info no longer available

(its lifetime is scoped to the buildSVFG() function)
dtzWill · Apr 25, 2017 · c6a453c · c6a453c
1 parent ee5aead
commit c6a453c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/WPA/WPAPass.cpp b/lib/WPA/WPAPass.cpp
@@ -129,7 +129,7 @@ void WPAPass::runPointerAnalysis(llvm::Module& module, u32_t kind)
     if (anderSVFG) {
         SVFGBuilder memSSA(true);
         SVFG *svfg = memSSA.buildSVFG((BVDataPTAImpl*)_pta);
-        svfg->dump("ander_svfg");
+        svfg->dump("ander_svfg", true /* simple */);
     }
 }