Entiendo las peculiaridades de cada compilador, aun asi cuando sobrepasamos LONG_MAX (2^31 -1) esto hace overflow y empieza por el minimo int, vamos es como un bucle, y este bucle se repite si seguimos poniendo numero mas grandes y mas grandes hasta que llegamos al numero al numero en cuestion (2^63) a partir del cual los resultados son o bien 0 o bien -1, y esto no me parece un comportamiento indefinido mas bien parece hecho adrede.
Gracias por una respuesta tan aclaratoria, habia conceptos de los que no tenia constancia como el endianess, solo para confirmar que mi duda esta aclarada , a la hora de almacenar cualquier dato en hexadecimal se almacena byte a byte (los dos caracteres de hexadecimal) segun cada criterio, en big endian es por asi decirlo el "orden clasico" de escribir un numero en su base en este caso : 16^8 + 16^7 + ... + 16^1 + 16^0 en cambio little endian invierte en bytes el orden es decir que quedaria: (16^1 + 16^0) + (16^3 + 16^2) + ... + (16^8 + 16^7). es correcto?
Gracias por la respuesta tan completa, se me ha olvidado comentar que esto era para un ejercicio mas grande en C y solo se me permite usar malloc y free (uso cout y cin solo para hacer pruebas pues me resulta menos engorroso que printf y scanf, pero el ejercicio luego debe ser completamente en C), sabiendo esto la lista enlazada que nombras es la mejor opción?