При подчистке программы обнаружил, что переменная объявлена 2 раза, но компилятор пропустил без предупреждений.
Нажмите для просмотра прикрепленного файла

Я то стер одно объявление, но почему компилятор пропустил не понимаю.

При споре компилятора с человеком в 99% случаев прав оказывается компилятор. И приложенная картинка непонятно какое отношение к чему-либо вообще имеет :-)

Где переменная?
Не вижу там ни одной переменной.
На картинке вообще перечень путей для поиска инклюдов.

на картинке вообще эклипс. Затмение то есть

О! Теперь всё приобрело смысл! :-)

Троллинг удался :-)
В предварительном просмотре сообщения не отображается картика.

Выкладываю правильную картинку.
По эклипсу тоже вопрос по поводу невозможности удаления путей.
Но он с другой оперы.

Кто тебе сказал, что это запрещено?
Если бы определения были разными, тогда была бы ошибка.

+1. Попробовал в gcc - тоже не ругается. А вот если инициализировать другим значением или объявить с другим типом - ругается. Компилятор всё правильно сделал, ящетаю.
Могу нанять юристов для прочтения спеки и написания научно обоснованного заключения, если бабла подкинете :-)

В Keil, однако, такое не прокатило.

И этот компилятор всё правильно сделал, ящетаю. Другими словами, undefined behavior :-)

А теперь попробуйте разнести по разным файлам.

xxxx.axf: Error: L6200E: Symbol xxx multiply defined (by xx.o and x.o).

То есть, в пределах одной единицы компиляции при множественном объявлении образуется один объект, а если объявить в разных файлах - два, на которые потом ругается линкер.

Интересно, что будет при использовании флага -combine

А сегодня в одном файле - прокатило. А-а-а!!!


Keil такого не принимает.

Он может и не ругаться (во всяком случае по стандарту).
Более того он выделит под переменные из разных файлов с одинаковым именем общую память.
И можно очень весело проводить время, отлаживая проект из двух файлов, скажем такого содержания.и
Именно для этого случая Си и предоставляет инструмент в виде ключевого слова static.
И если глобальная переменная внутри модуля не представлена в его интерфейсе (в заголовочном файле как extern), то она обязана иметь квалификатор static.
Всё остальное - просто неграмотно.

Естественно. Более того и для gcc это является атавизмом после появления ключика -flto.

Обычно все-таки выкатывает error multiple definition

Только что проверил на gcc-4.7.2.
Съел молча проект из двух файлов, в каждом из которых было объявление int a;
И это ожидаемое поведение.

Если компилировать в режиме C++. Для Сей это является допустимым.

Хотелось, чтобы такие ошибки вылавливались компилятором.
В IAR есть MISRA.
Я никогда ее не использовал.

Есть ли чего обзорного почитать?

Включите режим C++ .

Про MISRA не знаю, но если там все так страшно, как здесь описывают - и знать не хочу. Сделать из C кастрированный бейсик - нет уж.