https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86259
--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> --- There is an ongoing effort to clarify the provenance of pointers in C. A recent proposal for such clarification is N2219: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2219.htm I don't see anything in the paper that speaks directly to the test cases here but 2.3.1 and 2.3.2 come close. There is a separate question of whether strings (as in arguments to string functions like strlen) extend to arbitrary seq
