chore(elina): remove compiler warnings

seahorn · Mar 11, 2023 · 711fb08 · 711fb08
1 parent c012f84
commit 711fb08
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/include/crab/domains/elina_domains.hpp b/include/crab/domains/elina_domains.hpp
@@ -117,8 +117,6 @@ class elina_domain final
       case ELINA_PK:
         s_apman = opt_pk_manager_alloc(false);
         break;
-      default:
-        CRAB_ERROR("unknown elina domain");
       }
     }
     return s_apman;
@@ -1203,7 +1201,6 @@ class elina_domain final
             std::move(m));
       case ELINA_ZONES:
       case ELINA_PK:
-      default:
         // CRAB_WARN("used meet instead of narrowing: \n",
         //           "make sure only a finite number of descending iterations
         //           are run.");
@@ -1608,8 +1605,6 @@ class elina_domain final
     case OP_ASHR:
       xi = yi.AShr(zi);
       break;
-    default:
-      CRAB_ERROR("elina operation not supported");
     }
     set(x, xi);
   }
@@ -1646,8 +1641,6 @@ class elina_domain final
     case OP_ASHR:
       xi = yi.AShr(zi);
       break;
-    default:
-      CRAB_ERROR("elina operation not supported");
     }
     set(x, xi);
   }
@@ -1995,8 +1988,6 @@ class elina_domain final
       return "ElinaOctagon";
     case ELINA_PK:
       return "ElinaPolyhedra";
-    default:
-      CRAB_ERROR("Unknown elina domain");
     }
   }
 };