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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D76229#1929453 <https://reviews.llvm.org/D76229#1929453>, @martong wrote:

> Please note about the alignment requirements that they are not checked in the static analyzer for a reason. To track the alignment data across the data flow, probably we should modify the analyzer's core structure (e.g. `MemRegion`) and some modeling checkers like the `MallocChecker`. That is not an impossible task but also far from easy IMHO (would require several patches built on top of each other). Just as an example for the subtleties: think about the nuances of `operator new`s default alignment and specific C++17 rules (https://reviews.llvm.org/D67545).


This checker's tests only cover `VarRegion`-based regions. It should be easy to pick up the alignment from the AST for the `VarDecl` it corresponds to.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76229