Files
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

160 lines
4.2 KiB
C++

// MIT License
//
// Copyright (c) 2026 Advanced Micro Devices, Inc. All rights reserved.
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in all
// copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.
// Regression test for __hipstdpar_realloc, which is what std::realloc resolves
// to when translation units are compiled with --hipstdpar-interpose-alloc.
//
// The interposer used to copy n (the requested new size) bytes out of the old
// block unconditionally. Growing an allocation therefore over-read past the end
// of the old block, and realloc(nullptr, n) fed a NULL pointer straight to
// memcpy. This test exercises the fixed contract:
// * realloc(nullptr, n) behaves like malloc(n),
// * realloc(p, 0) frees p and returns nullptr,
// * growing preserves every byte of the old block (no over-read),
// * shrinking preserves the retained prefix.
//
// Interposed allocations are backed by hipMallocManaged, so the storage is
// host-accessible and the payload can be validated directly on the host.
#include <cstddef>
#include <cstdint>
#include <cstdlib>
namespace
{
// Deterministic, size-dependent fill so a stale/short copy is detectable.
std::uint8_t pattern(std::size_t i)
{
return static_cast<std::uint8_t>((i * 31u + 7u) & 0xffu);
}
void fill(std::uint8_t* p, std::size_t n)
{
for (std::size_t i = 0; i < n; ++i)
{
p[i] = pattern(i);
}
}
bool verify(const std::uint8_t* p, std::size_t n)
{
for (std::size_t i = 0; i < n; ++i)
{
if (p[i] != pattern(i))
{
return false;
}
}
return true;
}
} // namespace
int main()
{
try
{
// realloc(nullptr, n) must behave like malloc(n).
{
auto p = static_cast<std::uint8_t*>(std::realloc(nullptr, 64));
if (!p)
{
return EXIT_FAILURE;
}
fill(p, 64);
if (!verify(p, 64))
{
return EXIT_FAILURE;
}
std::free(p);
}
// realloc(p, 0) must free p and return nullptr.
{
auto p = std::malloc(64);
if (!p)
{
return EXIT_FAILURE;
}
if (std::realloc(p, 0) != nullptr)
{
return EXIT_FAILURE;
}
}
// Growing must preserve the whole old block without over-reading past it.
{
constexpr std::size_t old_size = 32;
constexpr std::size_t new_size = 8192;
auto p = static_cast<std::uint8_t*>(std::malloc(old_size));
if (!p)
{
return EXIT_FAILURE;
}
fill(p, old_size);
auto q = static_cast<std::uint8_t*>(std::realloc(p, new_size));
if (!q)
{
return EXIT_FAILURE;
}
if (!verify(q, old_size))
{
std::free(q);
return EXIT_FAILURE;
}
std::free(q);
}
// Shrinking must preserve the retained prefix.
{
constexpr std::size_t old_size = 8192;
constexpr std::size_t new_size = 32;
auto p = static_cast<std::uint8_t*>(std::malloc(old_size));
if (!p)
{
return EXIT_FAILURE;
}
fill(p, old_size);
auto q = static_cast<std::uint8_t*>(std::realloc(p, new_size));
if (!q)
{
return EXIT_FAILURE;
}
if (!verify(q, new_size))
{
std::free(q);
return EXIT_FAILURE;
}
std::free(q);
}
}
catch (...)
{
return EXIT_FAILURE;
}
return EXIT_SUCCESS;
}