jpjepko wrote:
I think the concerns about introducing a new attribute are valid, so I tweaked
the commit to instead use the annotate attribute, similar to how #177839
enables the checker there. Users can wrap this in a macro like `#define
NULL_TERMINATED __attribute__((annotate("null_terminated")))` which would make
migration straightforward if a dedicated attribute, perhaps something like
`__null_terminated` from \-fbounds\-safety, is eventually upstreamed.
https://github.com/llvm/llvm-project/pull/188128
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
