[PATCH] D81678: Introduce frozen attribute at call sites for stricter poison analysis

Evgenii Stepanov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 19 20:35:53 PDT 2020


eugenis added a comment.

> Could you explicitly state that if it is aggregate or vector type all elements and paddings should be frozen too?

If an aggregate is passed as an aggregate at IR level, we should not care about the padding.
Unless it's coerced to an integer.


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