From c07f5ea7bec2b17b5489ce72fb15bb0ea59a4e43 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Tue, 20 Jul 2021 11:41:32 +0100 Subject: [PATCH] test/func/pagemap: avoid address_t to void* cast Instead, tell the iostream to write out hex. This avoids the CHERI compiler warning that we're turning a provenance-free value to a pointer. Co-authored-by: Matthew Parkinson --- src/test/func/pagemap/pagemap.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/func/pagemap/pagemap.cc b/src/test/func/pagemap/pagemap.cc index c5c82a9..d9be283 100644 --- a/src/test/func/pagemap/pagemap.cc +++ b/src/test/func/pagemap/pagemap.cc @@ -40,7 +40,7 @@ void check_get( if (value.v != expected.v) { - std::cout << "Location: " << (void*)address << " Read: " << value.v + std::cout << "Location: " << std::hex << address << " Read: " << value.v << " Expected: " << expected.v << " on " << file << ":" << lineno << std::endl; failure_count++;