Re: Track down hard lockup with smatch

SGkgRGFuLA0KDQo+IE9uIDIzIEp1biAyMDI1LCBhdCAxMToxMywgRGFuIENhcnBlbnRlciA8ZGFu
LmNhcnBlbnRlckBsaW5hcm8ub3JnPiB3cm90ZToNCj4gDQo+IE9uIE1vbiwgSnVuIDIzLCAyMDI1
IGF0IDEwOjM2OjQ2QU0gKzAwMDAsIE1pZ3VlbCBMdWlzIHdyb3RlOg0KPj4gS2VlcGluZyBpdCBs
b2dnZWQuLi4NCj4+IA0KPj4+IE9uIDE4IEp1biAyMDI1LCBhdCAxNDozMywgTWlndWVsIEx1aXMg
PG1pZ3VlbC5sdWlzQG9yYWNsZS5jb20+IHdyb3RlOg0KPj4+IA0KPj4+IEhpIQ0KPj4+IA0KPj4+
IEknbSB0cnlpbmcgdG8gdHJhY2sgZG93biBhIGhhcmQgbG9ja3VwIHdpdGggc21hdGNoIHdoaWNo
IHByb2R1Y2VzIHRoZSBmb2xsb3dpbmcNCj4+PiBzdGFja3RyYWNlOg0KPj4+IA0KPj4+IFsgICA0
My4wMjg3NThdIEtlcm5lbCBwYW5pYyAtIG5vdCBzeW5jaW5nOiBIYXJkIExPQ0tVUA0KPj4+IFsg
ICA0My4wMjk3MDFdIENQVTogOTIgVUlEOiAwIFBJRDogMCBDb21tOiBzd2FwcGVyLzkyIE5vdCB0
YWludGVkIDYuMTUuMC1yYzQrICMxMSBWT0xVTlRBUlkNCj4+PiBbICAgNDMuMDMxMjY0XSBIYXJk
d2FyZSBuYW1lOiBsaW51eCxkdW1teS12aXJ0IChEVCkNCj4+PiBbICAgNDMuMDMyMTU2XSBDYWxs
IHRyYWNlOg0KPj4+IFsgICA0My4wMzI2NDFdICBzaG93X3N0YWNrKzB4MjAvMHg0OCAoQykNCj4+
PiBbICAgNDMuMDMzMzU4XSAgZHVtcF9zdGFja19sdmwrMHgzOC8weGY4DQo+Pj4gWyAgIDQzLjAz
NDA4Ml0gIGR1bXBfc3RhY2srMHgxOC8weDMwDQo+Pj4gWyAgIDQzLjAzNDc0MF0gIHBhbmljKzB4
M2E4LzB4NDA4DQo+Pj4gWyAgIDQzLjAzNTM0OV0gIG5taV9wYW5pYysweDQ4LzB4YzANCj4+PiBb
ICAgNDMuMDM1OTg3XSAgd2F0Y2hkb2dfaGFyZGxvY2t1cF9jaGVjaysweDJkYy8weDM2MA0KPj4+
IFsgICA0My4wMzY5MjRdICB3YXRjaGRvZ19idWRkeV9jaGVja19oYXJkbG9ja3VwKzB4NzgvMHhh
OA0KPj4+IFsgICA0My4wMzc5MjRdICB3YXRjaGRvZ190aW1lcl9mbisweGEwLzB4M2I4DQo+Pj4g
WyAgIDQzLjAzODcxMl0gIF9fcnVuX2hydGltZXIrMHgyMjQvMHgzYjANCj4+PiBbICAgNDMuMDM5
NDU1XSAgX19ocnRpbWVyX3J1bl9xdWV1ZXMrMHhiNC8weDE0OA0KPj4+IFsgICA0My4wNDAyOTJd
ICBocnRpbWVyX2ludGVycnVwdCsweDEzOC8weDMyMA0KPj4+IFsgICA0My4wNDA5MzJdICBhcmNo
X3RpbWVyX2hhbmRsZXJfcGh5cysweDRjLzB4NzgNCj4+PiBbICAgNDMuMDQxNjk1XSAgaGFuZGxl
X3BlcmNwdV9kZXZpZF9pcnErMHhiMC8weDJhMA0KPj4+IFsgICA0My4wNDI1ODRdICBoYW5kbGVf
aXJxX2Rlc2MrMHg1NC8weDkwDQo+Pj4gWyAgIDQzLjA0MzMyOF0gIGdlbmVyaWNfaGFuZGxlX2Rv
bWFpbl9pcnErMHgyNC8weDQ4DQo+Pj4gWyAgIDQzLjA0NDE5N10gIGdpY19oYW5kbGVfaXJxKzB4
NzQvMHgxMDANCj4+PiBbICAgNDMuMDQ0OTA3XSAgY2FsbF9vbl9pcnFfc3RhY2srMHgyNC8weDMw
DQo+Pj4gWyAgIDQzLjA0NTY1M10gIGRvX2ludGVycnVwdF9oYW5kbGVyKzB4YTgvMHhiOA0KPj4+
IFsgICA0My4wNDY0NDRdICBlbDFfaW50ZXJydXB0KzB4MzQvMHg2MA0KPj4+IFsgICA0My4wNDcx
MjZdICBlbDFoXzY0X2lycV9oYW5kbGVyKzB4MTgvMHgzOA0KPj4+IFsgICA0My4wNDc4MjFdICBl
bDFoXzY0X2lycSsweDcwLzB4NzgNCj4+PiBbICAgNDMuMDQ4NDEwXSAgZGVmYXVsdF9pZGxlX2Nh
bGwrMHhhYy8weDI3MCAoUCkNCj4+PiBbICAgNDMuMDQ5MTI2XSAgY3B1aWRsZV9pZGxlX2NhbGwr
MHgxODQvMHgxZTANCj4+PiBbICAgNDMuMDQ5NzI5XSAgZG9faWRsZSsweGI4LzB4MTA4DQo+Pj4g
WyAgIDQzLjA1MDE5NV0gIGNwdV9zdGFydHVwX2VudHJ5KzB4NDAvMHg1MA0KPj4+IFsgICA0My4w
NTA4NzBdICBzZWNvbmRhcnlfc3RhcnRfa2VybmVsKzB4ZTAvMHgxMDgNCj4+PiBbICAgNDMuMDUx
NzEzXSAgX19zZWNvbmRhcnlfc3dpdGNoZWQrMHhjMC8weGM4DQo+Pj4gWyAgIDQzLjA1MjQ4MF0g
U01QOiBzdG9wcGluZyBzZWNvbmRhcnkgQ1BVcw0KPj4+IFsgICA0My4wNTMyNTNdIEtlcm5lbCBP
ZmZzZXQ6IGRpc2FibGVkDQo+Pj4gWyAgIDQzLjA1Mzc3NV0gQ1BVIGZlYXR1cmVzOiAweDAwMDAs
MDgwMDAxYzAsMDIxMzhjYTEsNTU0ZmZlYTcNCj4+PiBbICAgNDMuMDU0NjI4XSBNZW1vcnkgTGlt
aXQ6IG5vbmUNCj4+PiBbICAgNDMuMDU1MjM0XSAtLS1bIGVuZCBLZXJuZWwgcGFuaWMgLSBub3Qg
c3luY2luZzogSGFyZCBMT0NLVVAgXS0tLQ0KPj4+IA0KPj4+IEkgd2FzIGFibGUgdG8gc3VjY2Vz
c2Z1bGx5ICggSSBiZWxpZXZlICkgYnVpbGQgYWxsIHRoZSByZXF1aXJlbWVudHMgd2l0aDoNCj4+
PiANCj4+PiBTZXR0aW5nIENPTkZJR19EWU5BTUlDX0RFQlVHPW4gcGVyIFsxXQ0KPj4+IA0KPj4+
IEFuZCBvbmx5IGJ1aWxkIHRoZSBrZXJuZWwgSW1hZ2UgdG8gcmVkdWNlIHRoZSBidWlsZCB0aW1l
IHdpdGg6DQo+Pj4gDQo+Pj4gbWFrZSBjbGVhbiAmJiBtYWtlIENIRUNLPSIuLi9zbWF0Y2gvc21h
dGNoIC1wPWtlcm5lbCAtLWluZm8gLS1maWxlLW91dHB1dCIgQz0xIC1qICQobnByb2MpIEltYWdl
IHx8IG1ha2UgLWogJChucHJvYykgSW1hZ2UNCj4+PiBleHBvcnQgV0xPRz0id2FybnMudHh0Ig0K
Pj4+IGZpbmQgLW5hbWUgKi5jLnNtYXRjaCAtZXhlYyBjYXQge30gXDsgLWV4ZWMgcm0ge30gXDsg
PiAkV0xPRw0KPj4+IGZpbmQgLW5hbWUgKi5jLnNtYXRjaC5zcWwgLWV4ZWMgY2F0IHt9IFw7IC1l
eGVjIHJtIHt9IFw7ID4gJFdMT0cuc3FsDQo+Pj4gZmluZCAtbmFtZSAqLmMuc21hdGNoLmNhbGxl
cl9pbmZvIC1leGVjIGNhdCB7fSBcOyAtZXhlYyBybSB7fSBcOyA+ICRXTE9HLmNhbGxlcl9pbmZv
DQo+Pj4gDQo+PiANCj4+IA0KPj4gcy8+Lz4+DQo+PiANCj4+IFRvIGFwcGVuZCB0byBmaWxlIGlu
c3RlYWQuDQo+PiANCj4gDQo+IFRob3NlIGZpbGVzIGFyZSBvbmx5IHVzZWQgb25jZS4uLiAgS2Vl
cGluZyB0aGUgb2xkIGRhdGEgc2VlbXMgbGlrZSBpdA0KPiBtaWdodCBjYXVzZSBhIHByb2JsZW0u
DQoNCkkgYWdyZWUgYW5kIGJhc2VkIG9uIHRoYXQgdGhpcyBpcyB0aGUgc2NyaXB0IEnigJltIHVz
aW5nOg0KDQpgYGANCiMgZW52DQpleHBvcnQgV0xPRz0ic21hdGNoX3dhcm5zLnR4dCINCg0KIyBj
bGVhciBldmVyeXRoaW5nDQpybSAtcmYgJFdMT0cqIHNtYXRjaF9kYi5zcWxpdGUNCg0KIyBidWls
ZA0KbWFrZSBjbGVhbiAmJiB0aW1lIG1ha2UgQ0hFQ0s9Ii4uL3NtYXRjaC9zbWF0Y2ggLXA9a2Vy
bmVsIC0taW5mbyAtLWZpbGUtb3V0cHV0IiBDPTEgLWogJChucHJvYykgSW1hZ2UgfHwgdGltZSBt
YWtlIC1qICQobnByb2MpIEltYWdlDQoNCiMgc3F1YXNoDQpmaW5kIC1uYW1lICouYy5zbWF0Y2gg
LWV4ZWMgY2F0IHt9IFw7IC1leGVjIHJtIHt9IFw7ID4+ICRXTE9HDQpmaW5kIC1uYW1lICouYy5z
bWF0Y2guc3FsIC1leGVjIGNhdCB7fSBcOyAtZXhlYyBybSB7fSBcOyA+PiAkV0xPRy5zcWwNCmZp
bmQgLW5hbWUgKi5jLnNtYXRjaC5jYWxsZXJfaW5mbyAtZXhlYyBjYXQge30gXDsgLWV4ZWMgcm0g
e30gXDsgPj4gJFdMT0cuY2FsbGVyX2luZm8NCg0KI2NyZWF0ZSBEQg0KLi4vc21hdGNoL3NtYXRj
aF9kYXRhL2RiL2NyZWF0ZV9kYi5zaCAgLXA9a2VybmVsICRXTE9HLnNxbA0KYGBgDQoNCj4gIE9u
ZSB0aGluZyB5b3UgY2FuIGRvIGlzOg0KPiANCj4ga2NoZWNrZXIgLS1pbmZvIGRyaXZlcnMvZmls
ZS5jIHwgdGVlIG91dA0KPiB+L3NtYXRjaC9zbWF0Y2hfZGF0YS9kYi9yZWxvYWRfcGFydGlhbC5z
aCBvdXQNCj4gDQo+IEl0IHdpbGwgcmVsb2FkIGp1c3QgdGhlIG9uZSBmaWxlLg0KDQpUaGFua3Mg
Zm9yIHRoZSB0aXAhDQoNCj4gIEl0IGRvZXNuJ3QgdXBkYXRlIGV2ZXJ5dGhpbmcsDQo+IGJ1dCBp
dCB1cGRhdGVzIHRoZSBjYWxsZXJfaW5mbyBhbmQgcmV0dXJuX3N0YXRlcyB3aGljaCBpcyB3aGF0
IHdlDQo+IG1vc3RseSBjYXJlIGFib3V0Lg0KPiANCg0KQW5kIHRoYW5rcyBmb3IgdGhlIGhpbnQu
IDopDQpJ4oCZbSBjcmVhdGluZyBTUUwgdmlld3Mgd2hpY2ggSSBiZWxpZXZlIHNob3VsZCBzaW1w
bGlmeSDigJhzbWRiLnB5JyBhIGJpdC4gT3IgYXQgbGVhc3QgZm9yIG1lIG9yIHRvIHVzZSBjYXNl
cyB3aGVyZSB3b3VsZCBsaWtlIHRvICB3b3JrIG9uIHRvcCBvZiB0aGUgZGIuDQoNCj4gcmVnYXJk
cywNCj4gZGFuIGNhcnBlbnRlcg0KDQpSZWdhcmRzDQpNaWd1ZWw=