================ @@ -57,10 +57,14 @@ ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, // We cannot reason about SymSymExprs, and can only reason about some // SymIntExprs. if (!canReasonAbout(Cond)) { - // Just add the constraint to the expression without trying to simplify. SymbolRef Sym = Cond.getAsSymbol(); - assert(Sym); - return assumeSymUnsupported(State, Sym, Assumption); + if (Sym) { + // this will simplify the symbol, so only call this if we have a + // symbol. + return assumeSymUnsupported(State, Sym, Assumption); + } else { + return State; + } ---------------- steakhal wrote:
```suggestion if (SymbolRef Sym = Cond.getAsSymbol()) return assumeSymUnsupported(State, Sym, Assumption); return State; ``` https://github.com/llvm/llvm-project/pull/87521 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits