aboutsummaryrefslogtreecommitdiff
path: root/src/core/core.zc
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 16:25:05 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 16:25:05 +0330
commit8a7092df7b7fc8a5eb4f02ef14588246bd111daf (patch)
tree0d9d28ca93ccbddb1f99cb02b88ed466e0ade481 /src/core/core.zc
parenthistory: 43-stdlib notes point forward to zc0 no longer reserving u, m and d (diff)
parentmerge bounds checking (diff)
Merge branch 'main' into work/xref
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) {