[all-commits] [llvm/llvm-project] c71bbd: [analyzer] Correct Z3 test cases, fix exposed cras...

[vabridgers via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c71bbd50a10d733dc066db8f83638f9454c9705d
      https://github.com/llvm/llvm-project/commit/c71bbd50a10d733dc066db8f83638f9454c9705d
  Author: vabridgers <58314289+vabridgers at users.noreply.github.com>
  Date:   2025-07-03 (Thu, 03 Jul 2025)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
    M clang/test/Analysis/PR37855.c
    M clang/test/Analysis/z3-crosscheck.c
    M llvm/lib/Support/Z3Solver.cpp

  Log Message:
  -----------
  [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 at ericsson.com>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications