Change instances of FUZZTEST_CHECK(false) to FUZZTEST_LOG(FATAL).

PiperOrigin-RevId: 797441433

Author: lszekeres

centipede/centipede_test.cc

@@ -358,14 +358,14 @@ class MutateCallbacks : public CentipedeCallbacks {
   // Will not be called.
   bool Execute(std::string_view binary, const std::vector<ByteArray> &inputs,
                BatchResult &batch_result) override {
-    FUZZTEST_CHECK(false);
+    FUZZTEST_LOG(FATAL);
     return false;
   }
 
   // Will not be called.
   std::vector<ByteArray> Mutate(const std::vector<MutationInputRef> &inputs,
                                 size_t num_mutants) override {
-    FUZZTEST_CHECK(false);
+    FUZZTEST_LOG(FATAL);
   }
 
   // Redeclare a protected member function as public so the tests can call it.

common/status_macros.h

@@ -55,9 +55,8 @@ decltype(auto) ValueOrDie(T&& value ABSL_ATTRIBUTE_LIFETIME_BOUND,
                           std::uint_least32_t line = __builtin_LINE(),
                           const char* file_name = __builtin_FILE()) {
   if (ABSL_PREDICT_FALSE(!value.ok())) {
-    FUZZTEST_CHECK(false) << file_name << ":" << line
-                          << ": ValueOrDie on non-OK status: "
-                          << value.status();
+    FUZZTEST_LOG(FATAL) << file_name << ":" << line
+                        << ": ValueOrDie on non-OK status: " << value.status();
   }
   return *std::forward<T>(value);
 }

common/temp_dir.cc

@@ -26,7 +26,7 @@ TempDir::TempDir(absl::string_view custom_prefix) {
 #if !defined(_MSC_VER)
   path_ = mkdtemp(path_template.string().data());
 #else
-  FUZZTEST_CHECK(false) << "Windows is not supported yet.";
+  FUZZTEST_LOG(FATAL) << "Windows is not supported yet.";
 #endif
   FUZZTEST_CHECK(std::filesystem::is_directory(path_));
 }

e2e_tests/benchmark_test.cc

@@ -228,7 +228,7 @@ void RunMicrobenchmarks(const bool list_tests, const std::string& filter) {
 int main(int argc, char** argv) {
 #if defined(__has_feature)
 #if !__has_feature(coverage_sanitizer)
-  FUZZTEST_CHECK(false) << "\n\nPlease compile with --config=fuzztest.\n";
+  FUZZTEST_LOG(FATAL) << "\n\nPlease compile with --config=fuzztest.\n";
 #endif
 #endif
   absl::ParseCommandLine(argc, argv);

e2e_tests/corpus_database_test.cc

@@ -80,12 +80,12 @@ class UpdateCorpusDatabaseTest
   static void SetUpTestSuite() {
 #if defined(__has_feature)
 #if !__has_feature(address_sanitizer)
-    FUZZTEST_CHECK(false)
+    FUZZTEST_LOG(FATAL)
         << "The test binary is not built with ASAN. Please run with "
            "--config=asan.";
 #elif !__has_feature(coverage_sanitizer) || !defined(FUZZTEST_USE_CENTIPEDE)
-    FUZZTEST_CHECK(false) << "The test binary is not built with coverage "
-                             "instrumentation for Centipede. "
+    FUZZTEST_LOG(FATAL) << "The test binary is not built with coverage "
+                           "instrumentation for Centipede. "
     "Please run with --config=fuzztest-experimental.";
 #endif
 #endif

e2e_tests/functional_test.cc

@@ -1320,7 +1320,7 @@ class FuzzingModeFixtureTest
         return RunBinary(CentipedePath(), run_options);
       }
     }
-    FUZZTEST_CHECK(false) << "Unsupported execution model!\n";
+    FUZZTEST_LOG(FATAL) << "Unsupported execution model!\n";
   }
 };
 

fuzztest/internal/centipede_adaptor.cc

@@ -800,8 +800,8 @@ absl::Status ExportReproducersFromCentipede(
                     output.dir_path);
       break;
     default:
-      FUZZTEST_CHECK(false) << "unsupported reproducer output location type "
-                               "to report reproducers from Centipede";
+      FUZZTEST_LOG(FATAL) << "unsupported reproducer output location type "
+                             "to report reproducers from Centipede";
   }
 
   // Will be set when there is only one reproducer - nullopt otherwise.

fuzztest/internal/domains/in_grammar_impl.h

@@ -746,7 +746,7 @@ class InGrammarImpl
   }
 
   std::optional<corpus_type> FromValue(const value_type& /*v*/) const {
-    FUZZTEST_CHECK(false) << "Parsing is not implemented yet!";
+    FUZZTEST_LOG(FATAL) << "Parsing is not implemented yet!";
     return std::nullopt;
   }
 

fuzztest/internal/domains/protobuf_domain_impl.h

@@ -1919,7 +1919,7 @@ class ProtobufDomainUntypedImpl
       return policy_.GetMinRepeatedFieldSize(field).has_value() &&
              *policy_.GetMinRepeatedFieldSize(field) > 0;
     }
-    FUZZTEST_CHECK(false) << "Field is not optional, repeated, or required";
+    FUZZTEST_LOG(FATAL) << "Field is not optional, repeated, or required";
     return false;
   }
 
@@ -1942,7 +1942,7 @@ class ProtobufDomainUntypedImpl
       return policy_.GetMaxRepeatedFieldSize(field).has_value() &&
              *policy_.GetMaxRepeatedFieldSize(field) == 0;
     }
-    FUZZTEST_CHECK(false) << "Field is not optional, repeated, or required";
+    FUZZTEST_LOG(FATAL) << "Field is not optional, repeated, or required";
     return false;
   }
 

fuzztest/internal/runtime.cc

@@ -218,8 +218,8 @@ void PrintReproducerIfRequested(RawSink out, const FuzzTest& test,
                                        Basename(reproducer_path));
         break;
       default:
-        FUZZTEST_CHECK(false) << "unsupported reproducer output location type "
-                                 "to print reproduction command for";
+        FUZZTEST_LOG(FATAL) << "unsupported reproducer output location type "
+                               "to print reproduction command for";
     }
   }
   absl::Format(