[clang] [analyzer] Indicate UnarySymExpr is not supported by Z3 (PR #108900)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 17 03:55:02 PDT 2024


================
@@ -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


More information about the cfe-commits mailing list