diff options
| author | 2026-10-14 15:58:58 +0330 | |
|---|---|---|
| committer | 2026-10-14 15:58:58 +0330 | |
| commit | d55b5fdf92a674a6495878f97a09e95bafdcba3f (patch) | |
| tree | e811149b65640a3e253e6ebdce41affddb53ac37 /src/core | |
| parent | merge line tables (diff) | |
bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/core.zc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core/core.zc b/src/core/core.zc index 61ecd1c..e730946 100644 --- a/src/core/core.zc +++ b/src/core/core.zc @@ -1,6 +1,9 @@ namespace core; include rt; +// the core pokes at headers and raw memory on purpose and runs at full speed: no index bounds checks +unbounded; + // calls the host gate with an operation and three machine-word arguments. // returns the host result; negative values indicate a failed operation. int syscall(int operation, word a, word b, word c) { |
