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" the variable contained a trap representation regardless. At least that's my reading.