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/compiler/check.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/compiler/check.zc')
| -rw-r--r-- | src/compiler/check.zc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/check.zc b/src/compiler/check.zc index f3374b1..945b800 100644 --- a/src/compiler/check.zc +++ b/src/compiler/check.zc @@ -32,7 +32,7 @@ int chk_reset() { defer_drop(0); dfr_base = 0; dfr_on = 0; fdepth = 0; fslots = 0; - fchk = 0; + fchk = 0; fbnd = 0; bnxt = 0; fret = 0; live = 0; bxdepth = 0; @@ -41,7 +41,7 @@ int chk_reset() { xbor = 0 - 1; xaf = 0; argfact = 0; xvk = 0; if (svkind) rt.fill_w(svkind, 0, symcap); mdbg = 0; mdbg_flags = 0; lv = 0; lvk = 0; lvi = 0; kw_expr = 0; xcls = 0; fty = 0; - check_on = 1; tc_on = ifstrict; dry = 0; ntp = 0; tvauto = 0; ngbind = 0; xgive = 0; xconst = 0; + check_on = 1; bound_on = 1; tc_on = ifstrict; dry = 0; ntp = 0; tvauto = 0; ngbind = 0; xgive = 0; xconst = 0; o3on = 0; o3nxt = 0; no3pend = 0; no3sl = 0; no3free = 0; o3nreg = 0; o3na = 0; o3fn0 = 0; nfact = 0; fortest = 0; forstep = 0; argloc = 0; arrloc = 0; njps = 0; extop = 0; nnumops = 0; nenh = 0; panic = 0; nerr = 0; dgprev = 0; nclo = 0; newsz = 0 - 1; nomagic = 0; callpos = 0; |