[llvm-branch-commits] [clang] [Analyzer] No longer crash with VLA operands to unary type traits (PR #154738)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154738 >From 656763c898bff7783d87ed7d17c3050c631fe06d Mon Sep 17 00:00:00 2001 From: Aaron Ballman Date: Fri, 1 Aug 2025 12:31:56 -0400 Subject: [PATCH] [Analyzer] No longer crash with VLA operands to unary type trai

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: > @steakhal before I merge - have a look, I squashed it and had to fix some > issues. But I think it's fine now, let me know otherwise. > > For future reference, when updating a branch for the release branch we can't > use the automatic squash and rebase workflow of github, so

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154600 >From 3e406bb69ee85f6a4e36ebd9dd0bd112a63d2b91 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 20 Aug 2025 21:40:26 +0200 Subject: [PATCH] [analyzer][docs] CSA release notes for clang-21 The commits we

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: @tru This PR is ready to merge. https://github.com/llvm/llvm-project/pull/154600 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: > > Do I understand that this document is primarily intended for the _users_ of > > the static analyzer? In that case I think it would be important to use the > > user-facing names of the checkers that are mentioned (e.g. write > > `unix.BlockInCriticalSection` instead of `Bloc

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154600 >From 282a84dbcc57738398da024f021bcc057099edb3 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 20 Aug 2025 21:40:26 +0200 Subject: [PATCH 1/6] [analyzer][docs] CSA release notes for clang-21 The commit

[llvm-branch-commits] [clang] release/21.x: [analyzer] Drop false asserts in handling assume attribures (PR #155284)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/155284 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] release/21.x: [analyzer] Add missing expected-warning after #151908 (PR #155284)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/155284 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: > Do I understand that this document is primarily intended for the _users_ of > the static analyzer? In that case I think it would be important to use the > user-facing names of the checkers that are mentioned (e.g. write > `unix.BlockInCriticalSection` instead of `BlockInCriti

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA section (PR #154608)

steakhal wrote: > Seems like this still have conflicts? do you have time to look at this now > @steakhal ? otherwise I'll make an attempt at resolving it before the final > release tomorrow, but it would be better if you did it since you know what to > expect. There was nothing serious. The d

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA section (PR #154608)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154608 >From c522688652800329bf5beef9c378192826521f0d Mon Sep 17 00:00:00 2001 From: erichkeane Date: Wed, 20 Aug 2025 13:37:33 -0700 Subject: [PATCH 1/2] Move rest of documentation problems that found their way to t

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

@@ -1223,28 +1221,106 @@ New features - Implemented `P2719R5 Type-aware allocation and deallocation functions `_ as an extension in all C++ language modes. +- Added support for the ``[[clang::assume(cond)]]`` attribute, treating it as + ``__builtin

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

@@ -1223,28 +1221,106 @@ New features - Implemented `P2719R5 Type-aware allocation and deallocation functions `_ as an extension in all C++ language modes. +- Added support for the ``[[clang::assume(cond)]]`` attribute, treating it as + ``__builtin

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154600 >From 282a84dbcc57738398da024f021bcc057099edb3 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 20 Aug 2025 21:40:26 +0200 Subject: [PATCH 1/5] [analyzer][docs] CSA release notes for clang-21 The commit

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154600 >From 282a84dbcc57738398da024f021bcc057099edb3 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 20 Aug 2025 21:40:26 +0200 Subject: [PATCH 1/4] [analyzer][docs] CSA release notes for clang-21 The commit

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

@@ -1246,6 +1323,9 @@ Moved checkers checker ``alpha.security.ArrayBound`` (which was searching for the same kind of bugs with an different, simpler and less accurate algorithm) is removed. steakhal wrote: I decided to drop the whole second part of the sent

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

@@ -1223,20 +1221,99 @@ New features - Implemented `P2719R5 Type-aware allocation and deallocation functions `_ as an extension in all C++ language modes. +- Added support for the ``[[clang::assume(cond)]]`` attribute, treating it as + ``__builtin_

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: > Looks good to me. Are all of those crashes present in previously released > stable versions? To the best of knowledge yes. I also checked that no entries refer to commits that are only present on `main`. (Well, there were two, that are now in the backport pipe) I also exclude

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: This PR is blocked by #154608 https://github.com/llvm/llvm-project/pull/154600 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [Analyzer] No longer crash with VLA operands to unary type traits (PR #154738)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/154738 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154600 >From 282a84dbcc57738398da024f021bcc057099edb3 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 20 Aug 2025 21:40:26 +0200 Subject: [PATCH 1/2] [analyzer][docs] CSA release notes for clang-21 The commit

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

@@ -1246,6 +1323,9 @@ Moved checkers checker ``alpha.security.ArrayBound`` (which was searching for the same kind of bugs with an different, simpler and less accurate algorithm) is removed. +- Moved checker ``alpha.core.FixedAddressDereference`` out of the ``alpha`` packa

[llvm-branch-commits] [clang] [Analyzer] No longer crash with VLA operands to unary type traits (PR #154738)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/154738 sizeof was handled correctly, but __datasizeof and _Countof were not. Fixes #151711 (cherry picked from commit 17327482f045b7119e116320db3e9c12fcf250ae with adjustments) Dropping the ReleaseNotes part of the

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA sec. (PR #154608)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/154608 >From c522688652800329bf5beef9c378192826521f0d Mon Sep 17 00:00:00 2001 From: erichkeane Date: Wed, 20 Aug 2025 13:37:33 -0700 Subject: [PATCH 1/2] Move rest of documentation problems that found their way to t

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA sec. (PR #154608)

steakhal wrote: > Dammit, yeah I wish I could still see the conflict to work out how I misread > it - I suspect the addition of "A new flag - `-static-libclosure`..." to new > flags didn't conflict :-/ You can actually, `git show --remerge-diff 30401b1f918ea359334b507a79118938ffe3c169` ([doc

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA sec. (PR #154608)

https://github.com/steakhal requested changes to this pull request. The `A new flag - `-static-libclosure`...` paragraph is still mentioned in the Static Analyzer New Features section. I think the conflict resolution was wrong here. I'll have a look later today. https://github.com/llvm/llvm-pro

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA sec. (PR #154608)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/154608 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Move rest of documentation problems that found their way to the SA sec. (PR #154608)

steakhal wrote: Thank you for going the extra mile. I'll have a look tomorrow! https://github.com/llvm/llvm-project/pull/154608 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm

[llvm-branch-commits] [clang] Move OpenACC Release Note- (PR #154605)

steakhal wrote: I hope I can get the other two entries also to their right places, but thats not your job. https://github.com/llvm/llvm-project/pull/154605 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/

[llvm-branch-commits] [clang] Move OpenACC Release Note- (PR #154605)

https://github.com/steakhal approved this pull request. What a swift response. Thank you! https://github.com/llvm/llvm-project/pull/154605 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/li

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

steakhal wrote: I had limited time, so I used LLM to generate this. Exercise extra scrutiny during review. There is an unrelated section about `Type-aware allocation and deallocation functions` that I'll move somewhere more appropriate later. The generated html would look like this then: http

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/154600 The commits were gathered using: ```sh git log --reverse --oneline llvmorg-20-init..llvm/main \ clang/{lib/StaticAnalyzer,include/clang/StaticAnalyzer} | grep -v NFC | \ grep -v OpenACC | grep -v -i revert |

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/154600 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [clang][analyzer] Handle CXXParenInitListExpr alongside InitListExpr (PR #139909)

steakhal wrote: I already amended the patch to add this fix to the release notes of clang. That's the only change I made to the picked commit. https://github.com/llvm/llvm-project/pull/139909 ___ llvm-branch-commits mailing list llvm-branch-commits@li

[llvm-branch-commits] [clang] [clang][analyzer] Handle CXXParenInitListExpr alongside InitListExpr (PR #139909)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/139909 As reported in #135665, C++20 parenthesis initializer list expressions are not handled correctly and were causing crashes. This commit attempts to fix the issue by handing parenthesis initializer lists along s

[llvm-branch-commits] [clang] [clang][analyzer] Handle CXXParenInitListExpr alongside InitListExpr (PR #139909)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/139909 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer] Workaround for slowdown spikes (unintended scope increase) (#136720) (PR #139597)

@@ -0,0 +1,200 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify=expected,default %s +// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config inline-functions-with-ambiguous-loops=true -verify=expected,enabled %s

[llvm-branch-commits] [clang] [analyzer] Workaround for slowdown spikes (unintended scope increase) (#136720) (PR #139597)

steakhal wrote: This is a manual backport of #136720. https://github.com/llvm/llvm-project/pull/139597 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer] Workaround for slowdown spikes (unintended scope increase) (#136720) (PR #139597)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/139597 Recently some users reported that they observed large increases of runtime (up to +600% on some translation units) when they upgraded to a more recent (slightly patched, internal) clang version. Bisection reve

[llvm-branch-commits] [clang] [analyzer] Workaround for slowdown spikes (unintended scope increase) (#136720) (PR #139597)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/139597 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [clang][analysis] Fix flaky clang/test/Analysis/live-stmts.cpp test (2nd attempt) (#127406) (PR #139591)

steakhal wrote: We decided to backport in https://github.com/llvm/llvm-project/pull/127406#issuecomment-2683679225 https://github.com/llvm/llvm-project/pull/139591 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.l

[llvm-branch-commits] [clang] [clang][analysis] Fix flaky clang/test/Analysis/live-stmts.cpp test (2nd attempt) (#127406) (PR #139591)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/139591 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [clang][analysis] Fix flaky clang/test/Analysis/live-stmts.cpp test (2nd attempt) (#127406) (PR #139591)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/139591 In my previous attempt (#126913) of fixing the flaky case was on a good track when I used the begin locations as a stable ordering. However, I forgot to consider the case when the begin locations are the same

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/136589 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/136589 >From 66feeb003ccf9f6009d739d3d076f62cf54859e6 Mon Sep 17 00:00:00 2001 From: Pavel Skripkin Date: Sun, 20 Apr 2025 10:14:41 -0400 Subject: [PATCH] [clang][analyzer] Fix error path of builtin overflow (#136345

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

steakhal wrote: I've updated the commit description to have the desired cherry pick marker line, referring to the commit hash picked. It's ready to go now. https://github.com/llvm/llvm-project/pull/136589 ___ llvm-branch-commits mailing list llvm-bran

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

steakhal wrote: Since I did the update to this PR the way I wanted, I invite another code owner to approve. /cc @Xazax-hun https://github.com/llvm/llvm-project/pull/136589 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https:

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/136589 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

steakhal wrote: Make sure after the force push you sync zhe PR summary with the commit message. https://github.com/llvm/llvm-project/pull/136589 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mail

[llvm-branch-commits] [clang] Backport to 20.x "[clang][analyzer] Fix error path of builtin overflow (#136345)" (PR #136589)

steakhal wrote: Please checkout the release branch, reset hard to reset to that one. Then issue the "git cherry-pick -x HASH" command and force push to your branch. This should get us a nice cherry picked from comment in the message. I think only the release manager can accept merges, so its no

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-20 (PR #124798)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/124798 >From 65f0bce634bce28430fa2c722ee0a396a8935bba Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Tue, 28 Jan 2025 18:26:37 +0100 Subject: [PATCH 1/2] [analyzer][docs] Release notes for clang-20 The commits we

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-20 (PR #124798)

steakhal wrote: Rebased to target the recently split release/20.x. No changes were made to the content of the PR. https://github.com/llvm/llvm-project/pull/124798 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llv

[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-20 (PR #124798)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/124798 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120438 >From 9bd5b4a297899aeae6bd6ce6373319e1933fc7d8 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:59:23 +0100 Subject: [PATCH] [analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120438 >From 1f31cdcbf265be767ef5ae4a44f1e28002faba8f Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:59:23 +0100 Subject: [PATCH] [analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120437 >From e82a47f0efe7cba42891b14889ac41a4140b Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:57:26 +0100 Subject: [PATCH] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120438 >From d9346f24cbc8930baefb8f17bb88745bc63f0e7e Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:59:23 +0100 Subject: [PATCH] [analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120437 >From 0daf63ef3f8607dcc9f290c94db210cf462cc75f Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:57:26 +0100 Subject: [PATCH] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120436 >From 09aa29dd6cb4e22e5541ed7c1aaeb715772c3393 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:55:27 +0100 Subject: [PATCH] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120438 >From 45c13070865e7474a13f1d843d13f5eb4ceafa29 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:59:23 +0100 Subject: [PATCH] [analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120436 >From d9ce18fd77617480703c677ad7053516fb2c68f9 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:55:27 +0100 Subject: [PATCH] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/120437 >From 9841a76e62ad9d9bcdea3ff8c066c19f113c2615 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:57:26 +0100 Subject: [PATCH] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

@@ -514,9 +514,12 @@ class MemRegionVal : public Loc { class ConcreteInt : public Loc { public: - explicit ConcreteInt(const llvm::APSInt &V) : Loc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : Loc(ConcreteIntKind, V.get()) {} steakhal wrote:

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

@@ -298,9 +299,12 @@ class SymbolVal : public NonLoc { /// Value representing integer constant. class ConcreteInt : public NonLoc { public: - explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntK

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/120436 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

@@ -298,9 +299,12 @@ class SymbolVal : public NonLoc { /// Value representing integer constant. class ConcreteInt : public NonLoc { public: - explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntK

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

@@ -298,9 +299,12 @@ class SymbolVal : public NonLoc { /// Value representing integer constant. class ConcreteInt : public NonLoc { public: - explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntK

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

@@ -514,9 +514,12 @@ class MemRegionVal : public Loc { class ConcreteInt : public Loc { public: - explicit ConcreteInt(const llvm::APSInt &V) : Loc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : Loc(ConcreteIntKind, V.get()) {} steakhal wrote:

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

@@ -298,9 +299,12 @@ class SymbolVal : public NonLoc { /// Value representing integer constant. class ConcreteInt : public NonLoc { public: - explicit ConcreteInt(const llvm::APSInt &V) : NonLoc(ConcreteIntKind, &V) {} + explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntK

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

https://github.com/steakhal ready_for_review https://github.com/llvm/llvm-project/pull/120436 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal ready_for_review https://github.com/llvm/llvm-project/pull/120438 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

https://github.com/steakhal ready_for_review https://github.com/llvm/llvm-project/pull/120437 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

steakhal wrote: > [!WARNING] > This pull request is not mergeable via GitHub because a downstack PR is > open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/120438?utm_source=stack-comment-downstack-mergeability-warning"

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

steakhal wrote: > [!WARNING] > This pull request is not mergeable via GitHub because a downstack PR is > open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/120437?utm_source=stack-comment-downstack-mergeability-warning"

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate {SymInt, IntSym}Expr to use APSIntPtr (4/4) (PR #120438)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/120438 None >From ffda1054d5a3e8f4ce42c3bedfc29cc8a0c69df1 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:59:23 +0100 Subject: [PATCH] [analyzer][NFC] Migrate {SymInt,IntSym}Expr to use APSInt

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

steakhal wrote: > [!WARNING] > This pull request is not mergeable via GitHub because a downstack PR is > open. Once all requirements are satisfied, merge this PR as a stack href="https://app.graphite.dev/github/pr/llvm/llvm-project/120436?utm_source=stack-comment-downstack-mergeability-warning"

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr (3/4) (PR #120437)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/120437 None >From 81c7a2837ca2da2436613f4411e3b3cd37289051 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:57:26 +0100 Subject: [PATCH] [analyzer][NFC] Migrate loc::ConcreteInt to use APSIntPtr

[llvm-branch-commits] [clang] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSIntPtr (2/4) (PR #120436)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/120436 None >From bda84413e146d2e39a704a73694fb777249be799 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 18 Dec 2024 15:55:27 +0100 Subject: [PATCH] [analyzer][NFC] Migrate nonloc::ConcreteInt to use APSInt

[llvm-branch-commits] [clang] Backport "[clang][analyzer] Fix #embed crash (#107764)" (PR #107841)

steakhal wrote: There is no need to update the release notes as `#embed` is a new feature, so the crash is not a regression that needs to be highlighted. https://github.com/llvm/llvm-project/pull/107841 ___ llvm-branch-commits mailing list llvm-branch

[llvm-branch-commits] [clang] Backport "[clang][analyzer] Fix #embed crash (#107764)" (PR #107841)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/107841 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport "[clang][analyzer] Fix #embed crash (#107764)" (PR #107841)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/107841 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport "[clang][analyzer] Fix #embed crash (#107764)" (PR #107841)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/107841 Backports the fix for #107724. (cherry picked from commit d84d9559bdc7aeb4ce14c251f6a3490c66db8d3a) >From f791ef134479616ced3d90c5321ecb878c5b6efc Mon Sep 17 00:00:00 2001 From: Nicolas van Kempen Date: Mon,

[llvm-branch-commits] [clang] Backport taint analysis slowdown regression fix (PR #105516)

steakhal wrote: @Xazax-hun https://github.com/llvm/llvm-project/pull/105516 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport taint analysis slowdown regression fix (PR #105516)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/105516 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport taint analysis slowdown regression fix (PR #105516)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/105516 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport taint analysis slowdown regression fix (PR #105516)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/105516 Same as the cherry-picked commit + the release notes. >From 1d10df6937e914e610da9c5818ba09ff711beb05 Mon Sep 17 00:00:00 2001 From: Balazs Benics Date: Wed, 21 Aug 2024 14:24:56 +0200 Subject: [PATCH 1/2] [ana

[llvm-branch-commits] [clang] Backport "[analyzer] Fix crash on using `bitcast(, )` as array subscript" (PR #101684)

steakhal wrote: Cherrypick + added release notes as this crash was present in clang-18 too. https://github.com/llvm/llvm-project/pull/101684 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/

[llvm-branch-commits] [clang] Backport "[analyzer] Fix crash on using `bitcast(, )` as array subscript" (PR #101684)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/101684 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport "[analyzer] Fix crash on using `bitcast(, )` as array subscript" (PR #101684)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/101684 Current CSA logic does not expect `LazyCompoundValKind` as array index. This may happen if array is used as subscript to another, in case of bitcast to integer type. Catch such cases and return `UnknownVal`,

[llvm-branch-commits] [clang] Backport "[analyzer] Fix crash on using `bitcast(, )` as array subscript" (PR #101684)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/101684 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] 18ad020 - [analyzer] Restore recognition of mutex methods (#101511)

Author: Donát Nagy Date: 2024-08-02T12:44:40+02:00 New Revision: 18ad0209550ed258fc1a24e710613bc5e3e220af URL: https://github.com/llvm/llvm-project/commit/18ad0209550ed258fc1a24e710613bc5e3e220af DIFF: https://github.com/llvm/llvm-project/commit/18ad0209550ed258fc1a24e710613bc5e3e220af.diff LO

[llvm-branch-commits] [clang] Backport "[analyzer] Restore recognition of mutex methods" (PR #101651)

https://github.com/steakhal edited https://github.com/llvm/llvm-project/pull/101651 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] Backport "[analyzer] Restore recognition of mutex methods" (PR #101651)

https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/101651 Before commit 705788c the checker alpha.unix.BlockInCriticalSection "recognized" the methods `std::mutex::lock` and `std::mutex::unlock` with an extremely trivial check that accepted any function (or method) n

[llvm-branch-commits] [clang] Backport "[analyzer] Restore recognition of mutex methods" (PR #101651)

https://github.com/steakhal milestoned https://github.com/llvm/llvm-project/pull/101651 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/95129 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/95129 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

steakhal wrote: Ah, it mixed the messages... Here it is: - Removed unused `NumZ3QueriesDoneInEqClass` - Added a new `crosscheck-with-z3-eqclass-timeout-threshold` config option. - Removed misleading `// unsat` comment on return statement. - Removed unnecessary `// sat` comment on return statemen

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/95129 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

https://github.com/steakhal updated https://github.com/llvm/llvm-project/pull/95129 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

@@ -44,21 +47,43 @@ class Z3CrosscheckVisitor final : public BugReporterVisitor { /// Holds the constraints in a given path. ConstraintMap Constraints; Z3Result &Result; + const AnalyzerOptions &Opts; }; /// The oracle will decide if a report should be accepted or r

  1   2   >