================ @@ -0,0 +1,16 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s \ +// RUN: -analyzer-constraints=z3 + +// REQUIRES: Z3 +// +// This LIT covers a crash associated with this test. +// The expectation is to not crash! ---------------- NagyDonat wrote:
```suggestion // Previously Z3 analysis crashed when it encountered an UnarySymExpr, validate // that this no longer happens. ``` https://github.com/llvm/llvm-project/pull/108900 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
