From 4fe5775e57bcf3d5b6c7df13f11a1f7c3c3615cb Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Mon, 12 Jul 2021 20:10:19 +1000
Subject: [PATCH] Squashed 'software/mza/' changes from bf2c1f31bc..15b5b1ca03

15b5b1ca03 Fix switch statements that are missing breaks

git-subtree-dir: software/mza
git-subtree-split: 15b5b1ca037af71d787adf84594ef2774263fbd6
---
 lib/interpreter.cpp | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/lib/interpreter.cpp b/lib/interpreter.cpp
index d6a09de..442e4c4 100644
--- a/lib/interpreter.cpp
+++ b/lib/interpreter.cpp
@@ -1282,22 +1282,27 @@ Interpreter::~Interpreter(void) {
       case 1: {
         auto table = static_cast<CSETable<FixedKey<1>>*>(cse[i]);
         table->destroy(this);
+        break;
       }
       case 2: {
         auto table = static_cast<CSETable<FixedKey<2>>*>(cse[i]);
         table->destroy(this);
+        break;
       }
       case 3: {
         auto table = static_cast<CSETable<FixedKey<3>>*>(cse[i]);
         table->destroy(this);
+        break;
       }
       case 4: {
         auto table = static_cast<CSETable<FixedKey<4>>*>(cse[i]);
         table->destroy(this);
+        break;
       }
       default: {
         auto table = static_cast<CSETable<VariadicKey>*>(cse[i]);
         table->destroy(this);
+        break;
       }
     }
   }
@@ -1432,22 +1437,27 @@ size_t Trail::save_state(MiniZinc::Interpreter* interpreter) {
       case 1: {
         auto table = static_cast<CSETable<FixedKey<1>>*>(interpreter->cse[i]);
         table->push(interpreter, !last_operation_pop);
+        break;
       }
       case 2: {
         auto table = static_cast<CSETable<FixedKey<2>>*>(interpreter->cse[i]);
         table->push(interpreter, !last_operation_pop);
+        break;
       }
       case 3: {
         auto table = static_cast<CSETable<FixedKey<3>>*>(interpreter->cse[i]);
         table->push(interpreter, !last_operation_pop);
+        break;
       }
       case 4: {
         auto table = static_cast<CSETable<FixedKey<4>>*>(interpreter->cse[i]);
         table->push(interpreter, !last_operation_pop);
+        break;
       }
       default: {
         auto table = static_cast<CSETable<VariadicKey>*>(interpreter->cse[i]);
         table->push(interpreter, !last_operation_pop);
+        break;
       }
     }
   }
@@ -1511,22 +1521,27 @@ void Trail::untrail(MiniZinc::Interpreter* interpreter) {
       case 1: {
         auto table = static_cast<CSETable<FixedKey<1>>*>(interpreter->cse[i]);
         table->pop(interpreter);
+        break;
       }
       case 2: {
         auto table = static_cast<CSETable<FixedKey<2>>*>(interpreter->cse[i]);
         table->pop(interpreter);
+        break;
       }
       case 3: {
         auto table = static_cast<CSETable<FixedKey<3>>*>(interpreter->cse[i]);
         table->pop(interpreter);
+        break;
       }
       case 4: {
         auto table = static_cast<CSETable<FixedKey<4>>*>(interpreter->cse[i]);
         table->pop(interpreter);
+        break;
       }
       default: {
         auto table = static_cast<CSETable<VariadicKey>*>(interpreter->cse[i]);
         table->pop(interpreter);
+        break;
       }
     }
   }