[all-commits] [llvm/llvm-project] 8fc9c0: [analyzer] Revert Z3 changes (#95916)

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8fc9c03cded022e2bfe16f6fd7470c3adedcd29c
      https://github.com/llvm/llvm-project/commit/8fc9c03cded022e2bfe16f6fd7470c3adedcd29c
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-06-18 (Tue, 18 Jun 2024)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def
    M clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
    R clang/include/clang/StaticAnalyzer/Core/BugReporter/Z3CrosscheckVisitor.h
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
    M clang/lib/StaticAnalyzer/Core/BugReporter.cpp
    M clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
    M clang/lib/StaticAnalyzer/Core/CMakeLists.txt
    R clang/lib/StaticAnalyzer/Core/Z3CrosscheckVisitor.cpp
    M clang/test/Analysis/analyzer-config.c
    R clang/test/Analysis/z3/crosscheck-statistics.c
    M clang/unittests/StaticAnalyzer/CMakeLists.txt
    R clang/unittests/StaticAnalyzer/Z3CrosscheckOracleTest.cpp
    M llvm/include/llvm/Support/SMTAPI.h
    M llvm/lib/Support/Z3Solver.cpp

  Log Message:
  -----------
  [analyzer] Revert Z3 changes (#95916)

Requested in:
https://github.com/llvm/llvm-project/pull/95128#issuecomment-2176008007

Revert "[analyzer] Harden safeguards for Z3 query times"
Revert "[analyzer][NFC] Reorganize Z3 report refutation"

This reverts commit eacc3b3504be061f7334410dd0eb599688ba103a.
This reverts commit 89c26f6c7b0a6dfa257ec090fcf5b6e6e0c89aab.



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