steakhal accepted this revision. steakhal added a comment. only a few typos
================ Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:89-114 + // A state is infeasible if there is a contradiction among the constraints. + // An infeasible state is represented by a nullptr. + // In the sense of `assumeDual`, a state can have two children by adding a + // new constraint and the negation of that new constraint. A parent state is + // over-constrained if both of its children are infeasible. In the + // mathematical sense it means that the parent is infeasible and we should + // have realised that at the moment when we have created it. However, we ---------------- 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
