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. В данном руководстве приводится только один из двух вариантов, который не является по умолчанию. Для получения дополнительных параметров, специфичных для языка, также обратитесь к Параметрам диалекта 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 не генерирует предупреждения об использовании альтернативных ключевых слов, имена которых начинаются и заканчиваются символом __. Предупреждения pedantic также отключены в выражении, которое следует за __extension__. Однако эти обходные пути должны использоваться только в системных заголовочных файлах; приложения должны их избегать. См. Альтернативные ключевые слова.

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

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

Если стандарт, указанный с помощью -std, представляет собой расширенный диалект C GNU, такой как 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)  
-Wbool-compare  
-Wbool-operation  
-Wc++11-compat  -Wc++14-compat  
-Wchar-subscripts  
-Wcomment  
-Wduplicate-decl-specifier (C and Objective-C only) 
-Wenum-compare (in C/ObjC; this is on by default in C++) 
-Wformat   
-Wint-in-bool-context  
-Wimplicit (C and Objective-C only) 
-Wimplicit-int (C and Objective-C only) 
-Wimplicit-function-declaration (C and Objective-C only) 
-Winit-self (only for C++) 
-Wlogical-not-parentheses 
-Wmain (only for C/ObjC and unless -ffreestanding)  
-Wmaybe-uninitialized 
-Wmemset-elt-size 
-Wmemset-transposed-args 
-Wmisleading-indentation (only for C/C++) 
-Wmissing-braces (only for C/ObjC) 
-Wnarrowing (only for C++)  
-Wnonnull  
-Wnonnull-compare  
-Wopenmp-simd 
-Wparentheses  
-Wpointer-sign  
-Wreorder   
-Wreturn-type  
-Wsequence-point  
-Wsign-compare (only in C++)  
-Wsizeof-pointer-memaccess 
-Wstrict-aliasing  
-Wstrict-overflow=1  
-Wswitch  
-Wtautological-compare  
-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 
-Wimplicit-fallthrough=3 
-Wmissing-field-initializers  
-Wmissing-parameter-type (C only)  
-Wold-style-declaration (C only)  
-Woverride-init  
-Wsign-compare (C only) 
-Wtype-limits  
-Wuninitialized  
-Wshift-negative-value (in C++03 and in C99 and newer)  
-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.

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

-Wduplicate-decl-specifier (C and Objective-C only)

Выдавать предупреждение, если в объявлении есть дублирующиеся спецификаторы const, volatile, restrict или _Atomic. Это предупреждение включено параметром -Wall.

-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 указывает, что такие неиспользуемые аргументы разрешены.

-Wformat-overflow

-Wformat-overflow=level

Выдавать предупреждения о вызовах функций форматированного ввода/вывода, таких как sprintf и vsprintf, которые могут привести к переполнению буфера назначения. Если точное количество байтов, записанных директивой формата, не может быть определено на этапе компиляции, оно оценивается на основе эвристик, зависящих от аргумента level и оптимизации. Хотя включение оптимизации в большинстве случаев улучшит точность предупреждения, это также может привести к ложным срабатываниям.

-Wformat-overflow

-Wformat-overflow=1

Уровень 1 параметра -Wformat-overflow, включенного с -Wformat, использует консервативный подход, который предупреждает только о вызовах, которые, скорее всего, приведут к переполнению буфера. На этом уровне числовые аргументы к директивам формата с неизвестными значениями предполагают значение один, а строки неизвестной длины — пустую строку. Числовые аргументы, известные как ограниченные поддиапазоном их типа, или строковые аргументы, вывод которых ограничен либо точностью их директивы, либо конечным набором строковых литералов, предполагаются принимать значение в пределах диапазона, что приводит к наибольшему количеству байтов на выходе. Например, вызов sprintf ниже диагностируется, потому что даже если a и b равны нулю, завершающий нулевой символ ('\0') , добавляемый функцией в буфер назначения, будет записан за его пределами. Увеличение размера буфера на один байт достаточно для предотвращения предупреждения, хотя этого может быть недостаточно для предотвращения переполнения.

void f (int a, int b)
{
  char buf [12];
  sprintf (buf, "a = %i, b = %i\n", a, b);
}

-Wformat-overflow=2

Уровень 2 также предупреждает о вызовах, которые могут привести к переполнению буфера назначения при наличии аргумента достаточной длины или величины. На уровне 2 неизвестные числовые аргументы предполагают минимальное представимое значение для знаковых типов с точностью более 1 и максимальное представимое значение в противном случае. Неизвестные строковые аргументы, длина которых не может быть предположена как ограниченная либо точностью директивы, либо конечным набором строковых литералов, к которым они могут быть оценены, или массивом символов, к которому они могут указывать, предполагаются длиной в 1 символ.

На уровне 2 вызов в приведенном выше примере снова диагностируется, но на этот раз, потому что со значением a равным 32-битном INT_MIN первая директива %i запишет некоторые из своих цифр за пределами буфера назначения. Для того чтобы сделать вызов безопасным независимо от значений двух переменных, размер буфера назначения должен быть увеличен по крайней мере до 34 байт. GCC включает минимальный размер буфера в информационной заметке, следующей за предупреждением.

Альтернативой увеличению размера буфера назначения является ограничение диапазона форматированных значений. Максимальная длина строковых аргументов может быть ограничена путем указания точности в директиве формата. Если числовые аргументы директивы формата могут быть предположительно ограничены меньше точности их типа, выбор соответствующего модификатора длины для спецификатора формата уменьшит требуемый размер буфера. Например, если a и b в приведенном выше примере могут быть предположительно ограничены точностью типа short int, то использование либо директивы формата %hi, либо приведение аргумента к short, уменьшает максимальный требуемый размер буфера до 24 байт.

void f (int a, int b)
{
  char buf [23];
  sprintf (buf, "a = %hi, b = %i\n", a, (short)b);
}

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

-Wformat-truncation=level

Предупреждать о вызовах функций форматированного ввода/вывода, таких как snprintf и vsnprintf, которые могут привести к усечению вывода. Если точное количество байтов, записанных директивой формата, не может быть определено на этапе компиляции, оно оценивается на основе эвристик, зависящих от аргумента level и оптимизации. За исключением случаев, о которых упоминается отдельно, параметр использует ту же логику, что и -Wformat-overflow.

-Wformat-truncation
-Wformat-truncation=1: Уровень 1 параметра -Wformat-truncation, включенного с -Wformat, использует консервативный подход, который предупреждает только о вызовах ограниченных функций, возвращаемое значение которых не используется, и которые, скорее всего, приведут к усечению вывода.
-Wformat-truncation=2: Уровень 2 также предупреждает о вызовах ограниченных функций, возвращаемое значение которых используется, и которые могут привести к усечению при наличии аргумента достаточной длины или величины.

-Wformat-y2k

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

-Wnonnull

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

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

-Wnonnull-compare

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

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

-Wnull-dereference

Выдавать предупреждение, если компилятор обнаруживает пути, которые вызывают ошибочное или неопределенное поведение из-за разыменования нулевого указателя. Этот параметр активен только при включенном -fdelete-null-pointer-checks, что включено оптимизациями в большинстве целевых платформ. Точность предупреждений зависит от используемых параметров оптимизации.

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

-Wimplicit-fallthrough

-Wimplicit-fallthrough эквивалентно -Wimplicit-fallthrough=3, а -Wno-implicit-fallthrough эквивалентно -Wimplicit-fallthrough=0.

-Wimplicit-fallthrough=n

Выдавать предупреждение, когда в блоке switch происходит переход к следующему случаю (case). Например:

switch (cond)
  {
  case 1:
    a = 1;
    break;
  case 2:
    a = 2;
  case 3:
    a = 3;
    break;
  }

Это предупреждение не выдаётся, когда последнее утверждение в случае (case) не может перейти к следующему случаю, например, когда присутствует оператор return или вызов функции с атрибутом noreturn. -Wimplicit-fallthrough= также учитывает управляющие операторы, такие как if, и предупреждает только при необходимости. Например:

switch (cond)
  {
  case 1:
    if (i > 3) {
      bar (5);
      break;
    } else if (i < 1) {
      bar (0);
    } else
      return;
  default:
    …
  }

Поскольку в некоторых случаях пропуск случая (case) в switch желателен, GCC предоставляет атрибут __attribute__ ((fallthrough)), который следует использовать вместе с пустым оператором для подавления этого предупреждения, которое обычно возникает:

switch (cond)
  {
  case 1:
    bar (0);
    __attribute__ ((fallthrough));
  default:
    …
  }

C++17 предоставляет стандартный способ подавления предупреждения -Wimplicit-fallthrough с помощью [[fallthrough]]; вместо атрибута GNU. В C++11 или C++14 пользователи могут использовать [[gnu::fallthrough]];, что является расширением GNU. Вместо этих атрибутов также можно добавить комментарий fallthrough, чтобы заглушить предупреждение. Весь текст комментария в стиле C или C++ должен соответствовать приведенным ниже регулярным выражениям. Аргумент опции n определяет, какие комментарии принимаются:

-Wimplicit-fallthrough=0 полностью отключает предупреждение.
-Wimplicit-fallthrough=1 соответствует регулярному выражению .*, любой комментарий используется как комментарий fallthrough.
-Wimplicit-fallthrough=2 нечувствительно к регистру соответствует регулярному выражению .*falls?[ \t-]*thr(ough|u).*.
-Wimplicit-fallthrough=3 чувствительно к регистру соответствует одному из следующих регулярных выражений:
- -fallthrough
- @fallthrough@
- lint -fallthrough[ \t]*
- [ \t.!]*(ELSE,? |INTENTIONAL(LY)? )?FALL(S | |-)?THR(OUGH|U)[ \t.!]*(-[^\n\r]*)?
- [ \t.!]*(Else,? |Intentional(ly)? )?Fall((s | |-)[Tt]|t)hr(ough|u)[ \t.!]*(-[^\n\r]*)?
- [ \t.!]*([Ee]lse,? |[Ii]ntentional(ly)? )?fall(s | |-)?thr(ough|u)[ \t.!]*(-[^\n\r]*)?
-Wimplicit-fallthrough=4 чувствительно к регистру соответствует одному из следующих регулярных выражений:
- -fallthrough
- @fallthrough@
- lint -fallthrough[ \t]*
- [ \t]*FALLTHR(OUGH|U)[ \t]*
-Wimplicit-fallthrough=5 не распознаёт комментарии как комментарии fallthrough, только атрибуты отключают предупреждение.

Комментарий должен следовать за необязательными пробелами и другими комментариями с ключевыми словами case или default или с меткой пользователя, которая предшествует меткам case или default.

switch (cond)
  {
  case 1:
    bar (0);
    /* FALLTHRU */
  default:
    …
  }

Предупреждение -Wimplicit-fallthrough=3 включено с -Wextra.

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

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

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

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

Выдавать предупреждение, когда атрибут игнорируется. Это отличается от опции -Wattributes тем, что предупреждение выдаётся всякий раз, когда компилятор решает отбросить атрибут, а не то, что атрибут неизвестен, используется в неправильном месте и т. д. Это предупреждение включено по умолчанию.

-Wmain

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

-Wmisleading-indentation (C and C++ only)

Выдавать предупреждение, когда отступы кода не отражают структуру блоков. В частности, предупреждение выдаётся для if, else, while, и for с защищённым оператором, который не использует фигурные скобки, за которым следует незащищённый оператор с тем же отступом.

В следующем примере вызов “bar” вводяще отступлен, как если бы он был защищён условным оператором “if”.

if (some_condition ())
  foo ();
  bar ();  /* Gotcha: this is not guarded by the "if".  */

В случае смешанных табуляций и пробелов предупреждение использует опцию -ftabstop= для определения, выравниваются ли операторы (по умолчанию 8).

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

if (flagA)
    foo (0);
#if SOME_CONDITION_THAT_DOES_NOT_HOLD
  if (flagB)
#endif
    foo (1);

Предупреждение не выдаётся после директивы #line, поскольку это обычно указывает на сгенерированный код, и нельзя делать предположений о структуре файла, на который ссылается директива.

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

-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, что является иным толкованием, чем в обычной математической записи.

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

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

-Wsequence-point

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

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

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

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

Стандарт C++17 определит порядок оценки операндов в большем количестве случаев: в частности, он требует, чтобы правая часть присваивания оценивалась перед левой, поэтому вышеприведённые примеры больше не неопределённы. Но это предупреждение по-прежнему будет предупреждать о них, чтобы помочь людям избегать написания кода, который неопределён в C и ранних редакциях C++.

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

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

-Wno-return-local-addr

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

-Wreturn-type

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

Только для C, предупреждать об операторе return с выражением в функции, тип возврата которой void, если тип выражения также void. В качестве расширения GNU, последний случай принимается без предупреждения, если не используется -Wpedantic.

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

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

-Wshift-count-negative

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

END_OF_DOCUMENT_MARKER

-Wshift-count-overflow

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

-Wshift-negative-value

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

-Wshift-overflow

-Wshift-overflow=n

Предупреждать о переполнении при сдвиге влево. Это предупреждение включено по умолчанию в режимах C99 и C++11 (и более новых).

-Wshift-overflow=1: Это уровень предупреждения -Wshift-overflow и включен по умолчанию в режимах C99 и C++11 (и более новых). Этот уровень предупреждений не предупреждает о сдвиге влево 1 в бит знака. (Однако в C такое переполнение всё ещё отклоняется в контекстах, где требуется целочисленное константное выражение.)
-Wshift-overflow=2: Этот уровень предупреждений также предупреждает о сдвиге влево 1 в бит знака, если не активен режим C++14.

-Wswitch

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

-Wswitch-default

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

-Wswitch-enum

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

-Wswitch-bool

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

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

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

-Wswitch-unreachable

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

switch (cond)
  {
   i = 15;
  …
   case 5:
  …
  }

-Wswitch-unreachable не предупреждает, если оператор между управляющим выражением и первой меткой case — это просто объявление:

switch (cond)
  {
   int i;
  …
   case 5:
   i = 5;
  …
  }

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

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

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

-Wunused-but-set-parameter

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