From a43e1f12df95868f76e37591cc7543e515fb1869 Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 29 Nov 2017 10:55:50 -0800 Subject: [PATCH] Adding missing break statements. CID 1362756. (#1394) --- src/theory/bv/bv_subtheory.h | 28 ++++++++++++---------------- 1 file changed, 12 insertions(+), 16 deletions(-) diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h index deb366a99..454f89b6c 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -37,26 +37,22 @@ enum SubTheory { SUB_ALGEBRAIC = 4 }; -inline std::ostream& operator << (std::ostream& out, SubTheory subtheory) { +inline std::ostream& operator<<(std::ostream& out, SubTheory subtheory) { switch (subtheory) { - case SUB_BITBLAST: - out << "BITBLASTER"; - break; - case SUB_CORE: - out << "BV_CORE_SUBTHEORY"; - break; - case SUB_INEQUALITY: - out << "BV_INEQUALITY_SUBTHEORY"; - case SUB_ALGEBRAIC: - out << "BV_ALGEBRAIC_SUBTHEORY"; - default: - Unreachable(); - break; + case SUB_BITBLAST: + return out << "BITBLASTER"; + case SUB_CORE: + return out << "BV_CORE_SUBTHEORY"; + case SUB_INEQUALITY: + return out << "BV_INEQUALITY_SUBTHEORY"; + case SUB_ALGEBRAIC: + return out << "BV_ALGEBRAIC_SUBTHEORY"; + default: + break; } - return out; + Unreachable(); } - // forward declaration class TheoryBV; -- 2.30.2