[llvm-branch-commits] [clang] [BoundsSafety] Support the counted_by family on function parameters (PR #234941)

[Dan Liew via llvm-branch-commits]

https://github.com/delcypher requested changes to this pull request.

Looks pretty good. It doesn't look like we have any diagnostics here to handle redeclaration mismatches. E.g.:

```
void foo(int c, int* __counted_by(c) p);
void foo(int c, int* __counted_by_or_null(c) p);
```

Is that intentional?

https://github.com/llvm/llvm-project/pull/234941