diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:09:07 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:09:07 +0330 |
| commit | e228e7609929763d5acddb728ba543832fcffc6a (patch) | |
| tree | 9b4ecc4d46bf38e8d20234d631a6d41543daa211 /src/runtime/run.zc | |
| parent | merge: memdebug obj_base via size classes (diff) | |
| parent | bounds checking: constant loop bound proof works, plain-op fixed-array check,... (diff) | |
merge bounds checking
Diffstat (limited to 'src/runtime/run.zc')
| -rw-r--r-- | src/runtime/run.zc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/run.zc b/src/runtime/run.zc index 19a5234..69fc30c 100644 --- a/src/runtime/run.zc +++ b/src/runtime/run.zc @@ -1,6 +1,9 @@ namespace run; include rt; +// the run-only runtime pokes at headers and raw memory on purpose and runs at full speed: no index bounds checks +unbounded; + // run-only image: the runtime, a collector root set, and start. there is no // resident compiler and none of its tables. put this between rt.zc and a // program that defines main. zc0 accepts the bootstrap subset; build.zc uses |