John David Anglin wrote:
As far as I know, GCC doesn't support a trap representation for "int *" types. Thus, an "indeterminate value" is simply an unspecified value.
You can't reason this way either. The implementation may behave "as if" thevariable contained a trap representation regardless. At least that's my reading.