Displaying 1 result from an estimated 1 matches for "1ecfa619".
2020 Jul 13
4
(When) Do function calls read/latch/freeze their parameters?
Hi,
We're looking at what may be a real-life bug encountered by our
compiler related to `undef` values and function calls.
The input program effectively contains the expression
clamp(v, x, x)
expecting that the result will be equal to `x`, even when `v` is read
from uninitialized memory. In the input language, `clamp` is a
built-in, so this expectation is somewhat reasonable.
In our