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

[Juneyoung Lee via Phabricator via cfe-commits]

aqjune accepted this revision.
aqjune added a comment.
This revision is now accepted and ready to land.

For the LangRef part, LGTM modulo the suggested change. Could anyone review clang and LLVM's updated part?



================
Comment at: llvm/docs/LangRef.rst:1644
+    and return values. When ``"frozen"`` is present, every bit of the
+    tagged type is fully initialized and never poison.
 ``"probe-stack"``
----------------
Could you explicitly state that if it is aggregate or vector type all elements and paddings should be frozen too?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D81678/new/

https://reviews.llvm.org/D81678