[PATCH] D124674: [analyzer] Indicate if a parent state is infeasible

[Balázs Benics via Phabricator via cfe-commits]

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