Fix #8470: fuzz_bounds should use select() rather than Select::make() (…

…#8471)
halide · Nov 8, 2024 · a397712 · a397712
1 parent 45da57a
commit a397712
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/test/fuzz/bounds.cpp b/test/fuzz/bounds.cpp
@@ -117,7 +117,9 @@ Expr random_expr(FuzzedDataProvider &fdp, Type t, int depth, bool overflow_undef
             auto c = random_condition(fdp, t, depth, true);
             auto e1 = random_expr(fdp, t, depth, overflow_undef);
             auto e2 = random_expr(fdp, t, depth, overflow_undef);
-            return Select::make(c, e1, e2);
+            // Don't use Select::make: we want to use select() here to
+            // ensure that the condition and values match types.
+            return select(c, e1, e2);
         },
         [&]() {
             if (t.lanes() != 1) {