Hi! I'd like to be able to inline functions declared with the [[gnu::malloc()]] attribute. The reason is that it's quite sensitive code, and I'd like to give as much information as possible to the analyzer.
Would it be possible to change the implementation so that even when a function is inlined, some "mark" stays in the object so that it's marked for deallocation? That would lift the restriction that functions with this attribute cannot be defined inline. Or maybe this would be an example of when to mark a function both inline and [[gnu::noinline]]. This would allow good diagnostics, while it would ensure that it's not inlined (and thus the [[gnu::malloc()]] attribute survives. See also: <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118005> Have a lovely night! Alex -- <https://www.alejandro-colomar.es/>
signature.asc
Description: PGP signature
