On 9/1/21 10:22 PM, Michael Kerrisk (man-pages) wrote:
I suppose that you are talking about this sentence (which I did finally discover) from Section 6.2.4 ("Storage durations of objects") in the C11 standard: [[ The value of a pointer becomes indeterminate when the object it points to (or just past) reaches the end of its lifetime. ]]
Although I haven't checked the standard, that does sound like the sort of thing I was talking about, yes.