Fix GCC -Wreturn-type warning

Always return false in PowersetAbstractDomain::contains() to avoid a gcc warning. On debug builds, this will instead trigger an assertion failure.
facebook · Dec 11, 2023 · 25de827 · 25de827
1 parent 49e71e5
commit 25de827
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/include/sparta/PowersetAbstractDomain.h b/include/sparta/PowersetAbstractDomain.h
@@ -235,6 +235,9 @@ class PowersetAbstractDomain
       return this->get_value()->contains(e);
     }
     }
+    SPARTA_ASSERT(false && "unknown AbstractValueKind");
+    // Return false to suppress -Wreturn-type warning reported by gcc
+    return false;
   }
 
   friend std::ostream& operator<<(std::ostream& o, const Derived& s) {