[PATCH] D73376: [analyzer] Add FuchsiaLockChecker and C11LockChecker

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 27 09:51:18 PST 2020


xazax.hun added a comment.

In D73376#1839818 <https://reviews.llvm.org/D73376#1839818>, @NoQ wrote:

> I don't see any immediate solutions to the boilerplate that don't consist in introducing better checker APIs. Eg., we could have introduced a `LazyBugType` - a wrapper around `Optional<BugType>` that'd take description immediately but create the actual bug type only once the checker name is known, or we could make a `MultiCallDescriptionMap` that'd prevent us from both splitting up the map and writing down an extra piece of information on every line.


Those would be very welcome additions. Although these are more likely to be useful for advanced users and not help with writing one's first checker, so I guess this remains to be nice to have :)

> You mean `PthreadLockBase`? I think that's how @Szelethus intended to have such checker hierarchies to work.

Yay!


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

https://reviews.llvm.org/D73376





More information about the cfe-commits mailing list