[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)

[Balazs Benics via llvm-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?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/145731 at github.com>


steakhal wrote:

I dont think we should (or you) invest too much. We can just mark this special case with UNSUPPORTED and move on.

Is this issue caused by the standalone builds? We could detect and ignore the test in that case. Or we can do the opposite and allow the test only on a specific setup that is tested in the CI.

Note that in the past these tests were disabled before we recently enabled then. So i dont think it would count as regression if its unconditionally disabled.

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