Нет, они не выделяют память, они просто сбрасывают структуру, чтобы она содержала все нули, чтобы она инициализировалась до некоторого известного состояния, и программа ведет себя воспроизводимым образом. Так как они перезаписывают только эту структуру (sizeof
передается как «число байтов»), они ничего не переполняют.