[PATCH] D49042: [LangRef] Clarify alloca of zero bytes.

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

Does this mean we can "construct" `undef` as:

  x = alloca 0
  y = alloca 0
  undef = x == y  // Non-deterministically 0 or 1

?  If so, this is a problem since it means even if we spec un-initialized memory as `poison` we still have `undef` in the IR (with all the problems it brings).


Repository:
  rL LLVM

https://reviews.llvm.org/D49042