aboutsummaryrefslogtreecommitdiff
path: root/source/fuzz/fuzzer_pass_add_dead_breaks.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/fuzz/fuzzer_pass_add_dead_breaks.cpp')
-rw-r--r--source/fuzz/fuzzer_pass_add_dead_breaks.cpp8
1 files changed, 6 insertions, 2 deletions
diff --git a/source/fuzz/fuzzer_pass_add_dead_breaks.cpp b/source/fuzz/fuzzer_pass_add_dead_breaks.cpp
index 6b171dcd..f3900aa6 100644
--- a/source/fuzz/fuzzer_pass_add_dead_breaks.cpp
+++ b/source/fuzz/fuzzer_pass_add_dead_breaks.cpp
@@ -77,9 +77,13 @@ void FuzzerPassAddDeadBreaks::Apply() {
});
}
+ // Make sure the module has a required boolean constant to be used in
+ // OpBranchConditional instruction.
+ auto break_condition = GetFuzzerContext()->ChooseEven();
+ FindOrCreateBoolConstant(break_condition);
+
auto candidate_transformation = TransformationAddDeadBreak(
- block.id(), merge_block->id(), GetFuzzerContext()->ChooseEven(),
- std::move(phi_ids));
+ block.id(), merge_block->id(), break_condition, std::move(phi_ids));
if (candidate_transformation.IsApplicable(
GetIRContext(), *GetTransformationContext())) {
// Only consider a transformation as a candidate if it is applicable.