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 не вызывает предупреждения об использовании альтернативных ключевых слов, имена которых начинаются и заканчиваются символом ‘__’. Предупреждения педантичности также отключены в выражении, которое следует за __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) требует диагностики, в некоторых случаях, когда происходит неопределённое поведение во время компиляции, и в некоторых других случаях, которые не препятствуют компиляции программ, которые являются валидными в соответствии со стандартом. Это не эквивалентно -Werror=pedantic, поскольку есть ошибки, включённые этим параметром, но не включённые последним, и наоборот.

-Wall

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

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

-Waddress   
-Warray-bounds=1 (only with -O2)  
-Wbool-compare  
-Wc++11-compat  -Wc++14-compat
-Wchar-subscripts  
-Wcomment  
-Wenum-compare (in C/ObjC; this is on by default in C++) 
-Wformat   
-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-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 
-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.

-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, не выдавайте предупреждений о строках формата, содержащих нулевые байты.

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

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

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

Также предупреждать о конструкциях, где может возникнуть путаница относительно того, к какой 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 по адресу 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

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

-Wshift-negative-value

Предупреждать о сдвиге отрицательного значения влево. Это предупреждение включено флагом -Wextra в режимах 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 случая.

-Wswitch-enum

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

-Wswitch-bool

Предупреждать всякий раз, когда switch инструкция имеет индекс булевого типа, а значения случаев выходят за пределы диапазона булевого типа. Это предупреждение можно подавить, преобразовав управляющее выражение в тип, отличный от 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

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