Eugene.Zelenko added a comment.

In https://reviews.llvm.org/D30650#695350, @klimek wrote:

> In https://reviews.llvm.org/D30650#693165, @Eugene.Zelenko wrote:
>
> > I think we should refactor this check as part of Static Analyzer, since 
> > it's path-sensitive.
>
>
> Are you saying it should be path sensitive? Because currently it's not, right?


It handle paths, as far as I could tell from regression test. But will it 
handle all possible paths? What about path reporting? And this is definitely 
duplication of Static Analyzer functionality.


Repository:
  rL LLVM

https://reviews.llvm.org/D30650



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to