NagyDonat wrote: > If the `ArrayBoundsV2` checker is finished it should find all of the cases in > the test of `PointerSubChecker` that have out-of-bound indexing, and > including the cases where a single variable is handled like an 1-element > array?
Yes, `ArrayBoundV2` will handle the cases where a single variable is handled like an 1-element array. > If yes the bounds check is not needed in this checker, only the check for > different memory object. I like it better if the bounds check is then removed > before the PointerSub checker goes out of alpha (this means now). If the > bounds check is removed this checker will not report the cases where invalid > indexing occurs because that is a different error. Yes, I can agree with that, checking out of bounds indexing does not belong to this checker. Feel free to create a different commit which removes this feature instead of tweaking its messages. https://github.com/llvm/llvm-project/pull/102432 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
