https://github.com/Snape3058 created https://github.com/llvm/llvm-project/pull/183724
Addressing #181581, continuing #183034 This enables executing all test cases with the `REQUIRES: z3` tag via the `check-clang-analysis-z3` target. >From 367f7c4501bfaa5ba357f8931a8dcbdefb70f025 Mon Sep 17 00:00:00 2001 From: Ella Ma <[email protected]> Date: Fri, 27 Feb 2026 11:23:27 +0100 Subject: [PATCH] [NFC][analyzer][test][z3] Move test cases requiring Z3 to the `Analysis/z3/` subdirectory Addressing #181581, continuing #183034 This enables executing all test cases with the `REQUIRES: z3` tag via the `check-clang-analysis-z3` target. --- clang/test/Analysis/{ => z3}/PR37855.c | 0 clang/test/Analysis/{ => z3}/bitint-z3.c | 0 clang/test/Analysis/{ => z3}/cstring-addrspace.c | 0 clang/test/Analysis/{ => z3}/unary-sym-expr-z3-refutation.c | 0 clang/test/Analysis/{ => z3}/z3-crosscheck-max-attempts.cpp | 0 clang/test/Analysis/{ => z3}/z3-crosscheck.c | 2 +- clang/test/Analysis/{ => z3}/z3-refute-enum-crash.cpp | 0 clang/test/Analysis/{ => z3}/z3-unarysymexpr.c | 0 8 files changed, 1 insertion(+), 1 deletion(-) rename clang/test/Analysis/{ => z3}/PR37855.c (100%) rename clang/test/Analysis/{ => z3}/bitint-z3.c (100%) rename clang/test/Analysis/{ => z3}/cstring-addrspace.c (100%) rename clang/test/Analysis/{ => z3}/unary-sym-expr-z3-refutation.c (100%) rename clang/test/Analysis/{ => z3}/z3-crosscheck-max-attempts.cpp (100%) rename clang/test/Analysis/{ => z3}/z3-crosscheck.c (99%) rename clang/test/Analysis/{ => z3}/z3-refute-enum-crash.cpp (100%) rename clang/test/Analysis/{ => z3}/z3-unarysymexpr.c (100%) 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 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
