Avoid confusing short-circuiting (#3404)

When checking the OpBranchConditional for selection headers,
we intend to register both the true and false targets.
Short circuiting was getting in the way.

Co-authored-by: Steven Perron <stevenperron@google.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/source/val/validate_cfg.cpp b/source/val/validate_cfg.cpp
index f08ab19f..c8e26fc1 100644
--- a/source/val/validate_cfg.cpp
+++ b/source/val/validate_cfg.cpp
@@ -660,7 +660,7 @@ spv_result_t ValidateStructuredSelections(
       // was missing a merge instruction and both labels hadn't been seen
       // previously.
       const bool both_unseen =
-          seen.insert(true_label).second && seen.insert(false_label).second;
+          seen.insert(true_label).second & seen.insert(false_label).second;
       if (!merge && both_unseen) {
         return _.diag(SPV_ERROR_INVALID_CFG, terminator)
                << "Selection must be structured";