NoQ added a comment.

So, like, with locals it should be possible to easily and intuitively suppress 
the false positive, even if there is one, by simply using an extra variable, 
and additionally there's the `[[clang::reinitializes]]` attribute added by 
@xazax.hun that will help people suppress the warning when their object has a 
popular state-reset method that Static Analyzer doesn't understand. I believe 
this is a good trade-off between usefulness and usability, given that most 
positives with locals i've seen so far looked like real bugs.


Repository:
  rC Clang

https://reviews.llvm.org/D54557



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

Reply via email to