// SPDX-FileCopyrightText: 2025 Rot127 <unisono@quyllur.org>
// SPDX-License-Identifier: LGPL-3.0-only

// Has to be built as Release build or with CAPSTONE_ASSERTION_WARNINGS.

#include <capstone/platform.h>
#include <capstone/capstone.h>

// Test: https://github.com/capstone-engine/capstone/issues/2791
static bool test_cs_reg_null_case()
{
	csh handle;
	if (cs_open(CS_ARCH_AARCH64, (cs_mode)0, &handle) != CS_ERR_OK) {
		printf("Open failed\n");
		return false;
	}
	// Invalid register id 0 should return NULL.
	if (cs_reg_name(handle, 0) != NULL) {
		printf("NULL check failed\n");
		return false;
	}
	cs_close(&handle);
	return true;
}

int main()
{
	bool result = true;
	result &= test_cs_reg_null_case();

	return result ? 0 : -1;
}