I would imagine this might work in cases where the compiler can prove that all addresses are written, but probably this is a limited number of cases. Likely it

I would imagine this might work in cases where the compiler can prove that all addresses are written, but probably this is a limited number of cases. Likely it would do so simply by noticing two successive writes to the same location, instead of doing anything special related to calloc.