diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-25 10:24:58 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-25 10:24:58 -0700 |
| commit | 69e4a21f71aca4954469063387063434af35e679 (patch) | |
| tree | 672e81600681625a22ed11f591b53d851f51c7d6 /docs/chapter-backports.md | |
| parent | 4051ce7cd26314f01dc8c0237899a742e0ab2084 (diff) | |
| download | Simple-69e4a21f71aca4954469063387063434af35e679.tar.gz Simple-69e4a21f71aca4954469063387063434af35e679.zip | |
Backport a few missing guard checks
Diffstat (limited to 'docs/chapter-backports.md')
| -rw-r--r-- | docs/chapter-backports.md | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/docs/chapter-backports.md b/docs/chapter-backports.md index 1c2ffb85..e7293d8c 100644 --- a/docs/chapter-backports.md +++ b/docs/chapter-backports.md @@ -132,30 +132,6 @@ Establish the first affected evaluator and check signed fields and floating rounding before propagating a fix. Do not change valid generated code to match an incorrect ideal evaluator. -### Constructor loop with break/continue: worklist assertion - -This fails in construction and in the unchanged escape compiler before the -final-field fix, even with a mutable field: - -```simple -struct C { - int x=0; - new C={int n -> - for(int i=0;i<n;i++) { - if(i==1) continue; - if(i==3) break; - x+=i+1; - } - }; -}; -return new C(arg).x; -``` - -`IterPeeps.progressOnList` asserts during Iter with seed 123. The expected value -for arg 3 is 4. This is independent of final-field mutability; retain the -reproducer while reviewing constructor coverage. Scratch probe: -`build/readme-review/mutable_break.smp`. - ### SCCP function revival: Chapter 24 `Opto.linkCG` uses `code.link(fidx)`, which clears a linker entry when its |
