[LLVMdev] Question: Motivation of the semantics of the undefined value?

[Chung-Kil Hur]

Dear LLVMdev,

We have a question regarding the semantics of the undefined value in LLVM
IR.

As far as we understand, in order to give a semantics to the undefined
value, the semantics of LLVM IR is generalized to a rather unusual
set-based semantics. More specifically, the notion of value in LLVM IR is
generalized to a set of values, rather than a single value. Then the
undefined value is simply defined as the set of all values.

Our question is simply why LLVM does not use the notion of trap
representation of C11 standard to represent the undefined value, rather
than using the set-based semantics.

We'd like to understand the motivation of the set-based semantics over the
trap representation.

Thanks.
Chung-Kil Hur, Steve Zdancewic & Viktor Vafeiadis.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150317/fa236059/attachment.html>