Dos casos al intentar imprimir NULL, se trabaja, otros segfaults

Question

En el siguiente:

printf("Example%s\n",NULL); 
printf("%s\n",NULL); 

Me da la salida como:

Example(null) 
Segmentation Fault 

Cuando traté traza en GDB se muestra printf() es convertido a puts(). Pero no puedo entender por qué sucede esto.

BTW He encontrado this artículo pero todavía no parece tener sentido.

Answer 1

La norma dice que la aprobación de un puntero NULL como argumento a una printf con %s especificador es un comportamiento indefinido (es decir, cualquier cosa puede suceder), por lo que ambos comportamientos son lícitas.

En el primer caso, la biblioteca estándar (en particular, el código printf) te está haciendo un favor al imprimir (null).

En el segundo caso, el optimizador entiende que su printf puede reemplazarse por un puts (que es más eficiente) sin ningún cambio en el "comportamiento observable" del programa, por lo que lo reemplaza. Pero, puts no contiene el código de comprobación NULL del printf, y por lo tanto se obtiene un error de segmentación.

---

1. C99, §7.19.6.1, ¶8:

   el argumento será un puntero al primer elemento de un array de tipo carácter.

   ¶9:

   Si algún argumento no es del tipo correcto para la especificación de conversión correspondiente, el comportamiento es indefinido.

   Tumbes y en este último caso, debido a NULL no es "un puntero al primer elemento de un array de tipo carácter.