diff options
| author | Balazs Benics <benicsbalazs@gmail.com> | 2024-07-01 17:22:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-01 17:22:24 +0200 |
| commit | ae570d82e8c021f45209830db8c9c7bb79bed394 (patch) | |
| tree | 7d86f2f754fceaa3a83afa3cbfec45f0ea0a5e0a /lldb/test/API/functionalities/plugins/python_os_plugin | |
| parent | 65c807e69545ec23c1a258f66f744874531c7d26 (diff) | |
Reland "[analyzer] Harden safeguards for Z3 query times" (#97298)
This is exactly as originally landed in #95129,
but now the minimal Z3 version was increased to meet this change in #96682.
https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664/4
---
This patch is a functional change.
https://discourse.llvm.org/t/analyzer-rfc-taming-z3-query-times/79520
As a result of this patch, individual Z3 queries in refutation will be
bound by 300ms. Every report equivalence class will be processed in at
most 1 second.
The heuristic should have only really marginal observable impact -
except for the cases when we had big report eqclasses with long-running
(15s) Z3 queries, where previously CSA effectively halted. After this
patch, CSA will tackle such extreme cases as well.
(cherry picked from commit eacc3b3504be061f7334410dd0eb599688ba103a)
Diffstat (limited to 'lldb/test/API/functionalities/plugins/python_os_plugin')
0 files changed, 0 insertions, 0 deletions