=?utf-8?q?Donát?= Nagy <[email protected]>, =?utf-8?q?Donát?= Nagy <[email protected]>, =?utf-8?q?Donát?= Nagy <[email protected]>, =?utf-8?q?Donát?= Nagy <[email protected]> Message-ID: In-Reply-To: <llvm.org/llvm/llvm-project/pull/[email protected]>
DonatNagyE wrote: I updated the PR to allow `&array[size]` for creating the after-the-end pointer of an array. My implementation interprets this corner case narrowly to limit the amount of false negatives: for example `if (idx >= size) return &array[idx];` is reported as an overflow instead of very optimistically assuming that `idx` must be equal to `size`. https://github.com/llvm/llvm-project/pull/72107 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
