NoQ added a comment. Yes, we've discussed this before, and I'm very much in favor of this change. This is assertion removal, and the assertion has been really useful back in the day, but the assertion doesn't seem to be realistic to maintain with all the new logic in the constraint solver coming in in recent years.
================ Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:88 GenericDataMap GDM; // Custom data stored by a client of this class. + bool Infeasible = false; unsigned refCount; ---------------- The reader deserves a massive amount of explanation here. Normally infeasible states are just null states. We need to explain how these new infeasible states are different. Maybe a longer name? `IsPostOverconstrained` or something like that. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124674/new/ https://reviews.llvm.org/D124674 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
