[PATCH] D53076: [analyzer] Enhance ConditionBRVisitor to write out more information

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Nov 26 13:22:12 PST 2018


george.karpenkov added a comment.

This looks more reasonable, thanks!
What about just dropping the `Knowing` prefix?
Just having `arr is null, taking true branch` seems considerably more readable.


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

https://reviews.llvm.org/D53076





More information about the cfe-commits mailing list