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

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

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

-fsyntax-only

Проверяет код на синтаксические ошибки, но не выполняет никаких дополнительных действий.

-fmax-errors=n

Ограничивает максимальное количество сообщений об ошибках до n, после чего GCC прекращает обработку исходного кода, вместо попытки продолжить. Если n равно 0 (по умолчанию), ограничений на количество сообщений об ошибках нет. Если также указан параметр -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. В этом руководстве представлена только одна из двух форм, не являющаяся стандартной.

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

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

Параметры, включённые или отключённые с помощью директив (см. Директивы диагностики), действуют так, как если бы они появились в конце командной строки.

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

-pedantic-errors

Выдавайте ошибку всякий раз, когда базовый стандарт (см. -Wpedantic) требует диагностики, в некоторых случаях, когда есть неопределённое поведение во время компиляции, и в некоторых других случаях, которые не препятствуют компиляции программ, допустимых согласно стандарту. Это не эквивалентно -Werror=pedantic, так как существуют ошибки, включённые этим параметром, но не включённые последним, и наоборот.

-Wall

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

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

-Waddress   
-Warray-bounds=1 (only with -O2)  
-Wc++11-compat  -Wc++14-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.

-Wchkp

Выдавать предупреждение об недопустимом доступе к памяти, обнаруженном Проверяющим границ указателей (-fcheck-pointer-bounds).

-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 and Objective-C++ only)

Выдавать предупреждение, когда значение типа 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, не выдавать предупреждения о строках формата, содержащих байты NUL.

-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-signedness

Если указана -Wformat, также предупреждать, если строка формата требует беззнакового аргумента, а аргумент является знаковым, и наоборот.

-Wformat-y2k

Если указана -Wformat, также предупреждать о форматах strftime, которые могут выводить только двухзначный год.

-Wnonnull

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

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

-Winit-self (C, C++, Objective-C and Objective-C++ only)

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

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

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

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

-Wimplicit-int (C and Objective-C only)

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

-Wimplicit-function-declaration (C and Objective-C only)

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

-Wimplicit (C and Objective-C only)

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

-Wignored-qualifiers (C and C++ only)

Выдавать предупреждение, если возвращаемый тип функции имеет квалификатор типа, такой как 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 and Objective-C++ only)

Выдавать предупреждение, если указанный пользователем каталог включаемых файлов не существует.

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

-Wshift-count-negative

Предупреждать, если сдвиг отрицателен. Это предупреждение включено по умолчанию.

-Wshift-count-overflow

Предупреждать, если сдвиг >= ширины типа. Это предупреждение включено по умолчанию.

-Wswitch

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

-Wswitch-default

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

-Wswitch-enum

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

-Wswitch-bool

Предупреждать всякий раз, когда оператор switch имеет индекс типа boolean. Предупреждение можно подавить, применив преобразование типа управляющего выражения к типу, отличного от bool. Например:

switch ((int) (a == 4))
  {
  …
  }

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

-Wsync-nand (C and C++ only)

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

-Wtrigraphs

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

-Wunused-but-set-parameter

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