Displaying 1 result from an estimated 1 matches for "vafeiadis".
2015 Mar 16
2
[LLVMdev] Question: Motivation of the semantics of the undefined value?
...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>