3.8 Варианты запроса или подавления предупреждений

Предупреждения — это диагностические сообщения, которые сообщают об конструкциях, которые не являются в принципе ошибочными, но представляют собой риски или предполагают, что может быть допущена ошибка.

Следующие независимые от языка варианты не включают определённые предупреждения, но управляют видами диагностики, производимой GCC.

-fsyntax-only

Проверить код на синтаксические ошибки, но ничего не делать сверх этого.

-fmax-errors=n

Ограничивает максимальное количество сообщений об ошибках значением n, после чего GCC прекращает работу, вместо попытки продолжить обработку исходного кода. Если n равно 0 (по умолчанию), ограничений на количество сообщений об ошибках нет. Если также указан -Wfatal-errors, то -Wfatal-errors имеет приоритет над этим вариантом.

-w

Запретить все сообщения о предупреждениях.

-Werror

Превратить все предупреждения в ошибки.

-Werror=

Превратить указанное предупреждение в ошибку. Спецификатор предупреждения добавляется; например, -Werror=switch превращает предупреждения, контролируемые -Wswitch, в ошибки. Этот переключатель имеет отрицательную форму, которая используется для отмены -Werror для определённых предупреждений; например, -Wno-error=switch делает предупреждения -Wswitch не ошибками, даже когда -Werror активен.

Сообщение о предупреждении для каждого управляемого предупреждения включает вариант, который контролирует предупреждение. Этот вариант затем можно использовать с -Werror= и -Wno-error=, как описано выше. (Вывод варианта в сообщении о предупреждении можно отключить, используя флаг -fno-diagnostics-show-option)

Обратите внимание, что указание -Werror=foo автоматически подразумевает -Wfoo. Однако, -Wno-error=foo ничего не подразумевает.

-Wfatal-errors

Этот вариант заставляет компилятор прервать компиляцию при первой ошибке, а не пытаться продолжить и выводить дальнейшие сообщения об ошибках.

Вы можете запросить множество конкретных предупреждений с помощью вариантов, начинающихся с «-W», например, -Wimplicit для запроса предупреждений о неявных объявлениях. Каждый из этих конкретных вариантов предупреждений также имеет отрицательную форму, начинающуюся с «-Wno-», для отключения предупреждений; например, -Wno-implicit. В этом руководстве перечислены только один из двух вариантов, который не является по умолчанию. Для получения дополнительных вариантов, специфичных для языка, также обратитесь к Вариантaм диалекта C++ и Вариантaм диалекта Objective-C и Objective-C++.

Когда запрашивается неизвестный вариант предупреждения (например, -Wunknown-warning), GCC выводит диагностическое сообщение, указывающее, что этот вариант не распознан. Однако, если используется форма -Wno-, поведение немного отличается: диагностическое сообщение для -Wno-unknown-warning не выводится, если не выводятся и другие диагностические сообщения. Это позволяет использовать новые -Wno- варианты со старыми компиляторами, но если что-то пойдёт не так, компилятор предупреждает о наличии нераспознанного варианта.

-Wpedantic

-pedantic

Выдавать все предупреждения, требуемые строгим ISO C и ISO C++; отклонять все программы, использующие запрещённые расширения, и некоторые другие программы, не соответствующие ISO C и ISO C++. Для ISO C следует версии стандарта ISO C, указанной любым параметром -std.

Правильные программы ISO C и ISO C++ должны компилироваться корректно с этим параметром или без него (хотя редкие программы требуют -ansi или параметр -std, указывающий требуемую версию ISO C). Однако без этого параметра также поддерживаются некоторые расширения GNU и традиционные функции C и C++. С этим параметром они отклоняются.

-Wpedantic не вызывает предупреждений при использовании альтернативных ключевых слов, имена которых начинаются и заканчиваются символом ‘__’. Предупреждения с повышенной строгостью также отключены в выражении, следующего за __extension__. Однако эти обходные пути следует использовать только для системных заголовочных файлов; программы-приложения должны их избегать. См. Альтернативные ключевые слова.

Некоторые пользователи пытаются использовать -Wpedantic для проверки программ на соответствие строгому стандарту ISO C. Они быстро обнаруживают, что это не совсем то, что им нужно: оно находит некоторые нестандартные практики, но не все — только те, для которых ISO C требует диагностику, и некоторые другие, для которых диагностика была добавлена.

Функция для отслеживания несоответствия стандарту ISO C может быть полезна в некоторых случаях, но потребовала бы значительных дополнительных работ и существенно отличалась бы от -Wpedantic. В ближайшее время мы не планируем поддерживать такую функцию.

Если стандарт, указанный с помощью -std , представляет собой расширенный диалект C от GNU, такой как ‘gnu90’ или ‘gnu99’, существует соответствующий базовый стандарт — версия ISO C, на которой основан расширенный диалект GNU. Предупреждения от -Wpedantic выдаются там, где они требуются базовым стандартом. (Не имеет смысла выдавать такие предупреждения только для функций, отсутствующих в указанном диалекте GNU C, поскольку по определению диалекты GNU C включают все функции, которые компилятор поддерживает с данным параметром, и не было бы ничего, о чем можно было бы предупредить.)

-pedantic-errors

Подобно -Wpedantic, за исключением того, что генерируются ошибки вместо предупреждений.

-Wall

Это включает все предупреждения о конструкциях, которые некоторые пользователи считают сомнительными и которые легко избежать (или изменить, чтобы предотвратить предупреждение), даже в сочетании с макросами. Это также включает некоторые специфичные для языка предупреждения, описанные в Параметрах диалекта C++ и Параметрах диалекта Objective-C и Objective-C++.

-Wall включает следующие флаги предупреждений:

-Waddress   
-Warray-bounds (only with -O2)  
-Wc++11-compat  
-Wchar-subscripts  
-Wenum-compare (in C/ObjC; this is on by default in C++) 
-Wimplicit-int (C and Objective-C only) 
-Wimplicit-function-declaration (C and Objective-C only) 
-Wcomment  
-Wformat   
-Wmain (only for C/ObjC and unless -ffreestanding)  
-Wmaybe-uninitialized 
-Wmissing-braces (only for C/ObjC) 
-Wnonnull  
-Wopenmp-simd 
-Wparentheses  
-Wpointer-sign  
-Wreorder   
-Wreturn-type  
-Wsequence-point  
-Wsign-compare (only in C++)  
-Wstrict-aliasing  
-Wstrict-overflow=1  
-Wswitch  
-Wtrigraphs  
-Wuninitialized  
-Wunknown-pragmas  
-Wunused-function  
-Wunused-label     
-Wunused-value     
-Wunused-variable  
-Wvolatile-register-var

Обратите внимание, что некоторые флаги предупреждений не подразумеваются параметром -Wall. Некоторые из них предупреждают о конструкциях, которые пользователи обычно не считают сомнительными, но иногда вам может потребоваться проверить их; другие предупреждают о конструкциях, которые в некоторых случаях необходимы или сложны для избежания, и нет простого способа изменить код, чтобы подавить предупреждение. Некоторые из них включаются параметром -Wextra, но многие из них должны быть включены индивидуально.

-Wextra

Это включает некоторые дополнительные флаги предупреждений, которые не включены параметром -Wall. (Этот параметр раньше назывался -W. Старое название по-прежнему поддерживается, но новое название более описательное.)

-Wclobbered  
-Wempty-body  
-Wignored-qualifiers 
-Wmissing-field-initializers  
-Wmissing-parameter-type (C only)  
-Wold-style-declaration (C only)  
-Woverride-init  
-Wsign-compare  
-Wtype-limits  
-Wuninitialized  
-Wunused-parameter (only with -Wunused or -Wall) 
-Wunused-but-set-parameter (only with -Wunused or -Wall)

Параметр -Wextra также выводит сообщения о предупреждениях в следующих случаях:

Указатель сравнивается с целым нулём с помощью ‘<’, ‘<=’, ‘>’ или ‘>=’.
(Только C++) Перечисление и неперечисление присутствуют в условном выражении.
(Только C++) Неоднозначные виртуальные базовые классы.
(Только C++) Индексирование массива, объявленного ‘register’.
(Только C++) Получение адреса переменной, объявленной ‘register’.
(Только C++) Базовый класс не инициализируется в конструкторе копирования производного класса.

-Wchar-subscripts

Выдавать предупреждение, если индекс массива имеет тип char. Это частая причина ошибок, так как программисты часто забывают, что этот тип на некоторых машинах со знаком. Это предупреждение включается параметром -Wall.

-Wcomment

Выдавать предупреждение всякий раз, когда последовательность начала комментария ‘/*’ появляется в комментарии ‘/*’, или всякий раз, когда появляется обратный слэш-новая строка в комментарии ‘//’. Это предупреждение включается параметром -Wall.

-Wno-coverage-mismatch

Выдавать предупреждение, если профили отзывов не совпадают при использовании параметра -fprofile-use. Если исходный файл изменяется между компиляцией с параметром -fprofile-gen и компиляцией с -fprofile-use, файлы с профилем отзывов могут не совпадать с исходным файлом, и GCC не сможет использовать информацию профиля отзывов. По умолчанию это предупреждение включено и обрабатывается как ошибка. -Wno-coverage-mismatch может быть использован для отключения предупреждения, или -Wno-error=coverage-mismatch может быть использован для отключения ошибки. Отключение ошибки для этого предупреждения может привести к плохо оптимизированному коду и полезно только в случае очень незначительных изменений, таких как исправление ошибок в существующем кодовом базисе. Полное отключение предупреждения не рекомендуется.

-Wno-cpp

(Только для C, Objective-C, C++, Objective-C++ и Fortran)

Подавлять сообщения о предупреждениях, выводимые директивами #warning.

-Wdouble-promotion (Только для C, C++, Objective-C и Objective-C++)

Выдавать предупреждение, когда значение типа float неявно преобразуется в double. ЦП с 32-разрядным "однозначным" плавающим пунктом выполняют float в аппаратном обеспечении, но эмулируют double в программном обеспечении. На такой машине выполнение вычислений с использованием значений double значительно дороже из-за накладных расходов, необходимых для программной эмуляции.

Легко случайно выполнять вычисления с double, потому что литералы с плавающей запятой неявно имеют тип double. Например, в:

float area(float radius)
{
   return 3.14159 * radius * radius;
}

компилятор выполняет все вычисления с double, потому что литерал с плавающей запятой имеет тип double.

-Wformat

-Wformat=n

Проверять вызовы printf и scanf, и т.д., чтобы убедиться, что предоставленные аргументы имеют типы, соответствующие указанной строке формата, и что указанные в строке формата преобразования имеют смысл. Это включает стандартные функции и другие, указанные атрибутами формата (см. Атрибуты функций), в семействах printf, scanf, strftime и strfmon (расширение X/Open, отсутствующее в стандарте C) (или других семействах, специфичных для целевой платформы). Какие функции проверяются без указанных атрибутов формата, зависит от выбранной версии стандарта, и такие проверки функций без указанного атрибута отключаются параметрами -ffreestanding или -fno-builtin.

Форматы проверяются по отношению к функциям формата, поддерживаемым GNU libc версии 2.2. К ним относятся все функции ISO C90 и C99, а также функции из Single Unix Specification и некоторые расширения BSD и GNU. Другие реализации библиотек могут не поддерживать все эти функции; GCC не поддерживает предупреждения о функциях, которые выходят за рамки ограничений конкретной библиотеки. Однако, если -Wpedantic используется с -Wformat, выдаются предупреждения о функциях формата, отсутствующих в выбранной версии стандарта (но не для форматов strfmon, поскольку они не присутствуют ни в одной версии стандарта C). См. Параметры, контролирующие диалект C.

-Wformat=1
-Wformat: Параметр -Wformat эквивалентен -Wformat=1, а -Wno-format эквивалентен -Wformat=0. Поскольку -Wformat также проверяет нулевые аргументы формата для нескольких функций, -Wformat также подразумевает -Wnonnull. Некоторые аспекты этого уровня проверки форматов можно отключить с помощью параметров: -Wno-format-contains-nul, -Wno-format-extra-args, и -Wno-format-zero-length. -Wformat включается параметром -Wall.
-Wno-format-contains-nul: Если указан параметр -Wformat, не выдавать предупреждение о строках формата, содержащих нулевые байты.
-Wno-format-extra-args: Если указан параметр -Wformat, не выдавать предупреждение об избыточных аргументах для функции формата printf или scanf. Стандарт C предусматривает, что такие аргументы игнорируются.
Если неиспользуемые аргументы находятся между используемыми аргументами, указанными с помощью спецификаций номера операнда ‘$’, обычно всё ещё выдаются предупреждения, так как реализация не может знать, какой тип передать функции va_arg для пропуска неиспользуемых аргументов. Однако в случае форматов scanf этот параметр подавляет предупреждение, если все неиспользуемые аргументы являются указателями, так как Single Unix Specification гласит, что такие неиспользуемые аргументы разрешены.
-Wno-format-zero-length: Если указан параметр -Wformat, не выдавать предупреждение о нулевой длине формата. Стандарт C допускает нулевую длину формата.
-Wformat=2: Включить -Wformat плюс дополнительные проверки формата. В настоящее время эквивалентно -Wformat -Wformat-nonliteral -Wformat-security -Wformat-y2k.
-Wformat-nonliteral: Если указан параметр -Wformat, также выдавать предупреждение, если строка формата не является строковым литералом и не может быть проверена, если функция формата не получает аргументы формата как va_list.
-Wformat-security: Если указан параметр -Wformat, также выдавать предупреждение об использовании функций формата, которые представляют возможные проблемы безопасности. В настоящее время это предупреждение о вызовах функций printf и scanf, где строка формата не является строковым литералом и не содержат аргументы формата, как в printf (foo);. Это может быть уязвимостью безопасности, если строка формата получена из ненадежных данных и содержит ‘%n’. (В настоящее время это подмножество того, о чем предупреждает -Wformat-nonliteral, но в будущем к предупреждениям, выдаваемым -Wformat-security, могут быть добавлены предупреждения, которые не включены в -Wformat-nonliteral.)
-Wformat-y2k: Если указан параметр -Wformat, также выдавать предупреждение о форматах strftime, которые могут давать только двузначный год.

-Wnonnull

Предупреждать о передаче нулевого указателя для аргументов, помеченных как требующие ненулевого значения атрибутом функции nonnull.

-Wnonnull включено в -Wall и -Wformat. Его можно отключить с помощью опции -Wno-nonnull.

-Winit-self (Только C, C++, Objective-C и Objective-C++)

Предупреждать об инициализированных переменных, инициализированных самими собой. Обратите внимание, что эта опция может использоваться только с опцией -Wuninitialized.

Например, GCC предупреждает о том, что i не инициализировано в следующем фрагменте кода только при указании -Winit-self:

int f()
{
  int i = i;
  return i;
}

Это предупреждение включено -Wall в C++.

-Wimplicit-int (Только C и Objective-C)

Предупреждать, когда в объявлении не указан тип. Это предупреждение включено -Wall.

-Wimplicit-function-declaration (Только C и Objective-C)

Выводить предупреждение всякий раз, когда функция используется до объявления. В режиме C99 (-std=c99 или -std=gnu99) это предупреждение включено по умолчанию, а в ошибку его преобразует -pedantic-errors. Это предупреждение также включено -Wall.

-Wimplicit (Только C и Objective-C)

То же, что и -Wimplicit-int и -Wimplicit-function-declaration. Это предупреждение включено -Wall.

-Wignored-qualifiers (Только C и C++)

Предупреждать, если тип возвращаемого значения функции имеет квалификатор типа, например, const. Для ISO C такой квалификатор не имеет эффекта, так как значение, возвращаемое функцией, не является lvalue. Для C++, предупреждение выдается только для скалярных типов или void. ISO C запрещает квалифицированные void типы возвращаемых значений в определениях функций, поэтому такие типы возвращаемых значений всегда получают предупреждение даже без этой опции.

Это предупреждение также включено -Wextra.

-Wmain

Предупреждать, если тип «main» подозрителен. «main» должен быть функцией с внешней связью, возвращающей int, принимающей либо ноль аргументов, либо два или три аргумента соответствующих типов. Это предупреждение включено по умолчанию в C++ и включается либо -Wall, либо -Wpedantic.

-Wmissing-braces

Предупреждать, если инициализатор агрегата или объединения не полностью заключен в скобки. В приведенном ниже примере инициализатор для ‘a’ не полностью заключен в скобки, а для ‘b’ — полностью. Это предупреждение включено -Wall в C.

int a[2][2] = { 0, 1, 2, 3 };
int b[2][2] = { { 0, 1 }, { 2, 3 } };

Это предупреждение включено -Wall.

-Wmissing-include-dirs (Только C, C++, Objective-C и Objective-C++)

Предупреждать, если указанная пользователем директория включения не существует.

-Wparentheses

Предупреждать, если скобки опущены в определенных контекстах, таких как при присваивании в контексте, где ожидается логическое значение, или при вложенных операторах, приоритет которых люди часто путают.

Также предупреждать, если появляется сравнение, например, ‘x<=y<=z’; это эквивалентно ‘(x<=y ? 1 : 0) <= z’, что является другим толкованием, отличным от обычных математических обозначений.

Также предупреждать о конструкциях, где может возникнуть путаница, к какой if инструкции относится else ветвь. Вот пример такого случая:

{
  if (a)
    if (b)
      foo ();
  else
    bar ();
}

В C/C++ каждая else ветвь относится к самой внутренней возможной if инструкции, которая в данном примере — if (b). Это часто не то, чего ожидал программист, как показано в приведенном выше примере с использованием отступов, которые выбрал программист. Когда существует потенциальная путаница, GCC выдает предупреждение при указании этого флага. Чтобы устранить предупреждение, добавьте явные фигурные скобки вокруг самой внутренней if инструкции, чтобы не было возможности, что else может относиться к окружающей if. Результирующий код выглядит так:

{
  if (a)
    {
      if (b)
        foo ();
      else
        bar ();
    }
}

Также предупреждать об опасном использовании расширения GNU для ?: с опущенным средним операндом. Когда условие в операторе ?: — логическое выражение, опушенное значение всегда равно 1. Часто программисты ожидают, что это будет значение, вычисляемое внутри условного выражения.

Это предупреждение включено -Wall.

-Wsequence-point

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

Стандарты C и C++ определяют порядок вычисления выражений в программе C/C++ в терминах точек последовательности, которые представляют частичный порядок между выполнением частей программы: те, которые выполняются до точки последовательности, и те, которые выполняются после нее. Они появляются после вычисления полного выражения (которое не является частью более крупного выражения), после вычисления первого операнда оператора &&, ||, ? : или , (запятой), перед вызовом функции (но после вычисления ее аргументов и выражения, обозначающего вызываемую функцию), и в некоторых других местах. Помимо того, как выражены правила точек последовательности, порядок вычисления подвыражений выражения не определен. Все эти правила описывают только частичный порядок, а не полный порядок, поскольку, например, если две функции вызываются в одном выражении без точки последовательности между ними, порядок вызова функций не определен. Однако комитет стандартов постановил, что вызовы функций не перекрываются.

Не определено, когда между точками последовательности изменения значений объектов вступают в силу. Программы, поведение которых зависит от этого, имеют неопределенное поведение; стандарты C и C++ указывают, что «между предыдущей и следующей точкой последовательности значение объекта должно быть изменено не более одного раза в результате вычисления выражения. Более того, предыдущее значение должно быть прочитано только для определения хранимого значения». Если программа нарушает эти правила, результаты на любой конкретной реализации полностью непредсказуемы.

Примеры кода с неопределенным поведением — a = a++;, a[n] = b[n++] и a[i++] = i;. Некоторые более сложные случаи не диагностируются этой опцией, и она может давать иногда ложноположительные результаты, но в целом она довольно эффективна для обнаружения такого рода проблем в программах.

Стандарт сформулирован запутанно, поэтому существуют некоторые споры о точном значении правил точек последовательности в тонких случаях. Ссылки на обсуждения проблемы, включая предлагаемые формальные определения, можно найти на странице GCC readings на странице http://gcc.gnu.org/readings.html.

Это предупреждение включено -Wall для C и C++.

-Wno-return-local-addr

Не предупреждать о возвращении указателя (или в C++, ссылки) на переменную, область видимости которой выходит за пределы функции после возврата из функции.

-Wreturn-type

Предупреждать всякий раз, когда функция определена с типом возврата, который по умолчанию int. Также предупреждать о любой return инструкции без возвращаемого значения в функции, тип возврата которой не void (выход за пределы тела функции считается возвращением без значения), и об return инструкции с выражением в функции, тип возврата которой void.

Для C++, функция без типа возврата всегда генерирует сообщение об ошибке, даже при указании -Wno-return-type. Исключение составляют ‘main’ и функции, определенные в системных заголовочных файлах.

Это предупреждение включено -Wall.

-Wswitch

Предупреждать всякий раз, когда switch инструкция имеет индекс перечислимого типа и отсутствует case для одного или нескольких именованных кодов этого перечисления. (Наличие метки default предотвращает это предупреждение.) Метки case за пределами диапазона перечисления также вызывают предупреждения при использовании этой опции (даже если есть метка default). Это предупреждение включено -Wall.

-Wswitch-default

Предупреждать всякий раз, когда switch инструкция не имеет default случая.

-Wswitch-enum

Предупреждать всякий раз, когда switch инструкция имеет индекс перечислимого типа и отсутствует case для одного или нескольких именованных кодов этого перечисления. Метки case за пределами диапазона перечисления также вызывают предупреждения при использовании этой опции. Единственное отличие между -Wswitch и этой опцией заключается в том, что эта опция выдает предупреждение об опущенном коде перечисления даже если есть метка default.

-Wsync-nand (Только C и C++)

Предупреждать при использовании встроенных функций __sync_fetch_and_nand и __sync_nand_and_fetch. Эти функции изменили семантику в GCC 4.4.

-Wtrigraphs

Предупреждать, если обнаружены какие-либо триграммы, которые могут изменить смысл программы (триграммы в комментариях не вызывают предупреждения). Это предупреждение включено -Wall.

-Wunused-but-set-parameter

Предупреждать всякий раз, когда параметр функции присваивается, но в противном случае не используется (кроме его объявления).