[PATCH] D47554: [analyzer] Check for dead/impossible status checks

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov requested changes to this revision.
george.karpenkov added a comment.
This revision now requires changes to proceed.

@NoQ had some valid comments. I think this could be still useful without dataflow if we negate matches containing escaping and assignments.
Though of course this check really begs for a dataflow engine.


Repository:
  rC Clang

https://reviews.llvm.org/D47554