Fwd: [RFC PATCH 0/1] compiler_types.h: introduce ASSUME_NONNULL macro for static analysis
Raka Gunarto <[email protected]> Fri, 25 Jul 2025 11:34:05 +0100
| Newsgroups | gmane.linux.kernel.kernelnewbies |
|---|---|
| Message-ID | <CACUOwmKMAxa6gEhFRLPKPw7zu-Sb8GEtH2qgAQBT9_-LGkeZWw@mail.gmail.com> |
SGkgZXZlcnlvbmUsIEknbSBhIHJlYWxseSBuZXcgY29udHJpYnV0b3IgYW5kIEkgc2VudCBvZmYg dGhpcwpSRkMgdG8gTEtNTCA8aHR0cHM6Ly9sb3JlLmtlcm5lbC5vcmcvbGttbC8yMDI1MDcyMzE0 MDEyOS4yNzY4NzQtMS1yYWthZ3VuYXJ0b0BnbWFpbC5jb20vVC8jbTEzNzJlYjk5MjU1MjQ5MWFj MzdmNDZmMjdlNWFkMDlkOWVmYTM1YWQ+LAp3aGVuIEkgcHJvYmFibHkgc2hvdWxkIGhhdmUgZmxv YXRlZCB0aGUgaWRlYQpoZXJlIGZpcnN0LiBJbiBhbnkgY2FzZSwgSSd2ZSBwYXN0ZWQgbXkgUkZD IHBhdGNoIGJlbG93CmFuZCBJIHdvdWxkIHJlYWxseSBsaWtlIGFueSBmZWVkYmFjayAvIHN1Z2dl c3Rpb25zIG9uIHRoZQppZGVhLgoKVGhhbmtzLApSYWthCgotLS0tLS0tLS0tIEZvcndhcmRlZCBt ZXNzYWdlIC0tLS0tLS0tLQpGcm9tOiBSYWthIEd1bmFydG8gPHJha2FndW5hcnRvQGdtYWlsLmNv bT4KRGF0ZTogV2VkLCBKdWwgMjMsIDIwMjUgYXQgMzowMeKAr1BNClN1YmplY3Q6IFtSRkMgUEFU Q0ggMC8xXSBjb21waWxlcl90eXBlcy5oOiBpbnRyb2R1Y2UgQVNTVU1FX05PTk5VTEwKbWFjcm8g Zm9yIHN0YXRpYyBhbmFseXNpcwpUbzogPGxpbnV4LWtlcm5lbEB2Z2VyLmtlcm5lbC5vcmc+CkNj OiBSYWthIEd1bmFydG8gPHJha2FndW5hcnRvQGdtYWlsLmNvbT4KCgpUaGlzIHByb3Bvc2VkIHBh dGNoIGludHJvZHVjZXMgYSBuZXcgbWFjcm8gQVNTVU1FX05PTk5VTEwgdG8gc3VwcHJlc3MgZmFs c2UKcG9zaXRpdmVzIG9mIG51bGwgcG9pbnRlciBkZXJlZmVyZW5jZSB3YXJuaW5ncyBkdXJpbmcg c3RhdGljIGFuYWx5c2lzLgoKVGhlIHBhdGNoIG9ubHkgaW5jbHVkZXMgdGhlIG1hY3JvIGRlZmlu aXRpb24gZm9yIENsYW5nIHNvIGZhciwgYXMgSSBjb3VsZApub3Qgc2lsZW5jZSBHQ0MncyBzdGF0 aWMgYW5hbHl6ZXIgZmFsc2UgcG9zaXRpdmVzIHdpdGhvdXQgZW5zdXJpbmcgdGhhdAppdCB3b3Vs ZG4ndCBhZmZlY3QgdGhlIGVtaXR0ZWQgY29kZS4KCkkgdGVzdGVkIHRoaXMgcGF0Y2ggYW5kIHVz ZSBvZiB0aGUgbWFjcm8gc3VjY2Vzc2Z1bGx5IGVsaW1pbmF0ZXMgZmFsc2UKcG9zaXRpdmVzIHdo ZW4gdXNlZCBwcm9wZXJseSBhbmQgZG9lcyBub3QgYWZmZWN0IGZpbmFsIGNvZGUgZ2VuZXJhdGlv bi4KCkkgYW0gbmV3IHRvIGNvbnRyaWJ1dGluZyB0byB0aGUga2VybmVsLCBzbyBJIGFwb2xvZ2lz ZSBpbiBhZHZhbmNlIGZvcgphbnkgbWlzdGFrZXMuIEkgd2VsY29tZSBhbGwgZmVlZGJhY2sgb3Ig c3VnZ2VzdGlvbnMgZm9yIGltcHJvdmVtZW50LgoKUmF0aW9uYWxlOgotIFVzZSBvZiB0aGlzIG9w dGlvbmFsIG1hY3JvIGNhbiBzaWxlbmNlIGZhbHNlIHBvc2l0aXZlcyB3aGljaCBtYXkgcmVkdWNl CiAgcGF0Y2hlcyB0aGF0IGZpeCBmYWxzZSBwb3NpdGl2ZXMgKHN1Y2ggYXMgQUkgZ2VuZXJhdGVk IHBhdGNoZXMpLgotIENsZWFyIGRvY3VtZW50YXRpb24gb2YgYSBub24gbnVsbCBhc3N1bXB0aW9u IGZvciBvdGhlciBkZXZlbG9wZXJzCi0gU2lnbmFsIHRvIHJldmlld2VycyB0byBzdWJqZWN0IHBh dGNoZXMgdGhhdCB1c2UgdGhpcyBtYWNybyB0bwogIGFkZGl0aW9uYWwgc2NydXRpbnksIGFuZCBy ZXF1aXJlIGp1c3RpZmljYXRpb24gb24gd2h5CiAgdGhlcmUgaXNuJ3QgYSBudWxsIGNoZWNrIGlu IHRoZSBjb2RlIGluc3RlYWQuCgpNb3RpdmF0aW9uOgpXaGlsZSBydW5uaW5nIENsYW5nJ3Mgc3Rh dGljIGFuYWx5emVyIG9uIHRoZSBMaW51eCBrZXJuZWwsIEkgZW5jb3VudGVyZWQKaHVuZHJlZHMg b2YgZmFsc2UgcG9zaXRpdmVzIHJlbGF0ZWQgdG8gbnVsbCBwb2ludGVyIGRlcmVmZXJlbmNlcy4K T25lIHN1Y2ggZXhhbXBsZSBpcyBpbiBtbS9zbHViLmMsIHdoZXJlIHRoZSBzdGF0aWMgYW5hbHl6 ZXIKaW5jb3JyZWN0bHkgcmVwb3J0cyBhIHBvdGVudGlhbCBudWxsIHBvaW50ZXIgZGVyZWZlcmVu Y2Ugb24gbGluZSAzMTY5LgoKbiBpcyBub24tbnVsbCBhdCB0aGF0IHBvaW50LCBidXQgaXQgaXMg bm9uIG9idmlvdXMgdG8gdGhlIHN0YXRpYyBhbmFseXplcgooYW5kIHRvIGh1bWFucykgdGhhdCBn ZXRfbm9kZSgpIHdpbGwgYWx3YXlzIHJldHVybiBhIG5vbi1udWxsIHBvaW50ZXIuClNpbmNlIGl0 IGlzIGluIGEgcGVyZm9ybWFuY2UgY3J0aWNhbCBjb250ZXh0LCBhZGRpbmcgYSBudWxsIGNoZWNr CndvdWxkIGJlIHVuZGVzaXJhYmxlIChJIHRoaW5rKS4gQSBtYWNybyBsaWtlIHRoaXMgY2FuIGJl IHVzZWQgdG8Kc2lnbmFsIHRoZSBwb2ludGVyIGlzIGludmFyaWFibHkgbm9uLW51bGwsIHdpdGhv dXQgYWRkaW5nIGEgcnVudGltZQpjaGVjay4KClJha2EgR3VuYXJ0byAoMSk6CiAgY29tcGlsZXJf dHlwZXMuaDogaW50cm9kdWNlIEFTU1VNRV9OT05OVUxMIG1hY3JvIGZvciBzdGF0aWMgYW5hbHlz aXMKCiBpbmNsdWRlL2xpbnV4L2NvbXBpbGVyLWNsYW5nLmggfCAxMCArKysrKysrKysrCiBpbmNs dWRlL2xpbnV4L2NvbXBpbGVyX3R5cGVzLmggfCAgNSArKysrKwogMiBmaWxlcyBjaGFuZ2VkLCAx NSBpbnNlcnRpb25zKCspCgotLQoyLjQzLjAKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fCktlcm5lbG5ld2JpZXMgbWFpbGluZyBsaXN0Cktlcm5lbG5ld2Jp ZXNAa2VybmVsbmV3Ymllcy5vcmcKaHR0cHM6Ly9saXN0cy5rZXJuZWxuZXdiaWVzLm9yZy9tYWls bWFuL2xpc3RpbmZvL2tlcm5lbG5ld2JpZXMK