llvm-project

c71bbd50 - [analyzer] Correct Z3 test cases, fix exposed crashes (#146597)

[analyzer] Correct Z3 test cases, fix exposed crashes (#146597) PR145731 corrected the analyzer test runner to consider use of z3 when used by testcases, which exposed problems in test cases PR37855.c and crashes in z3-crosscheck.c This change fixes those crashes and re-enables the test cases that were "XFAIL"'d out. Co-authored-by: einvbri <vince.a.bridgers@ericsson.com>