[PATCH] D21948: [DSE] fix - missing store to runtime stack in thunk with tail call bvval arg

[Gerolf Hoflehner via llvm-commits]

Sent from my iPhone

> On Jul 2, 2016, at 5:15 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
> 
> eli.friedman added a subscriber: eli.friedman.
> eli.friedman added a comment.
> 
> Special-casing this in DSE makes no sense... alias analysis should always return the correct result.
> 
> In this case, alias analysis is correct; the definition of "tail" doesn't allow marking this call.

Why?
>  If clang is generating code like this, it's a bug in clang.
> 
> 
> http://reviews.llvm.org/D21948
> 
> 
>