[PATCH] D12780: [analyzer] Add generateErrorNode() APIs to CheckerContext

[Jordan Rose via cfe-commits]

jordan_rose added inline comments.

================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h:321
@@ +320,3 @@
+    // sink, we assume that a client requesting a transition to a state that is
+    // the same as the predecessor state has made a mistake. We return the
+    // predecessor and rather than cache out.
----------------
What does "has made a mistake" mean? What is the mistake and how will they discover it?


http://reviews.llvm.org/D12780