[clang] [Clang][counted_by] Don't treat a __bdos argument as an array if it isn't (PR #125298)

Bill Wendling via cfe-commits cfe-commits at lists.llvm.org
Fri Jan 31 16:01:36 PST 2025


bwendling wrote:

I got a testcase from creduce. It's similar to your testcase. Basically, it's indexing into a pointer field, which isn't going to give the correct result either way. I expect that it's indexing into an array instead.

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


More information about the cfe-commits mailing list