[PATCH] D62883: [analyzer] Track terminator conditions on which a tracked expressions depends

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.

Aha, ok, got it. I guess the official term is "error node" (where "error" means "warning").



================
Comment at: clang/test/Analysis/track-control-dependency-conditions.cpp:1-8
+// RUN: %clang_analyze_cc1 %s -verify -DTRACKING_CONDITIONS \
+// RUN:   -analyzer-config track-conditions=true \
+// RUN:   -analyzer-output=text \
+// RUN:   -analyzer-checker=core
+//
+// RUN: %clang_analyze_cc1 %s -verify \
+// RUN:   -analyzer-output=text \
----------------
Btw did you try `-verify=` as in D60732? It might make the test more readable.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62883/new/

https://reviews.llvm.org/D62883