baloghadamsoftware added a comment.

In D81718#2095957 <https://reviews.llvm.org/D81718#2095957>, @NoQ wrote:

> If the checker does not know something, then neither does a method on 
> `CallEvent`. I suggest you don't introduce methods on `CallEvent` the entire 
> purpose of which is to support an incorrect solution in your checker.


What is the correct solution then? To put branches all over the code of the 
checkers? Surely not. The checker must first recognize the nature of the 
iterator parameters and return values for every call. This recognition and then 
the decision should be wrapped into a function. If not in `CallEvent` then in 
the iterator-related checker's common library. There is no point to repeat the 
same code all over the checkers.


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

https://reviews.llvm.org/D81718



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

Reply via email to