koniec linii (dokumentacja GNU)

Question

Czytam dokumentację gcc wyprzedzającym, czytam następujące zdanie (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.

Staram się produkować ostrzeżenia wykonując:

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

Ale nie prob, to kompiluje. Rozumiem znacznik końca linii jako znak nowej linii, ale wydaje się, że jest cokolwiek innego.

Jak mogę wygenerować ostrzeżenie?

Answer 1

Wygląda na to, że został usunięty z gcc.

Zobacz to: 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, stany:

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.

Więc nie ma nowej linii na pliku jest niezgodny z powyższym "przymus".

clang ma ostrzegać o tym:

$ 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. 

Ale ograniczenie naruszenie jest undefined behaviour.

C11 (N1570), §4, stany:

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’’.

Więc gcc Pozwoliłem sobie wykupić ostrzeżenia (jak zauważył @nnn) jak gcc jest nie wymaga wydać jakikolwiek diagnostyka dla niezdefiniowanych zachowań.