[PATCH] D76229: [clang-tidy] Added PlacementNewStorageCheck

Tue Mar 17 09:38:13 PDT 2020

Charusso added a comment.

In D76229#1925363 <https://reviews.llvm.org/D76229#1925363>, @f00kat wrote:

> In D76229#1925268 <https://reviews.llvm.org/D76229#1925268>, @aaron.ballman wrote:
>
> > Have you considered making this a static analyzer check as opposed to a clang-tidy check? I think using dataflow analysis will really reduce the false positives because it will be able to track the allocation and alignment data across control flow.
>
>
> I have never try to write static analyzer before. Okay, I will look at examples of how to work with dataflow.

To getting started with the Analyzer please visit @NoQ's (tiny bit outdated) booklet: https://github.com/haoNoQ/clang-analyzer-guide

Advertisement:
If D69726 <https://reviews.llvm.org/D69726> lands we will have an arsenal of APIs for helping dynamic size based checkers.
If D73521 <https://reviews.llvm.org/D73521> lands it should be easier to getting started with the Analyzer, but now you could visit what is our current API.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76229