[clang] [analyzer] Remove questionable assertions in tryRearrange (PR #234624)

[Benedek Kaibas via cfe-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/234624 at github.com>


benedekaibas wrote:

> My goal was to get you in the loop and get you some practice. I don't expect you to dig into this - especially because we all think it's futile. If you wish to read around that's fine of course.

Thank you so much for this, I greatly appreciate it!🙏

I keep studying it to have a wider knowledge in the CSA, but I don't think I will find anything else we missed here. LGTM! Thank you!

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