| // Copyright Microsoft and CHERIoT Contributors. |
| // SPDX-License-Identifier: MIT |
| |
| #include "identifier.h" |
| #include <debug.hh> |
| #include <fail-simulator-on-error.h> |
| |
| using Debug = ConditionalDebug<true, "Caller compartment">; |
| |
| /// Thread entry point. |
| void __cheri_compartment("caller") entry() |
| { |
| auto *identifier = identifier_create(42); |
| Debug::log("Allocated identifier to hold the value 42: {}", identifier); |
| Debug::log("Value is {}", identifier_value(identifier)); |
| identifier_destroy(identifier); |
| Debug::log("Dangling pointer: {}", identifier); |
| } |
