Dekker1/on-restart-benchmarks
Archived
1
0
Fork 0
Code

Squashed 'software/mza/' changes from bf2c1f31bc..15b5b1ca03

Browse Source 
15b5b1ca03 Fix switch statements that are missing breaks

git-subtree-dir: software/mza
git-subtree-split: 15b5b1ca037af71d787adf84594ef2774263fbd6
This commit is contained in:
Jip J. Dekker 2021-07-12 20:10:19 +10:00
parent 5df85436d5
commit 4fe5775e57
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
lib/interpreter.cpp
View File

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