================
@@ -533,14 +534,33 @@ void test(Ops *ops) {
}
```
-Note that the attributes are on the *variable* (or field), not on the function
-pointer type. Assigning a function with different (or no) attributes to an
-annotated function pointer variable is not diagnosed. The analysis trusts the
-annotations on the variable at the call site.
+On a parameter, the attributes describe the function reached through the
----------------
melver wrote:
I think this new paragraph is superfluous and more confusing than helpful and
doesn't add much value. It already says above the attributes can apply to FP
parameters, and the intuitive behaviour applies.
https://github.com/llvm/llvm-project/pull/211885
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
