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

Karasev Nikita via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 16 14:46:32 PDT 2020


f00kat added a comment.

In D76229#1925360 <https://reviews.llvm.org/D76229#1925360>, @lebedev.ri wrote:

> This seems to be already handled by clang static analyzer? (`clang-analyzer-cplusplus.PlacementNew`)
>
>   <source>:19:5: warning: Storage provided to placement new is only 2 bytes, whereas the allocated type requires 8 bytes [clang-analyzer-cplusplus.PlacementNew]
>       ::new (&s1) long;
>       ^
>   <source>:19:5: note: Storage provided to placement new is only 2 bytes, whereas the allocated type requires 8 bytes
>   <source>:64:3: warning: Storage provided to placement new is only 2 bytes, whereas the allocated type requires 8 bytes [clang-analyzer-cplusplus.PlacementNew]
>     ::new (buffer3) long;
>     ^
>
>
> https://godbolt.org/z/9VX5WW


But it seems like not all of my tests pass on static analyzer?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76229





More information about the cfe-commits mailing list