[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