On Sun, 4 Feb 2018, Martin Sebor wrote: > We've talked about (2) in the past (bug 71463) but this seems > like an opportunity to revisit it and (hopefully) make a change > to treat these the same as all other function attributes rather > than type attributes. Besides fixing the wrong code bugs and
I'd say that actually more attributes should be made into type attributes where they are currently function attributes - anything that affects optimizations or warnings in the caller based on properties of the callee is something where it's meaningful to have a pointer-to-function where the pointed-to function type has that property. -- Joseph S. Myers jos...@codesourcery.com