SVF code formatter

SVF-tools · Jan 27, 2025 · 2a51225 · 2a51225
1 parent e63973d
commit 2a51225
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/svf/include/DDA/DDAPass.h b/svf/include/DDA/DDAPass.h
@@ -57,7 +57,8 @@ class DDAPass
     ~DDAPass();
 
     /// Interface expose to users of our pointer analysis, given Value infos
-    virtual AliasResult alias(const SVFVar* V1,	const SVFVar* V2) {
+    virtual AliasResult alias(const SVFVar* V1,	const SVFVar* V2)
+    {
         return alias(V1->getId(), V2->getId());
     }
 

diff --git a/svf/include/MemoryModel/PointerAnalysisImpl.h b/svf/include/MemoryModel/PointerAnalysisImpl.h
@@ -216,7 +216,8 @@ class BVDataPTAImpl : public PointerAnalysis
 public:
     /// Interface expose to users of our pointer analysis, given Value infos
     AliasResult alias(const SVFVar* V1,
-                      const SVFVar* V2) override {
+                      const SVFVar* V2) override
+    {
         return alias(V1->getId(), V2->getId());
     }