Re: [RFC PATCH 0/1] compiler_types.h: introduce ASSUME_NONNULL macro for static analysis
Raka Gunarto <[email protected]> Fri, 25 Jul 2025 16:07:36 +0100
| Newsgroups | gmane.linux.kernel.kernelnewbies |
|---|---|
| Message-ID | <CACUOwmJxNbf6yFJMj4A8qG_+7W=pRMcqbgTzg0qGbM26TdFqOg@mail.gmail.com> |
T24gRnJpLCBKdWwgMjUsIDIwMjUgYXQgMjo1NuKAr1BNIEdyZWcgS0ggPGdyZWdAa3JvYWguY29t PiB3cm90ZToKPiBXZSBhbHJlYWR5IGFzc3VtZSB0aGlzIGluIGxvYWRzIG9mIHBsYWNlcyB0b2Rh eSwgdGhlcmUncyBubyBuZWVkIHRvCj4gZXhwbGljaXRseSBtYXJrIGl0IGFzIHN1Y2ggZXZlcnl3 aGVyZSwgYXMgdGhhdCB3b3VsZCBsaXR0ZXIgYWxtb3N0IGV2ZXJ5Cj4gc2luZ2xlIGZ1bmN0aW9u IGluIHRoZSBrZXJuZWwgOigKCkkgc3VwcG9zZSBiYXNlZCBvbiB0aGlzIGFsb25lIEkgc2hvdWxk IHJldGhpbmsgdGhlIHVzZWZ1bG5lc3Mgb2YgdGhpcyBwYXRjaCwKZXNwZWNpYWxseSBpZiB0aGUg bmV4dCBzdGVwIHdvdWxkIGJlIHRvIGJsYXN0IGFwcGx5IGl0IGV2ZXJ5d2hlcmUuCgpBbHRob3Vn aCBJIHdhcyBtb3JlIHRoaW5raW5nIG9mIGZ1dHVyZSB1c2UsIGFuZCBjbGFyaXR5IHRvIGZ1dHVy ZSByZWFkZXJzCm9uIHdoeSBhIHBvaW50ZXIgY291bGRuJ3QgYmUgbnVsbC4KCkknbGwgcmVzcG9u ZCB0byB0aGUgb3RoZXIgcG9pbnRzIGJ1dCBJJ2xsIGhhdmUgYSByZXRoaW5rIG9uIHdoZXRoZXIg b3Igbm90CnRoaXMgaXMgYW4gYWN0dWFsbHkgdXNlZnVsIGFkZGl0aW9uLCBvciB3aGV0aGVyIG9y IG5vdCB3ZSBjb3VsZCBkZWFsIHdpdGgKc3RhdGljIGFuYWx5c2VyIGZhbHNlIHBvc2l0aXZlcyBp biBhIGJldHRlciB3YXkuCgo+IEZpeCB0aGUgdG9vbCwgbm90IHRoZSBrZXJuZWwgY29kZSwgd2hl biB0aGUgdG9vbCBpcyBicm9rZW4uICBJdCdzIG5vdAo+IExpbnV4J3Mgam9iIHRvIHBhc3RlIG92 ZXIgYnJva2VuIGV4dGVybmFsIHRoaW5ncy4KClVuZGVyc3Rvb2QsIGhvd2V2ZXIgSSByZWNvZ25p c2Ugc3RhdGljIGFuYWx5c2lzIGlzIGNvbXBsZXggYW5kIHRoZXJlCmFyZSBtYW55IG5vbiBvYnZp b3VzIGNhc2VzIG9mIHdoeSBzb21ldGhpbmcgaXMgYSBmYWxzZSBwb3NpdGl2ZS4KTXkgcmF0aW9u YWxlIHdhcyB0aGF0IGFkZGluZyB0aGlzIG1hY3JvIGFuZCBhIGNvbW1lbnQgdG8gZG9jdW1lbnQK Zm9yIGV4YW1wbGUsIGEgbm9uIG9idmlvdXMgbm9uLW51bGwgcG9pbnRlciwgY291bGQgYmUgdXNl ZnVsIHRvCnJlYWRlcnMuCgpPbiBGcmksIEp1bCAyNSwgMjAyNSBhdCAyOjI54oCvUE0gU2lkZGgg UmFtYW4gUGFudCA8c2FuZ2FuYWthQHNpZGRoLm1lPiB3cm90ZToKPiBBc3N1bXB0aW9uIGlzbid0 IGEgZ3VhcmFudGVlLgo+IENvbXBpbGVyIG9wdGltaXNlcyBpdCBhd2F5IHVzdWFsbHkuCgpZZXMs IGJ1dCBteSBwb2ludCB3YXMgaXQgaXMgZ3VhcmFudGVlZCBpbiBzb21lIGNhc2VzLCBqdXN0IG5v dApvYnZpb3VzIHRvIHRoZSBzdGF0aWMgYW5hbHl6ZXIgYW5kIHNpbmNlIHRoZSBjb21waWxlciAv CnN0YXRpYyBhbmFseXplciB1c2Ugc2ltaWxhciB0ZWNobmlxdWVzIHRvIGRldGVjdCBjZXJ0YWlu CmNvbmRpdGlvbnMsIHRoZSBjb21waWxlciB3b24ndCBvcHRpbWlzZSBhIHJlZHVuZGFudCBjaGVj awphd2F5IGVpdGhlci4KCj4gVGhhdCBjYW4gcHJldHR5IGVhc2lseSBjaGFuZ2UgaW4gZnV0dXJl LgoKSXNuJ3QgaXQgbW9yZSBkYW5nZXJvdXMgdG8gaGF2ZSBhIG5vbiBvYnZpb3VzIGFzc3VtcHRp b24KYmUgaW4gdGhlIGJsYXN0IHJhZGl1cyBvZiBhIGNoYW5nZSB0aGF0IG1ha2VzIHRoYXQKYXNz dW1wdGlvbiBpbnZhbGlkLCByYXRoZXIgdGhhbiBtYWtpbmcgaXQgb2J2aW91cyBpbiBzb21lCndh eT8KCj4gSXMgeW91ciBjYXNlIHJlYWxseSBhIGZhbHNlIHBvc2l0aXZlPwoKRnJvbSBteSB2ZXJ5 IGxpbWl0ZWQgdW5kZXJzdGFuZGluZyBvZiB0aGUgc2xhYiBhbGxvY2F0b3IsCkkgdGhpbmsgaXQg aXMgYSBmYWxzZSBwb3NpdGl2ZSBiZWNhdXNlIGl0IGlzIG9ubHkgY2FsbGVkCm9uIHZhbGlkIHNs YWJzIChpbml0aWFsIHNsYWIgbXVzdCBiZSBub24tbnVsbCBhbmQKaXQganVzdCB0cmF2ZXJzZXMg dGhlIGxpc3QpLgoKVGhhbmsgeW91IGFsbCBmb3IgdGhlIGZlZWRiYWNrLCBpdCB3YXMgdmVyeSBp bnNpZ2h0ZnVsCmZvciBtZSBhcyBhbiBhc3BpcmluZyBjb250cmlidXRvciEKClJha2EKCl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCktlcm5lbG5ld2JpZXMg bWFpbGluZyBsaXN0Cktlcm5lbG5ld2JpZXNAa2VybmVsbmV3Ymllcy5vcmcKaHR0cHM6Ly9saXN0 cy5rZXJuZWxuZXdiaWVzLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2tlcm5lbG5ld2JpZXMK