Displaying 1 result from an estimated 1 matches for "freezeconstantexpr".
2016 Oct 20
3
RFC: Killing undef and spreading poison
Hi Krzysztof,
Krzysztof Parzyszek wrote:
> On 10/18/2016 4:29 PM, Nuno Lopes wrote:
>> Even %a and %b might not be the same in "%a = freeze(%x), %b =
>> freeze(%x)" (each freeze returns an arbitrary, but fixed, value).
>
> Assume that %x is known to be a poison value and have:
> %a = freeze(%x)
> %b = freeze(%x)
>
> Is %a == %a true?
Yes, %a is always