[clang] [nfc][analyzer][test][z3] Replace "REQUIRES: no-z3" with "UNSUPPORTED: z3" (PR #184349)

[via cfe-commits]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang-static-analyzer-1

Author: Ella Ma (Snape3058)

<details>
<summary>Changes</summary>

Fixing D120325, continuing #<!-- -->183724

Lit feature "no-z3" is the opposite of "z3", requiring "no-z3" is the same as unsupporting "z3".

---
Full diff: https://github.com/llvm/llvm-project/pull/184349.diff


2 Files Affected:

- (modified) clang/test/Analysis/missing-z3-nocrash.c (+1-1) 
- (modified) clang/test/lit.cfg.py (-2) 


``````````diff
diff --git a/clang/test/Analysis/missing-z3-nocrash.c b/clang/test/Analysis/missing-z3-nocrash.c
index 698430fffe1a1..2e345ad00f5ab 100644
--- a/clang/test/Analysis/missing-z3-nocrash.c
+++ b/clang/test/Analysis/missing-z3-nocrash.c
@@ -1,5 +1,5 @@
 // RUN: not %clang_analyze_cc1 -analyzer-constraints=z3 %s 2>&1 | FileCheck %s
-// REQUIRES: no-z3
+// UNSUPPORTED: z3
 
 // CHECK: error: analyzer constraint manager 'z3' is only available if LLVM
 // CHECK: was built with -DLLVM_ENABLE_Z3_SOLVER=ON
diff --git a/clang/test/lit.cfg.py b/clang/test/lit.cfg.py
index 6796c64fc4778..14fefbf0d5424 100644
--- a/clang/test/lit.cfg.py
+++ b/clang/test/lit.cfg.py
@@ -224,8 +224,6 @@ def have_host_clang_repl_cuda():
         config.available_features.add("z3")
         if config.clang_staticanalyzer_z3_mock:
             config.available_features.add("z3-mock")
-    else:
-        config.available_features.add("no-z3")
 
     check_analyzer_fixit_path = os.path.join(
         config.test_source_root, "Analysis", "check-analyzer-fixit.py"

``````````

</details>


https://github.com/llvm/llvm-project/pull/184349