[clang] 88693c4 - [NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory (#183724)

[via cfe-commits]

Author: Ella Ma
Date: 2026-03-02T12:25:37Z
New Revision: 88693c49d9ac58a33af5978d31f6c70fe1d5b45b

URL: https://github.com/llvm/llvm-project/commit/88693c49d9ac58a33af5978d31f6c70fe1d5b45b
DIFF: https://github.com/llvm/llvm-project/commit/88693c49d9ac58a33af5978d31f6c70fe1d5b45b.diff

LOG: [NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory (#183724)

Addressing #181581, continuing #183034

This enables executing all test cases with the `REQUIRES: z3` tag via
the `check-clang-analysis-z3` target.

Added: 
    clang/test/Analysis/z3/PR37855.c
    clang/test/Analysis/z3/bitint-z3.c
    clang/test/Analysis/z3/cstring-addrspace.c
    clang/test/Analysis/z3/unary-sym-expr-z3-refutation.c
    clang/test/Analysis/z3/z3-crosscheck-max-attempts.cpp
    clang/test/Analysis/z3/z3-crosscheck.c
    clang/test/Analysis/z3/z3-refute-enum-crash.cpp
    clang/test/Analysis/z3/z3-unarysymexpr.c

Modified: 
    

Removed: 
    clang/test/Analysis/PR37855.c
    clang/test/Analysis/bitint-z3.c
    clang/test/Analysis/cstring-addrspace.c
    clang/test/Analysis/unary-sym-expr-z3-refutation.c
    clang/test/Analysis/z3-crosscheck-max-attempts.cpp
    clang/test/Analysis/z3-crosscheck.c
    clang/test/Analysis/z3-refute-enum-crash.cpp
    clang/test/Analysis/z3-unarysymexpr.c


################################################################################
diff  --git a/clang/test/Analysis/PR37855.c b/clang/test/Analysis/z3/PR37855.c
similarity index 100%
rename from clang/test/Analysis/PR37855.c
rename to clang/test/Analysis/z3/PR37855.c

diff  --git a/clang/test/Analysis/bitint-z3.c b/clang/test/Analysis/z3/bitint-z3.c
similarity index 100%
rename from clang/test/Analysis/bitint-z3.c
rename to clang/test/Analysis/z3/bitint-z3.c

diff  --git a/clang/test/Analysis/cstring-addrspace.c b/clang/test/Analysis/z3/cstring-addrspace.c
similarity index 100%
rename from clang/test/Analysis/cstring-addrspace.c
rename to clang/test/Analysis/z3/cstring-addrspace.c

diff  --git a/clang/test/Analysis/unary-sym-expr-z3-refutation.c b/clang/test/Analysis/z3/unary-sym-expr-z3-refutation.c
similarity index 100%
rename from clang/test/Analysis/unary-sym-expr-z3-refutation.c
rename to clang/test/Analysis/z3/unary-sym-expr-z3-refutation.c

diff  --git a/clang/test/Analysis/z3-crosscheck-max-attempts.cpp b/clang/test/Analysis/z3/z3-crosscheck-max-attempts.cpp
similarity index 100%
rename from clang/test/Analysis/z3-crosscheck-max-attempts.cpp
rename to clang/test/Analysis/z3/z3-crosscheck-max-attempts.cpp

diff  --git a/clang/test/Analysis/z3-crosscheck.c b/clang/test/Analysis/z3/z3-crosscheck.c
similarity index 99%
rename from clang/test/Analysis/z3-crosscheck.c
rename to clang/test/Analysis/z3/z3-crosscheck.c
index 8cbe7dd2975d0..41ecaee5529e0 100644
--- a/clang/test/Analysis/z3-crosscheck.c
+++ b/clang/test/Analysis/z3/z3-crosscheck.c
@@ -4,7 +4,7 @@
 
 void clang_analyzer_dump(float);
 
-int foo(int x) 
+int foo(int x)
 {
   int *z = 0;
   if ((x & 1) && ((x & 1) ^ 1))

diff  --git a/clang/test/Analysis/z3-refute-enum-crash.cpp b/clang/test/Analysis/z3/z3-refute-enum-crash.cpp
similarity index 100%
rename from clang/test/Analysis/z3-refute-enum-crash.cpp
rename to clang/test/Analysis/z3/z3-refute-enum-crash.cpp

diff  --git a/clang/test/Analysis/z3-unarysymexpr.c b/clang/test/Analysis/z3/z3-unarysymexpr.c
similarity index 100%
rename from clang/test/Analysis/z3-unarysymexpr.c
rename to clang/test/Analysis/z3/z3-unarysymexpr.c