aboutsummaryrefslogtreecommitdiff
path: root/src/core/core.zc
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 15:58:58 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 15:58:58 +0330
commitd55b5fdf92a674a6495878f97a09e95bafdcba3f (patch)
treee811149b65640a3e253e6ebdce41affddb53ac37 /src/core/core.zc
parentmerge 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/core.zc')
-rw-r--r--src/core/core.zc3
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) {