Timm =?utf-8?q?Bäder?= <[email protected]>
Message-ID:
In-Reply-To: <llvm/llvm-project/pull/67095/[email protected]>
================
@@ -136,6 +136,17 @@ int main(void) {
// Cleanup happens automatically -> no warning.
}
+ /// Function pointers
+ {
+ int __attribute__((requires_capability(&mu1))) (*function_ptr)(int) =
Foo_fun1;
----------------
aaronpuchert wrote:
Right, we would likely want to catch function pointer conversions that drop the
attribute. But this should be a separate change.
https://github.com/llvm/llvm-project/pull/67095
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
