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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
