================ @@ -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 [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
