=?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com>, =?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com>, =?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com>, =?utf-8?q?Donát?= Nagy <donat.n...@ericsson.com> Message-ID: In-Reply-To: <llvm.org/llvm/llvm-project/pull/72...@github.com>
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 cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
