JonasToth added a comment.

There is a `ExprMutAnalyzer` that is able to find mutation of expressions in 
general (even though it is kinda experimental still). Maybe that should be 
utilized somehow? I think the current implementation does not cover when the 
address is taken and mutation happens through pointers/references in free 
standing functions, does it?

On the other hand it makes the check more complicated, slower. Additionally the 
most cases are catched with this version, i guess.


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

https://reviews.llvm.org/D70052



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

Reply via email to