[PATCH] D81678: Introduce partialinit attribute at call sites for stricter poison analysis
Gui Andrade via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 11 13:47:55 PDT 2020
guiand added a comment.
As it stands, this attribute is applied whether or not msan is enabled, specifically because we think it can be useful in other contexts.
As for the negativity of this attribute, it's true that it would be more intuitive to have it be something like `fullinit` instead. I did it this way because passing arguments which are `partialinit` is orders of magnitude less common than the inverse. So this avoids polluting most generated code with a new attribute.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D81678/new/
https://reviews.llvm.org/D81678
More information about the cfe-commits
mailing list