Re: [RFC PATCH 0/1] compiler_types.h: introduce ASSUME_NONNULL macro for static analysis

Greg KH <[email protected]> Fri, 25 Jul 2025 15:56:11 +0200
Newsgroups	org.kernelnewbies.kernelnewbies
Message-ID	<2025072517-prenatal-vendetta-a9aa@gregkh>
T24gRnJpLCBKdWwgMjUsIDIwMjUgYXQgMDE6NDI6MTRQTSArMDEwMCwgUmFrYSBHdW5hcnRvIHdy
b3RlOgo+IE9uIEZyaSwgSnVsIDI1LCAyMDI1IGF0IDE6MTnigK9QTSBNdWx5YWRpIFNhbnRvc2EK
PiA8bXVseWFkaS5zYW50b3NhQGdtYWlsLmNvbT4gd3JvdGU6Cj4gPiBJbnRlcmVzdGluZyBpZGVh
LiBPdGhlciB0aGFuIHNpbGVuY2luZyBjbGFuZyBhbmFseXplciB3YXJuaW5nLCB3aGF0IGlzIGV4
YWN0bHkgdGhlIGFkdmFudGFnZSBvZiB1c2luZyBzdWNoIG1hY3JvPwo+IAo+IFdlbGwgdGhlcmUg
YXJlIHRocmVlIG1haW4gYWR2YW50YWdlcyB0aGF0IEkgc2F3Ogo+IC0gQ2xhcml0eSB0byByZWFk
ZXJzIHRoYXQgdGhlIHBvaW50ZXIgaXMgZ3VhcmFudGVlZCB0byBiZSBub24tbnVsbCwKPiBhbmQg
dGhhdCBhIGNoZWNrIGlzIHJlZHVuZGFudCAoYmVjYXVzZSBwZXJmb3JtYW5jZSBjcml0aWNhbCBj
b250ZXh0LAo+IGV0Yy4pCgpXZSBhbHJlYWR5IGFzc3VtZSB0aGlzIGluIGxvYWRzIG9mIHBsYWNl
cyB0b2RheSwgdGhlcmUncyBubyBuZWVkIHRvCmV4cGxpY2l0bHkgbWFyayBpdCBhcyBzdWNoIGV2
ZXJ5d2hlcmUsIGFzIHRoYXQgd291bGQgbGl0dGVyIGFsbW9zdCBldmVyeQpzaW5nbGUgZnVuY3Rp
b24gaW4gdGhlIGtlcm5lbCA6KAoKPiAtIEZ1dHVyZSBwYXRjaGVzIHRoYXQgZGVjaWRlIHRvIHVz
ZSB0aGlzIG1hY3JvIGNhbiBiZSBhIHNpZ25hbCB0bwo+IHJldmlld2VycyB0byBhY3R1YWxseSBj
aGVjayBjb3JyZWN0bmVzcyB0aGF0IGEgcG9pbnRlciBpcyBpbmRlZWQKPiBpbnZhcmlhYmx5IG5v
bi1udWxsCgpUaGF0J3MgdXAgdG8gdGhlIGNhbGxlciwgbm90IGEgcmV2aWV3ZXIsIHRvIGtlZXAg
c3RyYWlnaHQuCgo+IC0gTWFrZSBzdGF0aWMgYW5hbHlzaXMgbW9yZSB1c2VmdWwgYnkgZG9jdW1l
bnRpbmcgd2hlbiBhIGNlcnRhaW4gZmFsc2UKPiBwb3NpdGl2ZSBpcyBhY3R1YWxseSBmYWxzZQoK
Rml4IHRoZSB0b29sLCBub3QgdGhlIGtlcm5lbCBjb2RlLCB3aGVuIHRoZSB0b29sIGlzIGJyb2tl
bi4gIEl0J3Mgbm90CkxpbnV4J3Mgam9iIHRvIHBhc3RlIG92ZXIgYnJva2VuIGV4dGVybmFsIHRo
aW5ncy4KCj4gSSBhbHNvIHdvbmRlcmVkIGlmIGl0IGNvdWxkIHJlZHVjZSB0aGUgcG9zc2liaWxp
dHkgYW5kIHZvbHVtZSBvZiBBSQo+IGdlbmVyYXRlZCBwYXRjaGVzIGZyb20ganVzdCBydW5uaW5n
IGFuYWx5emVycyBvbiB0aGUga2VybmVsIHRvIHJlZHVjZQo+IG5vaXNlLgoKSGF2ZSB5b3Ugc2Vl
biBhbnkgc3VjaCByZXBvcnRzIHlldD8gIFRoZSBvbmVzIEkndmUgc2VlbiBhcmUgbm90IGR1ZSB0
bwp0aGlzIHR5cGUgb2YgdGhpbmcgYXQgYWxsLCB0aGV5IGFyZSBtdWNoIG1vcmUgInJlYWwgbG9v
a2luZyIgeWV0IGZhbGwKYXBhcnQgd2hlbiBhIHBlcnNvbiBhY3R1YWxseSByZWFkcyB0aGUgY29k
ZS4KCkhlcmUncyBvbmUgc3VjaCAiZmFrZSByZXBvcnQiIGV4YW1wbGUgaWYgeW91IGVuam95IHJl
YWRpbmcgdGhpcyB0eXBlIG9mCnRoaW5nOgoJaHR0cHM6Ly9sb3JlLmtlcm5lbC5vcmcvci90ZW5j
ZW50XzIxQjgyREI3OTJGRTAwNDlCNkVGNUVDRDgxMjg1NjY5QzkwOEBxcS5jb20KCnRoYW5rcywK
CmdyZWcgay1oCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
XwpLZXJuZWxuZXdiaWVzIG1haWxpbmcgbGlzdApLZXJuZWxuZXdiaWVzQGtlcm5lbG5ld2JpZXMu
b3JnCmh0dHBzOi8vbGlzdHMua2VybmVsbmV3Ymllcy5vcmcvbWFpbG1hbi9saXN0aW5mby9rZXJu
ZWxuZXdiaWVzCg==