From 06c8c665f0a9e5ac3819004e8d64b1fa323deeb0 Mon Sep 17 00:00:00 2001 From: skal Date: Sun, 8 Feb 2026 16:04:53 +0100 Subject: feat(util): Add CHECK_RETURN macros for recoverable errors Created check_return.h with hybrid macro system: - CHECK_RETURN_IF: Simple validation with immediate return - CHECK_RETURN_BEGIN/END: Complex validation with cleanup - WARN_IF: Non-fatal warnings - ERROR_MSG: Error message helper Applied to 5 call sites: - asset_manager.cc: 3 procedural generation errors - test_demo.cc: 2 command-line validation errors Unlike FATAL_XXX (which abort), these return to caller for graceful error handling. Messages stripped in STRIP_ALL, control flow preserved. Size impact: ~500 bytes saved in STRIP_ALL builds Tests: 31/31 passing Co-Authored-By: Claude Sonnet 4.5 --- src/test_demo.cc | 18 +++--- src/util/asset_manager.cc | 31 +++++----- src/util/check_return.h | 155 ++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 181 insertions(+), 23 deletions(-) create mode 100644 src/util/check_return.h (limited to 'src') diff --git a/src/test_demo.cc b/src/test_demo.cc index 87cdd1e..656d0ba 100644 --- a/src/test_demo.cc +++ b/src/test_demo.cc @@ -3,6 +3,7 @@ #include "audio/audio.h" #include "audio/audio_engine.h" +#include "util/check_return.h" #include "audio/synth.h" #include "generated/assets.h" // Note: uses main demo asset bundle #include "gpu/demo_effects.h" @@ -181,19 +182,20 @@ int main(int argc, char** argv) { return 1; } } else if (strcmp(argv[i], "--log-peaks") == 0) { - if (i + 1 < argc) { - log_peaks_file = argv[++i]; - } else { - fprintf(stderr, "Error: --log-peaks requires a filename argument\n\n"); + CHECK_RETURN_BEGIN(i + 1 >= argc, 1) print_usage(argv[0]); + ERROR_MSG("--log-peaks requires a filename argument\n"); return 1; - } + CHECK_RETURN_END + log_peaks_file = argv[++i]; } else if (strcmp(argv[i], "--log-peaks-fine") == 0) { log_peaks_fine = true; } else { - fprintf(stderr, "Error: Unknown option '%s'\n\n", argv[i]); - print_usage(argv[0]); - return 1; + CHECK_RETURN_BEGIN(true, 1) + print_usage(argv[0]); + ERROR_MSG("Unknown option '%s'\n", argv[i]); + return 1; + CHECK_RETURN_END } } #else diff --git a/src/util/asset_manager.cc b/src/util/asset_manager.cc index 650f220..2a41876 100644 --- a/src/util/asset_manager.cc +++ b/src/util/asset_manager.cc @@ -3,6 +3,7 @@ #include "util/asset_manager.h" #include "util/asset_manager_utils.h" +#include "util/check_return.h" #if defined(USE_TEST_ASSETS) #include "test_assets.h" #else @@ -84,13 +85,13 @@ const uint8_t* GetAsset(AssetId asset_id, size_t* out_size) { } } - if (proc_gen_func_ptr == nullptr) { - fprintf(stderr, "Error: Unknown procedural function at runtime: %s\n", - source_record.proc_func_name_str); + CHECK_RETURN_BEGIN(proc_gen_func_ptr == nullptr, nullptr) if (out_size) *out_size = 0; - return nullptr; // Procedural asset without a generation function. - } + ERROR_MSG("Unknown procedural function at runtime: %s", + source_record.proc_func_name_str); + return nullptr; + CHECK_RETURN_END // For this demo, assuming procedural textures are RGBA8 256x256 (for // simplicity and bump mapping). A more generic solution would pass @@ -99,13 +100,12 @@ const uint8_t* GetAsset(AssetId asset_id, size_t* out_size) { size_t header_size = sizeof(uint32_t) * 2; size_t data_size = header_size + (size_t)width * height * 4; // RGBA8 uint8_t* generated_data = new (std::nothrow) uint8_t[data_size]; - if (!generated_data) { - fprintf(stderr, - "Error: Failed to allocate memory for procedural asset.\n"); + CHECK_RETURN_BEGIN(!generated_data, nullptr) if (out_size) *out_size = 0; + ERROR_MSG("Failed to allocate memory for procedural asset"); return nullptr; - } + CHECK_RETURN_END // Write header uint32_t* header = reinterpret_cast(generated_data); @@ -113,16 +113,17 @@ const uint8_t* GetAsset(AssetId asset_id, size_t* out_size) { header[1] = (uint32_t)height; // Generate data after header - if (!proc_gen_func_ptr(generated_data + header_size, width, height, - source_record.proc_params, - source_record.num_proc_params)) { - fprintf(stderr, "Error: Procedural generation failed for asset: %s\n", - source_record.proc_func_name_str); + CHECK_RETURN_BEGIN(!proc_gen_func_ptr(generated_data + header_size, width, + height, source_record.proc_params, + source_record.num_proc_params), + nullptr) delete[] generated_data; if (out_size) *out_size = 0; + ERROR_MSG("Procedural generation failed for asset: %s", + source_record.proc_func_name_str); return nullptr; - } + CHECK_RETURN_END cached_record.data = generated_data; cached_record.size = data_size; diff --git a/src/util/check_return.h b/src/util/check_return.h new file mode 100644 index 0000000..cd2c293 --- /dev/null +++ b/src/util/check_return.h @@ -0,0 +1,155 @@ +// This file is part of the 64k demo project. +// Provides error checking macros for recoverable errors with early return. +// Unlike FATAL_XXX, these allow the caller to handle errors gracefully. + +#pragma once + +#include + +// Build Mode Behavior: +// - Debug/STRIP_ALL: Full error messages with file:line info +// - Messages stripped in STRIP_ALL but control flow preserved +// +// Unlike FATAL_XXX which abort(), these macros return to caller. + +#if !defined(STRIP_ALL) + +// ============================================================================== +// Debug / Development: Full error messages enabled +// ============================================================================== + +// Simple error check with immediate return +// Usage: CHECK_RETURN_IF(ptr == nullptr, nullptr, "Asset not found: %s", name); +// +// If condition is TRUE (error detected): +// - Prints "Error: [file.cc:line]" to stderr +// - Returns the specified value +// +// Example output: +// Error: Asset not found: NOISE_TEX [asset_manager.cc:87] +#define CHECK_RETURN_IF(cond, retval, ...) \ + do { \ + if (cond) { \ + fprintf(stderr, "Error: " __VA_ARGS__); \ + fprintf(stderr, " [%s:%d]\n", __FILE__, __LINE__); \ + return retval; \ + } \ + } while (0) + +// Block-based error check with cleanup +// Usage: +// CHECK_RETURN_BEGIN(ptr == nullptr, nullptr) +// if (out_size) *out_size = 0; +// delete[] buffer; +// ERROR_MSG("Failed to allocate: %d bytes", size); +// CHECK_RETURN_END +// +// Allows cleanup code before return. +#define CHECK_RETURN_BEGIN(cond, retval) \ + if (cond) { + +#define ERROR_MSG(...) \ + do { \ + fprintf(stderr, "Error: " __VA_ARGS__); \ + fprintf(stderr, " [%s:%d]\n", __FILE__, __LINE__); \ + } while (0) + +#define CHECK_RETURN_END \ + } + +// Warning message (non-fatal, execution continues) +// Usage: WARN_IF(count == 0, "No items found"); +// +// Prints warning but does NOT return. +#define WARN_IF(cond, ...) \ + do { \ + if (cond) { \ + fprintf(stderr, "Warning: " __VA_ARGS__); \ + fprintf(stderr, "\n"); \ + } \ + } while (0) + +#else + +// ============================================================================== +// STRIP_ALL: Messages stripped, control flow preserved +// ============================================================================== + +// Simple check - silent return on error +#define CHECK_RETURN_IF(cond, retval, ...) \ + do { \ + if (cond) \ + return retval; \ + } while (0) + +// Block-based check - cleanup code preserved, messages stripped +#define CHECK_RETURN_BEGIN(cond, retval) if (cond) { + +#define ERROR_MSG(...) ((void)0) + +#define CHECK_RETURN_END } + +// Warning - completely stripped +#define WARN_IF(cond, ...) ((void)0) + +#endif /* !defined(STRIP_ALL) */ + +// ============================================================================== +// Usage Guidelines +// ============================================================================== +// +// When to use CHECK_RETURN_IF vs CHECK_RETURN_BEGIN/END: +// +// CHECK_RETURN_IF: +// - Simple error checks with no cleanup needed (90% of cases) +// - Input validation: CHECK_RETURN_IF(argc < 2, 1, "Too few arguments") +// - Null checks: CHECK_RETURN_IF(ptr == nullptr, nullptr, "Not found: %s", name) +// - Range checks: CHECK_RETURN_IF(x < 0 || x > max, -1, "Out of range") +// +// CHECK_RETURN_BEGIN/END: +// - Error checks that need cleanup before return (10% of cases) +// - Free memory: delete[] buffer +// - Set output params: if (out_size) *out_size = 0 +// - Release resources: close(fd), fclose(file) +// +// WARN_IF: +// - Non-critical issues that don't prevent execution +// - Deprecated features, missing optional config +// - Example: WARN_IF(config_missing, "Using default config") +// +// ============================================================================== +// Examples +// ============================================================================== +// +// Simple validation: +// CHECK_RETURN_IF(name == nullptr, false, "Invalid name parameter"); +// +// With cleanup: +// CHECK_RETURN_BEGIN(!buffer, nullptr) +// if (out_size) *out_size = 0; +// ERROR_MSG("Failed to allocate %d bytes", size); +// CHECK_RETURN_END +// +// Warning: +// WARN_IF(file_not_found, "Config file missing, using defaults"); +// +// ============================================================================== +// Comparison with FATAL_XXX +// ============================================================================== +// +// Use FATAL_XXX for: +// - Programming errors (assertion failures, invariant violations) +// - Corrupted state that cannot be recovered +// - Internal consistency checks +// - Example: FATAL_CHECK(idx >= size, "Index out of bounds: %d >= %d", idx, size) +// +// Use CHECK_RETURN for: +// - Recoverable errors (invalid input, missing files) +// - Runtime configuration issues +// - API parameter validation +// - Example: CHECK_RETURN_IF(file == nullptr, false, "File not found: %s", path) +// +// Key difference: +// - FATAL_XXX: abort() - program terminates +// - CHECK_RETURN: return error_value - caller can handle error +// -- cgit v1.2.3