================ @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core -w -DNO_CROSSCHECK -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core -w -analyzer-config crosscheck-with-z3=true -verify %s +// REQUIRES: z3 + +// The SMTConv layer did not comprehend _BitInt types (because this was an +// evolved feature) and was crashing due to needed updates in 2 places. +// Analysis is expected to find these cases using _BitInt without crashing. ---------------- steakhal wrote:
This comment seems to be overly specific. I don't find much use of it anyway so I'd suggest dropping this. https://github.com/llvm/llvm-project/pull/143310 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
