------- Comment #11 from pcarlini at suse dot de 2007-01-10 19:18 ------- Forgot: assuming we imagine the standard clarified per your proposal on LWG (or read as such for all practical matters), I understand that not segfaulting when size == 0 would be a conforming behavior. Then, in v3, we could change the code to *always* avoid segfaulting, that is, for any n and any size, in a consistent way. I vounteer to implement that behavior.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30416