https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109557
--- Comment #5 from Martin Uecker <muecker at gwdg dot de> --- (In reply to Siddhesh Poyarekar from comment #4) > (In reply to Martin Uecker from comment #3) > > I general the pointer could point to the first object of an array that has > > more elements, or to an object of a different type. > > How so? p in comment 0 is just a NULL-initialized pointer. It gets > assigned to a malloc'd storage in store() (which the code in main() cannot > see) but until then, it's a NULL pointer. With "in general" I meant in a different program. From just knowing the type of the pointer you can not derive the object size. This is how I understood the original question.