diff options
Diffstat (limited to 'src/wasm-validator.h')
-rw-r--r-- | src/wasm-validator.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/wasm-validator.h b/src/wasm-validator.h index 66375790c..699e5910a 100644 --- a/src/wasm-validator.h +++ b/src/wasm-validator.h @@ -43,6 +43,7 @@ #include "wasm.h" #include "wasm-printing.h" #include "ast_utils.h" +#include "ast/branch-utils.h" namespace wasm { @@ -230,8 +231,7 @@ public: } void visitBreak(Break *curr) { // note breaks (that are actually taken) - if ((!curr->value || curr->value->type != unreachable) && - (!curr->condition || curr->condition->type != unreachable)) { + if (BranchUtils::isBranchTaken(curr)) { noteBreak(curr->name, curr->value, curr); } if (curr->condition) { @@ -240,7 +240,7 @@ public: } void visitSwitch(Switch *curr) { // note breaks (that are actually taken) - if (curr->condition->type != unreachable && (!curr->value || curr->value->type != unreachable)) { + if (BranchUtils::isBranchTaken(curr)) { for (auto& target : curr->targets) { noteBreak(target, curr->value, curr); } |