Szelethus added a comment.

While I still see checker silencing as a solution to a problem that shouldn't 
exist, I'm unsure about the amount of tedious and invasive work required to 
make the underlying infrastructure elegant just for the sake of it being 
elegant. Most notably, checker silencing solves the problem where a checker 
finds fatal errors -- disabling such a checker also gets rid of the sink node, 
which makes the entire analysis behave differently. This is desirable, as 
explained by @a.sidorin in 
https://lists.llvm.org/pipermail/cfe-dev/2019-August/063135.html. Although I 
still have concerns about the user interface if we promoted checker silencing 
to be user facing, it might be worth investigating a bit further.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102683

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

Reply via email to