[PATCH] D81678: Introduce partialinit attribute at call sites for stricter poison analysis
    Gui Andrade via Phabricator via llvm-commits 
    llvm-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 llvm-commits
mailing list