Re: Track down hard lockup with smatch

Miguel Luis <[email protected]> Mon, 23 Jun 2025 16:04:23 +0000
Newsgroups org.kernel.vger.smatch
Message-ID <[email protected]>
DQoNCj4gT24gMjMgSnVuIDIwMjUsIGF0IDExOjM1LCBNaWd1ZWwgTHVpcyA8bWlndWVsLmx1aXNA
b3JhY2xlLmNvbT4gd3JvdGU6DQo+IA0KPiBIaSBEYW4sDQo+IA0KPj4gT24gMjMgSnVuIDIwMjUs
IGF0IDExOjEzLCBEYW4gQ2FycGVudGVyIDxkYW4uY2FycGVudGVyQGxpbmFyby5vcmc+IHdyb3Rl
Og0KPj4gDQo+PiBPbiBNb24sIEp1biAyMywgMjAyNSBhdCAxMDozNjo0NkFNICswMDAwLCBNaWd1
ZWwgTHVpcyB3cm90ZToNCj4+PiBLZWVwaW5nIGl0IGxvZ2dlZC4uLg0KPj4+IA0KPj4+PiBPbiAx
OCBKdW4gMjAyNSwgYXQgMTQ6MzMsIE1pZ3VlbCBMdWlzIDxtaWd1ZWwubHVpc0BvcmFjbGUuY29t
PiB3cm90ZToNCj4+Pj4gDQo+Pj4+IEhpIQ0KPj4+PiANCj4+Pj4gSSdtIHRyeWluZyB0byB0cmFj
ayBkb3duIGEgaGFyZCBsb2NrdXAgd2l0aCBzbWF0Y2ggd2hpY2ggcHJvZHVjZXMgdGhlIGZvbGxv
d2luZw0KPj4+PiBzdGFja3RyYWNlOg0KPj4+PiANCj4+Pj4gWyAgIDQzLjAyODc1OF0gS2VybmVs
IHBhbmljIC0gbm90IHN5bmNpbmc6IEhhcmQgTE9DS1VQDQo+Pj4+IFsgICA0My4wMjk3MDFdIENQ
VTogOTIgVUlEOiAwIFBJRDogMCBDb21tOiBzd2FwcGVyLzkyIE5vdCB0YWludGVkIDYuMTUuMC1y
YzQrICMxMSBWT0xVTlRBUlkNCj4+Pj4gWyAgIDQzLjAzMTI2NF0gSGFyZHdhcmUgbmFtZTogbGlu
dXgsZHVtbXktdmlydCAoRFQpDQo+Pj4+IFsgICA0My4wMzIxNTZdIENhbGwgdHJhY2U6DQo+Pj4+
IFsgICA0My4wMzI2NDFdICBzaG93X3N0YWNrKzB4MjAvMHg0OCAoQykNCj4+Pj4gWyAgIDQzLjAz
MzM1OF0gIGR1bXBfc3RhY2tfbHZsKzB4MzgvMHhmOA0KPj4+PiBbICAgNDMuMDM0MDgyXSAgZHVt
cF9zdGFjaysweDE4LzB4MzANCj4+Pj4gWyAgIDQzLjAzNDc0MF0gIHBhbmljKzB4M2E4LzB4NDA4
DQo+Pj4+IFsgICA0My4wMzUzNDldICBubWlfcGFuaWMrMHg0OC8weGMwDQo+Pj4+IFsgICA0My4w
MzU5ODddICB3YXRjaGRvZ19oYXJkbG9ja3VwX2NoZWNrKzB4MmRjLzB4MzYwDQo+Pj4+IFsgICA0
My4wMzY5MjRdICB3YXRjaGRvZ19idWRkeV9jaGVja19oYXJkbG9ja3VwKzB4NzgvMHhhOA0KPj4+
PiBbICAgNDMuMDM3OTI0XSAgd2F0Y2hkb2dfdGltZXJfZm4rMHhhMC8weDNiOA0KPj4+PiBbICAg
NDMuMDM4NzEyXSAgX19ydW5faHJ0aW1lcisweDIyNC8weDNiMA0KPj4+PiBbICAgNDMuMDM5NDU1
XSAgX19ocnRpbWVyX3J1bl9xdWV1ZXMrMHhiNC8weDE0OA0KPj4+PiBbICAgNDMuMDQwMjkyXSAg
aHJ0aW1lcl9pbnRlcnJ1cHQrMHgxMzgvMHgzMjANCj4+Pj4gWyAgIDQzLjA0MDkzMl0gIGFyY2hf
dGltZXJfaGFuZGxlcl9waHlzKzB4NGMvMHg3OA0KPj4+PiBbICAgNDMuMDQxNjk1XSAgaGFuZGxl
X3BlcmNwdV9kZXZpZF9pcnErMHhiMC8weDJhMA0KPj4+PiBbICAgNDMuMDQyNTg0XSAgaGFuZGxl
X2lycV9kZXNjKzB4NTQvMHg5MA0KPj4+PiBbICAgNDMuMDQzMzI4XSAgZ2VuZXJpY19oYW5kbGVf
ZG9tYWluX2lycSsweDI0LzB4NDgNCj4+Pj4gWyAgIDQzLjA0NDE5N10gIGdpY19oYW5kbGVfaXJx
KzB4NzQvMHgxMDANCj4+Pj4gWyAgIDQzLjA0NDkwN10gIGNhbGxfb25faXJxX3N0YWNrKzB4MjQv
MHgzMA0KPj4+PiBbICAgNDMuMDQ1NjUzXSAgZG9faW50ZXJydXB0X2hhbmRsZXIrMHhhOC8weGI4
DQo+Pj4+IFsgICA0My4wNDY0NDRdICBlbDFfaW50ZXJydXB0KzB4MzQvMHg2MA0KPj4+PiBbICAg
NDMuMDQ3MTI2XSAgZWwxaF82NF9pcnFfaGFuZGxlcisweDE4LzB4MzgNCj4+Pj4gWyAgIDQzLjA0
NzgyMV0gIGVsMWhfNjRfaXJxKzB4NzAvMHg3OA0KPj4+PiBbICAgNDMuMDQ4NDEwXSAgZGVmYXVs
dF9pZGxlX2NhbGwrMHhhYy8weDI3MCAoUCkNCj4+Pj4gWyAgIDQzLjA0OTEyNl0gIGNwdWlkbGVf
aWRsZV9jYWxsKzB4MTg0LzB4MWUwDQo+Pj4+IFsgICA0My4wNDk3MjldICBkb19pZGxlKzB4Yjgv
MHgxMDgNCj4+Pj4gWyAgIDQzLjA1MDE5NV0gIGNwdV9zdGFydHVwX2VudHJ5KzB4NDAvMHg1MA0K
Pj4+PiBbICAgNDMuMDUwODcwXSAgc2Vjb25kYXJ5X3N0YXJ0X2tlcm5lbCsweGUwLzB4MTA4DQo+
Pj4+IFsgICA0My4wNTE3MTNdICBfX3NlY29uZGFyeV9zd2l0Y2hlZCsweGMwLzB4YzgNCj4+Pj4g
WyAgIDQzLjA1MjQ4MF0gU01QOiBzdG9wcGluZyBzZWNvbmRhcnkgQ1BVcw0KPj4+PiBbICAgNDMu
MDUzMjUzXSBLZXJuZWwgT2Zmc2V0OiBkaXNhYmxlZA0KPj4+PiBbICAgNDMuMDUzNzc1XSBDUFUg
ZmVhdHVyZXM6IDB4MDAwMCwwODAwMDFjMCwwMjEzOGNhMSw1NTRmZmVhNw0KPj4+PiBbICAgNDMu
MDU0NjI4XSBNZW1vcnkgTGltaXQ6IG5vbmUNCj4+Pj4gWyAgIDQzLjA1NTIzNF0gLS0tWyBlbmQg
S2VybmVsIHBhbmljIC0gbm90IHN5bmNpbmc6IEhhcmQgTE9DS1VQIF0tLS0NCj4+Pj4gDQo+Pj4+
IEkgd2FzIGFibGUgdG8gc3VjY2Vzc2Z1bGx5ICggSSBiZWxpZXZlICkgYnVpbGQgYWxsIHRoZSBy
ZXF1aXJlbWVudHMgd2l0aDoNCj4+Pj4gDQo+Pj4+IFNldHRpbmcgQ09ORklHX0RZTkFNSUNfREVC
VUc9biBwZXIgWzFdDQo+Pj4+IA0KPj4+PiBBbmQgb25seSBidWlsZCB0aGUga2VybmVsIEltYWdl
IHRvIHJlZHVjZSB0aGUgYnVpbGQgdGltZSB3aXRoOg0KPj4+PiANCj4+Pj4gbWFrZSBjbGVhbiAm
JiBtYWtlIENIRUNLPSIuLi9zbWF0Y2gvc21hdGNoIC1wPWtlcm5lbCAtLWluZm8gLS1maWxlLW91
dHB1dCIgQz0xIC1qICQobnByb2MpIEltYWdlIHx8IG1ha2UgLWogJChucHJvYykgSW1hZ2UNCj4+
Pj4gZXhwb3J0IFdMT0c9Indhcm5zLnR4dCINCj4+Pj4gZmluZCAtbmFtZSAqLmMuc21hdGNoIC1l
eGVjIGNhdCB7fSBcOyAtZXhlYyBybSB7fSBcOyA+ICRXTE9HDQo+Pj4+IGZpbmQgLW5hbWUgKi5j
LnNtYXRjaC5zcWwgLWV4ZWMgY2F0IHt9IFw7IC1leGVjIHJtIHt9IFw7ID4gJFdMT0cuc3FsDQo+
Pj4+IGZpbmQgLW5hbWUgKi5jLnNtYXRjaC5jYWxsZXJfaW5mbyAtZXhlYyBjYXQge30gXDsgLWV4
ZWMgcm0ge30gXDsgPiAkV0xPRy5jYWxsZXJfaW5mbw0KPj4+PiANCj4+PiANCj4+PiANCj4+PiBz
Lz4vPj4NCj4+PiANCj4+PiBUbyBhcHBlbmQgdG8gZmlsZSBpbnN0ZWFkLg0KPj4+IA0KPj4gDQo+
PiBUaG9zZSBmaWxlcyBhcmUgb25seSB1c2VkIG9uY2UuLi4gIEtlZXBpbmcgdGhlIG9sZCBkYXRh
IHNlZW1zIGxpa2UgaXQNCj4+IG1pZ2h0IGNhdXNlIGEgcHJvYmxlbS4NCg0KTm93IEkgZ2V0IGl0
LCB3aGV0aGVyIG9uZSByZW1vdmVzICRXTE9HKiBvciBrZWVwIHRoZW0gYW5kIHVzZSDigJg+4oCZ
IHdpbGwgZ2V0IHRoZSBzYW1lIHJlc3VsdC4NCg0KPiANCj4gSSBhZ3JlZSBhbmQgYmFzZWQgb24g
dGhhdCB0aGlzIGlzIHRoZSBzY3JpcHQgSeKAmW0gdXNpbmc6DQoNCi4uIGhvd2V2ZXIsIEkgc3Rp
bGwgZ2V0IHRoZSBzYW1lIG51bWJlciBvZiAkKChgY2F0IHNtYXRjaF93YXJucy50eHQgfCB3YyAt
bGAgLSBgY2F0IHNtYXRjaF93YXJucy50eHQgfCB1bmlxIHwgd2MgLWxgKSkgZHVwbGljYXRlcy4N
Cg0KPiANCj4gYGBgDQo+ICMgZW52DQo+IGV4cG9ydCBXTE9HPSJzbWF0Y2hfd2FybnMudHh0Ig0K
PiANCj4gIyBjbGVhciBldmVyeXRoaW5nDQo+IHJtIC1yZiAkV0xPRyogc21hdGNoX2RiLnNxbGl0
ZQ0KPiANCj4gIyBidWlsZA0KPiBtYWtlIGNsZWFuICYmIHRpbWUgbWFrZSBDSEVDSz0iLi4vc21h
dGNoL3NtYXRjaCAtcD1rZXJuZWwgLS1pbmZvIC0tZmlsZS1vdXRwdXQiIEM9MSAtaiAkKG5wcm9j
KSBJbWFnZSB8fCB0aW1lIG1ha2UgLWogJChucHJvYykgSW1hZ2UNCj4gDQo+ICMgc3F1YXNoDQo+
IGZpbmQgLW5hbWUgKi5jLnNtYXRjaCAtZXhlYyBjYXQge30gXDsgLWV4ZWMgcm0ge30gXDsgPj4g
JFdMT0cNCj4gZmluZCAtbmFtZSAqLmMuc21hdGNoLnNxbCAtZXhlYyBjYXQge30gXDsgLWV4ZWMg
cm0ge30gXDsgPj4gJFdMT0cuc3FsDQo+IGZpbmQgLW5hbWUgKi5jLnNtYXRjaC5jYWxsZXJfaW5m
byAtZXhlYyBjYXQge30gXDsgLWV4ZWMgcm0ge30gXDsgPj4gJFdMT0cuY2FsbGVyX2luZm8NCj4g
DQo+ICNjcmVhdGUgREINCj4gLi4vc21hdGNoL3NtYXRjaF9kYXRhL2RiL2NyZWF0ZV9kYi5zaCAg
LXA9a2VybmVsICRXTE9HLnNxbA0KPiBgYGANCj4gDQo+PiBPbmUgdGhpbmcgeW91IGNhbiBkbyBp
czoNCj4+IA0KPj4ga2NoZWNrZXIgLS1pbmZvIGRyaXZlcnMvZmlsZS5jIHwgdGVlIG91dA0KPj4g
fi9zbWF0Y2gvc21hdGNoX2RhdGEvZGIvcmVsb2FkX3BhcnRpYWwuc2ggb3V0DQo+PiANCj4+IEl0
IHdpbGwgcmVsb2FkIGp1c3QgdGhlIG9uZSBmaWxlLg0KPiANCj4gVGhhbmtzIGZvciB0aGUgdGlw
IQ0KPiANCj4+IEl0IGRvZXNuJ3QgdXBkYXRlIGV2ZXJ5dGhpbmcsDQo+PiBidXQgaXQgdXBkYXRl
cyB0aGUgY2FsbGVyX2luZm8gYW5kIHJldHVybl9zdGF0ZXMgd2hpY2ggaXMgd2hhdCB3ZQ0KPj4g
bW9zdGx5IGNhcmUgYWJvdXQuDQo+PiANCj4gDQo+IEFuZCB0aGFua3MgZm9yIHRoZSBoaW50LiA6
KQ0KPiBJ4oCZbSBjcmVhdGluZyBTUUwgdmlld3Mgd2hpY2ggSSBiZWxpZXZlIHNob3VsZCBzaW1w
bGlmeSDigJhzbWRiLnB5JyBhIGJpdC4gT3IgYXQgbGVhc3QgZm9yIG1lIG9yIHRvIHVzZSBjYXNl
cyB3aGVyZSB3b3VsZCBsaWtlIHRvICB3b3JrIG9uIHRvcCBvZiB0aGUgZGIuDQo+IA0KPj4gcmVn
YXJkcywNCj4+IGRhbiBjYXJwZW50ZXINCj4gDQo+IFJlZ2FyZHMNCj4gTWlndWVsDQoNCg0K