[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
Tue Jun 16 18:06:06 PDT 2020


guiand added a comment.

In D81678#2097081 <https://reviews.llvm.org/D81678#2097081>, @aqjune wrote:

> To minimize diff, what about additionally introducing a function-level attribute such as `args_frozen` stating that all arguments are frozen. (e.g `define void @f(i32 x, i32 y) args_frozen`)?


I like this idea, and I think it will vastly reduce the tests diff. I'll try to update this patch with a positive `frozen` arg attribute and `args_frozen` function attribute ASAP.


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