[clang] [clang][analyzer] Introduce modeling for threading related checkers (PR #109636)

[Balazs Benics via cfe-commits]

Endre =?utf-8?q?Fülöp?= <endre.fulop at sigmatechnology.com>,
Endre =?utf-8?q?Fülöp?= <endre.fulop at sigmatechnology.com>,
Endre =?utf-8?q?Fülöp?= <endre.fulop at sigmatechnology.com>,
Endre =?utf-8?q?Fülöp?= <endre.fulop at sigmatechnology.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/109636 at github.com>


steakhal wrote:

Usually its hard to see how the implementation changes if anyways all the surrounding code moves.
For such changes, if the change is large (like in this case, its a 2k+ diff), it feels better to review the individual commits instead of everything all at once.
If we do that right, the bulk of the change will be attributed to a handful of NFC mechanical changes, and I could focus on whats left.

https://github.com/llvm/llvm-project/pull/109636