https://github.com/balazske closed
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
https://github.com/NagyDonat requested changes to this pull request.
Thanks!
We should close this when that other PR is accepted and merged. Until then I'm
putting a "Request changes" mark on this to prevent an accidental merge.
https://github.com/llvm/llvm-project/pull/102432
balazske wrote:
I uploaded now #102580 that removes the entire array bounds checking.
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
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
https://github.com/NagyDonat edited
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
https://github.com/NagyDonat edited
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
https://github.com/NagyDonat edited
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
balazske 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? If yes
the bounds check is not needed in this check
https://github.com/NagyDonat approved this pull request.
The change LGTM, it makes these reports somewhat easier to understand.
However, note that I'll delete all array bounds checking logic from this
checker when I'll bring `alpha.security.ArrayBoundsV2` out of alpha, because
there is no reas
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
Author: Balázs Kéri (balazske)
Changes
Notes appear at out-of-range array index for index value and array size.
---
Full diff: https://github.com/llvm/llvm-project/pull/102432.diff
2 Files Affected:
- (modified) clang/lib/Stat
llvmbot wrote:
@llvm/pr-subscribers-clang
Author: Balázs Kéri (balazske)
Changes
Notes appear at out-of-range array index for index value and array size.
---
Full diff: https://github.com/llvm/llvm-project/pull/102432.diff
2 Files Affected:
- (modified) clang/lib/StaticAnalyzer/Checker
https://github.com/balazske created
https://github.com/llvm/llvm-project/pull/102432
Notes appear at out-of-range array index for index value and array size.
From b9753a79654b1428f753a2fad865eacdf0250ac5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bal=C3=A1zs=20K=C3=A9ri?=
Date: Thu, 8 Aug 2024 0
12 matches
Mail list logo
