[all-commits] [llvm/llvm-project] bbcee7: Revert "[analyzer] Harden safeguards for Z3 query ...
Balazs Benics via All-commits
all-commits at lists.llvm.org
Tue Jun 18 05:50:21 PDT 2024
Branch: refs/heads/revert-95129-users/steakhal/spr/analyzer-harden-safeguards-for-z3-query-times
Home: https://github.com/llvm/llvm-project
Commit: bbcee744465c72b8000321defd85ed3daa290502
https://github.com/llvm/llvm-project/commit/bbcee744465c72b8000321defd85ed3daa290502
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/Z3CrosscheckVisitor.h
M clang/lib/StaticAnalyzer/Core/BugReporter.cpp
M clang/lib/StaticAnalyzer/Core/Z3CrosscheckVisitor.cpp
M clang/test/Analysis/analyzer-config.c
M clang/unittests/StaticAnalyzer/Z3CrosscheckOracleTest.cpp
Log Message:
-----------
Revert "[analyzer] Harden safeguards for Z3 query times"
This reverts commit eacc3b3504be061f7334410dd0eb599688ba103a.
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list