NoQ added a comment.

> I have one question though. Isn't this counting all the reports in an 
> equivalence class?

Yes it is. You have no choice but to run refutation before deduplication; 
otherwise the otherwise-best report in the class may be false when other 
reports are true.


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

https://reviews.llvm.org/D82856



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

Reply via email to