[clang] WIP Add suppress weak loop assumptions visitor (PR #111258)

2024-12-18 Thread Balazs Benics via cfe-commits
steakhal wrote: I'll close this as the PR (#109804) for which I made this visitor was also closed, [see](https://github.com/llvm/llvm-project/pull/109804#issuecomment-2532130313). https://github.com/llvm/llvm-project/pull/111258 ___ cfe-commits mail

[clang] WIP Add suppress weak loop assumptions visitor (PR #111258)

2024-12-18 Thread Balazs Benics via cfe-commits
https://github.com/steakhal closed https://github.com/llvm/llvm-project/pull/111258 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] WIP Add suppress weak loop assumptions visitor (PR #111258)

2024-10-05 Thread Balazs Benics via cfe-commits
steakhal wrote: Ideally, I should use a location context and expr pairs a map keys, to make sure these numbers are kept separate for different stack frames. I leave it for the reader this time, to not complicate things further. Once we settle, I'll do that too. https://github.com/llvm/llvm-pr

[clang] WIP Add suppress weak loop assumptions visitor (PR #111258)

2024-10-05 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balazs Benics (steakhal) Changes This is an alternative implementation of the idea present in #109804. In this implementation, the suppression is purely implemented by a `BugReportVisitor`, to avoid coupling the suppress

[clang] WIP Add suppress weak loop assumptions visitor (PR #111258)

2024-10-05 Thread Balazs Benics via cfe-commits
https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/111258 This is an alternative implementation of the idea present in #109804. In this implementation, the suppression is purely implemented by a `BugReportVisitor`, to avoid coupling the suppression with the engine it