[PATCH] D152246: [clang][ThreadSafety] Analyze known function pointer values

[Aaron Puchert via Phabricator via cfe-commits]

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