In 2nd paragraph, the author states: void foo(const int *); ... > The function foo takes a const pointer, which is a promise from the author of foo th

In 2nd paragraph, the author states: void foo(const int *); ... > The function foo takes a const pointer, which is a promise from the author of foo that it won’t modify the value of x. Given this information, it would seem the compiler may assume x is always zero, and therefore y is always zero.