Update dda.cpp

SVF-tools · Nov 20, 2023 · 388ac60 · 388ac60
1 parent 6c82edf
commit 388ac60
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/svf-llvm/tools/DDA/dda.cpp b/svf-llvm/tools/DDA/dda.cpp
@@ -45,36 +45,6 @@ static Option<bool> DAA(
     false
 );
 
-static Option<bool> REGPT(
-    "dreg",
-    "Demand-driven regular points-to analysis",
-    false
-);
-
-static Option<bool> RFINEPT(
-    "dref",
-    "Demand-driven refinement points-to analysis",
-    false
-);
-
-static Option<bool> ENABLEFIELD(
-    "fdaa",
-    "enable field-sensitivity for demand-driven analysis",
-    false
-);
-
-static Option<bool> ENABLECONTEXT(
-    "cdaa",
-    "enable context-sensitivity for demand-driven analysis",
-    false
-);
-
-static Option<bool> ENABLEFLOW(
-    "ldaa",
-    "enable flow-sensitivity for demand-driven analysis",
-    false
-);
-
 int main(int argc, char ** argv)
 {
     std::vector<std::string> moduleNameVec;