[PATCH] D75171: [Analyzer] Fix for incorrect use of container and iterator checkers

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 27 09:44:00 PST 2020


baloghadamsoftware added a comment.

In D75171#1893811 <https://reviews.llvm.org/D75171#1893811>, @Szelethus wrote:

> Im sorry, i though we talked about internal code and we're stuck with the checker interface -- this should definitely be solved by changing the parameter of the `shouldRegister` function to `CheckerManager`. If you want to emit errors for incorrect file, there is an example in `UninitializedObjectChecker` and maybe in `GenericTaintChecker`.


Sorry, but it does not work. It is impossible to use `CheckerManager` as parameter for `shouldRegisterXXX()` because `CheckerRegistry` does not have it. If I add `CheckerManager` to `CheckerRegistry` then the `printXXX()` functions will not work because they do not have `CheckerManager` at all.  I tried to add `AnalyzerOptions` as a second parameter (see D75271 <https://reviews.llvm.org/D75271>), but it does not help in printing error message. I need a way to solve 44998 <https://bugs.llvm.org/show_bug.cgi?id=44998> by rejecting the checker if the option is disabled **and** printing an error message.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75171





More information about the cfe-commits mailing list