================
@@ -932,7 +932,8 @@ class Z3Statistics final : public SMTSolverStatistics {
};
unsigned getUnsigned(StringRef Key) const override {
auto It = UnsignedValues.find(Key.str());
- assert(It != UnsignedValues.end());
+ if (It == UnsignedValues.end())
+ return 0;
----------------
steakhal wrote:
@vabridgers Could you investigate this question?
https://github.com/llvm/llvm-project/pull/146597
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
