tree 2a2c5b1643f446ceec24e45c776554dbbaa14cd3
parent 1e65f2c4368a0f43e0a54efd9ddf6fe0b8484161
author David Chisnall <github@theravensnest.org> 1713448787 +0100
committer David Chisnall <davidchisnall@users.noreply.github.com> 1713801980 +0100

Add APIs for checking stack usage.

This makes it possible to dynamically check the maximum stack usage for
a compartment entry point in testing.  This is intended to be used in
conjunction with CHERIoT-Platform/llvm-project#22, which makes it
possible to specify the minimum stack size (enforced by the switcher).

Also expose the attribute via a macro and use it in the allocator.  The
allocator parts demonstrate a recommended way of using the dynamic
checks: each allocator function has its stack usage recorded and, in
release builds for the test suite, we make the compartment crash if it
used more stack than it expected.  Adding more tests will make this more
robust.