fix WPA test case

SVF-tools · Dec 9, 2024 · 60f9386 · 60f9386
1 parent e06cb62
commit 60f9386
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/svf/lib/SVFIR/SVFVariables.cpp b/svf/lib/SVFIR/SVFVariables.cpp
@@ -46,6 +46,13 @@ SVFVar::SVFVar(const SVFValue* val, NodeID i, PNODEK k) :
     switch (k)
     {
     case ValNode:
+    case ConstantValNode:
+    case ConstantDataValNode:
+    case GlobalValueValNode:
+    case BlackHoleNode:
+    case ConstantFPValNode:
+    case ConstantIntValNode:
+    case ConstantNullptrValNode:
     case GepValNode:
     {
         assert(val != nullptr && "value is nullptr for ValVar or GepValNode");
@@ -60,13 +67,6 @@ SVFVar::SVFVar(const SVFValue* val, NodeID i, PNODEK k) :
     }
     case FunValNode:
     case VarargNode:
-    case ConstantValNode:
-    case ConstantDataValNode:
-    case GlobalValueValNode:
-    case BlackHoleNode:
-    case ConstantFPValNode:
-    case ConstantIntValNode:
-    case ConstantNullptrValNode:
     case DummyValNode:
     {
         isPtr = true;