aaronpuchert added a comment.

In D152246#4639495 <https://reviews.llvm.org/D152246#4639495>, @tbaeder wrote:

> Do you think warning on assignment of function pointers with mismatched 
> attributes would be a viable way forward?

Yes, that sounds like the right approach. (Slightly relaxed perhaps, for 
example adding `requires` or `excludes` on the cast should be fine.)

What makes this tricky is that we currently have declaration attributes, but we 
might need type attributes to do this properly.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152246/new/

https://reviews.llvm.org/D152246

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to