Re: master: Defensively code in type-width-in-bits
Stas Boukarev <[email protected]> Sun, 19 Apr 2026 19:12:33 +0300
| Newsgroups | gmane.lisp.steel-bank.cvs,gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <CAF63=11dpptY-OEqzgc=NtixsFTkDNpt-BZiY-4DJ7gSDZskgw@mail.gmail.com> |
QW5kIHRha2luZyBpbnRlcnZhbC1oaWdoIG1ha2VzIGl0IHVuc2lnbmVkLXR5cGUtd2lkdGgtaW4t Yml0cy4gVGhlcmUncwphbHJlYWR5IFNCLUM6OklOVEVHRVItVFlQRS1MRU5HVEgsIGJ1dCBpdCBk b2Vzbid0IGVtcGxveQp0eXBlLWFwcHJveGltYXRlLWludGVydmFsLgoKT24gU3VuLCBBcHIgMTks IDIwMjYgYXQgNzowN+KAr1BNIFN0YXMgQm91a2FyZXYgPHN0YXNzYXRzQGdtYWlsLmNvbT4gd3Jv dGU6Cj4KPiBJIHRoaW5rIHR5cGUtYXBwcm94aW1hdGUtaW50ZXJ2YWwgc2hvdWxkIGJlIHVzZWQg aW5zdGVhZC4gKFdoaWNoIGNhbgo+IHN0aWxsIHJldHVybiBOSUwsIGFuZCBpbnRlcnZhbC1oaWdo IG1pZ2h0IGFsc28gYmUgTklMKS4KPgo+IE9uIFN1biwgQXByIDE5LCAyMDI2IGF0IDc6MDHigK9Q TSBzbnVnbGFzIHZpYSBTYmNsLWNvbW1pdHMKPiA8c2JjbC1jb21taXRzQGxpc3RzLnNvdXJjZWZv cmdlLm5ldD4gd3JvdGU6Cj4gPgo+ID4gVGhlIGJyYW5jaCAibWFzdGVyIiBoYXMgYmVlbiB1cGRh dGVkIGluIFNCQ0w6Cj4gPiAgICAgICAgdmlhICA1NjY4ODNhYjQ0ZWU0NzRiZmE1YjEyYTAwZThi NmFlYjJkOTQ2ZmRiIChjb21taXQpCj4gPiAgICAgICBmcm9tICBjOTMxN2Q5NTFhODBlYWI4MDFl M2E5M2U0ZWRiMzQ2ZGM1NGZhMzAyIChjb21taXQpCj4gPgo+ID4gLSBMb2cgLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPiA+ IGNvbW1pdCA1NjY4ODNhYjQ0ZWU0NzRiZmE1YjEyYTAwZThiNmFlYjJkOTQ2ZmRiCj4gPiBBdXRo b3I6IERvdWdsYXMgS2F0em1hbiA8ZG91Z2tAZ29vZ2xlLmNvbT4KPiA+IERhdGU6ICAgU3VuIEFw ciAxOSAxMTo1OTo1NiAyMDI2IC0wNDAwCj4gPgo+ID4gICAgIERlZmVuc2l2ZWx5IGNvZGUgaW4g dHlwZS13aWR0aC1pbi1iaXRzCj4gPgo+ID4gICAgIFRoZSByZWNlaXZpbmcgbG9naWMgYWxyZWFk eSBwb3RlbnRpYWxseSBleHBlY3RlZCBOSUwKPiA+IC0tLQo+ID4gIHNyYy9jb21waWxlci9nZW5l cmljL3V0aWxzLmxpc3AgfCAzICsrLQo+ID4gIDEgZmlsZSBjaGFuZ2VkLCAyIGluc2VydGlvbnMo KyksIDEgZGVsZXRpb24oLSkKPiA+Cj4gPiBkaWZmIC0tZ2l0IGEvc3JjL2NvbXBpbGVyL2dlbmVy aWMvdXRpbHMubGlzcCBiL3NyYy9jb21waWxlci9nZW5lcmljL3V0aWxzLmxpc3AKPiA+IGluZGV4 IDg1ZTZmNTUzMy4uY2RmZjU2ZGFiIDEwMDY0NAo+ID4gLS0tIGEvc3JjL2NvbXBpbGVyL2dlbmVy aWMvdXRpbHMubGlzcAo+ID4gKysrIGIvc3JjL2NvbXBpbGVyL2dlbmVyaWMvdXRpbHMubGlzcAo+ ID4gQEAgLTU5Myw3ICs1OTMsOCBAQAo+ID4gICAgOzsgUmV0dXJuIChpbnRlZ2VyLWxlbmd0aCB1 cHBlci1ib3VuZCkgb2YgbnVtZXJpYyB0eXBlLiBUaGlzIGlzIE5PVCBhIHRoZW9yZXRpY2FsCj4g PiAgICA7OyBzbWFsbGVzdCBOIGJpdHMgbmVlZGVkIHRvIGVuY29kZSBhbiBlbGVtZW50IG9mIHR5 cGUgaW4gYSBwYWNrZWQgcmVwcmVzZW50YXRpb24KPiA+ICAgIDs7IChlLmcuIHRoZSBpbnRlcnZh bCA1Li44IF9jb3VsZF8gYmUgc3RvcmVkIGluIDIgYml0cykgYnV0IHdlIGRvbid0IGRvIHRoYXQu Cj4gPiAtICAoaW50ZWdlci1sZW5ndGggKHNiLWM6OmludGVydmFsLWhpZ2ggKHNiLWM6Om51bWVy aWMtdHlwZS0+aW50ZXJ2YWwgY3R5cGUpKSkpCj4gPiArICAoaWYgKHR5cGVwIGN0eXBlICdudW1l cmljLXVuaW9uLXR5cGUpCj4gPiArICAgICAgKGludGVnZXItbGVuZ3RoIChzYi1jOjppbnRlcnZh bC1oaWdoIChzYi1jOjpudW1lcmljLXR5cGUtPmludGVydmFsIGN0eXBlKSkpKSkKPiA+Cj4gPiAg KGRlZnVuIGVudi1zeXN0ZW0tdGxhYi1wIChlbnYpCj4gPiAgICAjLXN5c3RlbS10bGFicyAoZGVj bGFyZSAoaWdub3JlIGVudikpCj4gPgo+ID4gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPiA+Cj4gPgo+ID4gaG9v a3MvcG9zdC1yZWNlaXZlCj4gPiAtLQo+ID4gU0JDTAo+ID4KPiA+Cj4gPiBfX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+ID4gU2JjbC1jb21taXRzIG1haWxp bmcgbGlzdAo+ID4gU2JjbC1jb21taXRzQGxpc3RzLnNvdXJjZWZvcmdlLm5ldAo+ID4gaHR0cHM6 Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc2JjbC1jb21taXRzCgoKX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KU2JjbC1jb21taXRz IG1haWxpbmcgbGlzdApTYmNsLWNvbW1pdHNAbGlzdHMuc291cmNlZm9yZ2UubmV0Cmh0dHBzOi8v bGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NiY2wtY29tbWl0cwo=