fine linea (documentazione GNU)

Question

sto leggendo documentazione su pre-elaborazione gcc, ho letto la seguente frase (here):

If the last line of any input file lacks an end-of-line marker, the end of the file is considered to implicitly supply one. The C standard says that this condition provokes undefined behavior, so GCC will emit a warning message.

cerco di produrre l'avviso facendo:

> echo -n "int main(void) {return 0;}" > test.c 
> gcc -Wall -Wextra -Werror test.c 

Ma nessun problema, compila. Capisco l'indicatore di fine riga come carattere di nuova riga, ma sembra che sia tutto il resto.

Come è possibile produrre l'avviso?

Answer 1

Sembra che sia stato rimosso da gcc.

Vedi questo: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14331#c19

2007-05-31

PR preprocessor/14331 
    * lex.c (_cpp_get_fresh_line): Don't warn if no newline at EOF. 

Answer 2

C11 (N1570), §5.1.1.2, stati:

A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character before any such splicing takes place.

Quindi non avere una nuova riga alla del file viola il sopra "deve" limitare.

clang mette in guardia su di esso:

$ printf "int main(void) {return 0;}" > test.c 
$ clang -Weverything test.c 
test.c:1:27: warning: no newline at end of file [-Wnewline-eof] 
int main(void) {return 0;} 
         ^
1 warning generated. 

Ma una violazione del vincolo è undefined behaviour.

C11 (N1570), § 4, stati:

If a ‘‘shall’’ or ‘‘shall not’’ requirement that appears outside of a constraint or runtime constraint is violated, the behavior is undefined. Undefined behavior is otherwise indicated in this International Standard by the words ‘‘undefined behavior’’ or by the omission of any explicit definition of behavior. There is no difference in emphasis among these three; they all describe ‘‘behavior that is undefined’’.

Così gcc preso la libertà di prendere le avvertenze (come notato da @nnn) come gcc è non richiesto di emettere diagnostica per comportamento indefinito.