[llvm-dev] (When) Do function calls read/latch/freeze their parameters?

[Johannes Doerfert via llvm-dev]

On 7/13/20 4:56 PM, Nuno Lopes via llvm-dev wrote:
> There's a new attribute for arguments under review, I think name noundef,


Was merged: 
https://reviews.llvm.org/rG89f1ad88b3f1ecf32e797247b9eab5662ed4bcf4


```

|noundef|
    This attribute applies to parameters and return values. If the value
    representation contains any undefined or poison bits, the behavior
    is undefined. Note that this does not refer to padding introduced by
    the type’s storage representation.
```


Next step is to make existing attributes not create UB but produce 
poison if violated.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200714/1ecfa619/attachment.html>