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

Эффективность некоторых предупреждений зависит от того, также включены ли оптимизации. Например, -Wsuggest-final-types эффективнее с оптимизацией при линковке, и некоторые предупреждения могут вообще не появляться, если оптимизация не включена.

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

-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 не вызывает предупреждений при использовании альтернативных ключевых слов, имена которых начинаются и заканчиваются символом __. Этот альтернативный формат также может быть использован для отключения предупреждений для не-ISO типов __intN, т.е. __intN__. Предупреждения 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)  
-Warray-compare 
-Warray-parameter=2 (C and Objective-C only) 
-Wbool-compare  
-Wbool-operation  
-Wc++11-compat  -Wc++14-compat  
-Wcatch-value (C++ and Objective-C++ only)  
-Wchar-subscripts  
-Wcomment  
-Wdangling-pointer=2  
-Wduplicate-decl-specifier (C and Objective-C only) 
-Wenum-compare (in C/ObjC; this is on by default in C++) 
-Wformat   
-Wformat-overflow  
-Wformat-truncation  
-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++) 
-Wmismatched-dealloc 
-Wmismatched-new-delete (only for C/C++) 
-Wmissing-attributes 
-Wmissing-braces (only for C/ObjC) 
-Wmultistatement-macros  
-Wnarrowing (only for C++)  
-Wnonnull  
-Wnonnull-compare  
-Wopenmp-simd 
-Wparentheses  
-Wpessimizing-move (only for C++)  
-Wpointer-sign  
-Wrange-loop-construct (only for C++)  
-Wreorder   
-Wrestrict   
-Wreturn-type  
-Wsequence-point  
-Wsign-compare (only in C++)  
-Wsizeof-array-div 
-Wsizeof-pointer-div 
-Wsizeof-pointer-memaccess 
-Wstrict-aliasing  
-Wstrict-overflow=1  
-Wswitch  
-Wtautological-compare  
-Wtrigraphs  
-Wuninitialized  
-Wunknown-pragmas  
-Wunused-function  
-Wunused-label     
-Wunused-value     
-Wunused-variable  
-Wuse-after-free=3  
-Wvla-parameter (C and Objective-C only) 
-Wvolatile-register-var  
-Wzero-length-bounds

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

-Wextra

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

-Wclobbered  
-Wcast-function-type  
-Wdeprecated-copy (C++ only) 
-Wempty-body  
-Wenum-conversion (C only) 
-Wignored-qualifiers 
-Wimplicit-fallthrough=3 
-Wmissing-field-initializers  
-Wmissing-parameter-type (C only)  
-Wold-style-declaration (C only)  
-Woverride-init  
-Wsign-compare (C only) 
-Wstring-compare 
-Wredundant-move (only for C++)  
-Wtype-limits  
-Wuninitialized  
-Wshift-negative-value (in C++11 to C++17 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++) Базовый класс не инициализируется в конструкторе копирования производного класса.

-Wabi (C, Objective-C, C++ and Objective-C++ only)

Предупреждать о коде, на который повлияли изменения ABI. Это включает код, который может быть несовместим с нейтральным для поставщиков ABI для C++, а также с psABI для конкретной платформы.

Поскольку G++ теперь по умолчанию обновляет ABI с каждым основным выпуском, обычно -Wabi предупреждает только о проблемах совместимости ABI C++ при добавлении проверки позже в серии релизов, если возникла проблема ABI, обнаруженная после первоначального выпуска. -Wabi предупреждает о большем количестве вещей, если выбрана более старая версия ABI (с -fabi-version=n).

-Wabi также может использоваться с явным номером версии, чтобы предупредить о совместимости ABI C++ с конкретным уровнем -fabi-version, например, -Wabi=2, чтобы предупредить об изменениях по отношению к -fabi-version=2.

Если указан явный номер версии, а -fabi-compat-version не указан, номер версии из этой опции используется для псевдонимов совместимости. Если явный номер версии не указан с этой опцией, но -fabi-compat-version указан, этот номер версии используется для предупреждений ABI C++.

Хотя предприняты усилия для предупреждения обо всех таких случаях, вероятно, есть некоторые случаи, о которых не предупреждают, даже если G++ генерирует несовместимый код. Также могут быть случаи, когда предупреждения выдаются, даже если сгенерированный код совместим.

Вы должны переписать свой код, чтобы избежать этих предупреждений, если вы обеспокоены тем, что код, сгенерированный G++, может быть не бинарно совместим с кодом, сгенерированным другими компиляторами.

Известные несовместимости в -fabi-version=2 (который был по умолчанию от GCC 3.4 до 4.9) включают:

Шаблон с параметром шаблона без типа типа ссылки был неправильно искажён:
```
extern int N;
template <int &> struct S {};
void n (S<N>) {2}
```
Это было исправлено в -fabi-version=3.
Типы векторов SIMD, объявленные с помощью __attribute ((vector_size)), были искажены нестандартным способом, который не позволяет перегружать функции, принимающие векторы разных размеров.
Искажение было изменено в -fabi-version=4.
__attribute ((const)) и noreturn были искажены как квалификаторы типов, и decltype обычного объявления было сложено.
Эти проблемы с искажением были исправлены в -fabi-version=5.
Перечислители с областью действия, передаваемые в качестве аргументов вариативной функции, повышаются как перечислители без области действия, что заставляет va_arg жаловаться. На большинстве платформ это фактически не влияет на ABI передачи параметров, так как нет способа передать аргумент меньше, чем int.
Кроме того, ABI изменил искажение пакетов параметров шаблона, const_cast, static_cast, префиксное инкрементирование/декрементирование и функцию области класса, используемую как параметр шаблона.

Эти проблемы были исправлены в -fabi-version=6.
Лямбды в области по умолчанию были неправильно искажены, и ABI изменил искажение nullptr_t.
Эти проблемы были исправлены в -fabi-version=7.
При искажении типа функции с квалификаторами функции, неквалифицированный тип функции был неправильно обработан как кандидат для подстановки.
Это было исправлено в -fabi-version=8, по умолчанию для GCC 5.1.
decltype(nullptr) неправильно имел выравнивание 1, что приводило к невыровненному доступу. Обратите внимание, что это не повлияло на ABI функции с параметром nullptr_t, так как параметры имеют минимальное выравнивание.
Это было исправлено в -fabi-version=9, по умолчанию для GCC 5.2.
Специфичные для платформы атрибуты, влияющие на идентичность типа, такие как вызовы ia32 на типе функции (stdcall, regparm и т.д.), не влияли на искажённое имя, что приводило к конфликтам имён при использовании указателей на функции в качестве параметров шаблона.
Это было исправлено в -fabi-version=10, по умолчанию для GCC 6.1.

Эта опция также включает предупреждения о изменениях, связанных с psABI. Известные изменения psABI на данный момент включают:

Для SysV/x86-64 объединения с long double членами передаются в памяти как указано в psABI. До GCC 4.4 это не так. Например:
```
union U {
  long double ld;
  int i;
};
```
union U теперь всегда передаётся в памяти.

-Wchar-subscripts

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

-Wno-coverage-mismatch

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

-Wno-coverage-invalid-line-number

Выдавать предупреждение, если функция завершается раньше, чем начинается, из-за неверных макросов номера строки. Предупреждение выдаётся только при включённом --coverage.

По умолчанию это предупреждение включено и обрабатывается как ошибка. -Wno-coverage-invalid-line-number можно использовать для отключения предупреждения, или -Wno-error=coverage-invalid-line-number для отключения ошибки.

-Wno-cpp (C, Objective-C, C++, Objective-C++ and Fortran only)

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

-Wdouble-promotion (C, C++, Objective-C and Objective-C++ only)

Выдавать предупреждение, когда значение типа float неявно преобразуется в double. ЦП с 32-битным блоком обработки чисел с плавающей запятой «single-precision» реализуют 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 также проверяет аргументы формата null для нескольких функций, -Wformat также подразумевает -Wnonnull. Некоторые аспекты этого уровня проверки форматов можно отключить с помощью параметров: -Wno-format-contains-nul, -Wno-format-extra-args и -Wno-format-zero-length. -Wformat включено с помощью -Wall.
-Wformat=2: Включить -Wformat плюс дополнительные проверки форматов. В настоящее время эквивалентно -Wformat -Wformat-nonliteral -Wformat-security -Wformat-y2k.

-Wno-format-contains-nul

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

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

void f (int a, int b)
{
  char buf [13];
  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-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, что обычно происходит при оптимизациях в большинстве целей. Точность предупреждений зависит от используемых опций оптимизации.

-Winfinite-recursion

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

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

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

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

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

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

-Wno-implicit-int (C and Objective-C only)

Данная опция управляет предупреждениями при отсутствии указания типа в объявлении. Это предупреждение включено по умолчанию в C99 и более поздних диалектах C, а также в -Wall.

-Wno-implicit-function-declaration (C and Objective-C only)

Данная опция управляет предупреждениями, когда функция используется до своего объявления. Это предупреждение включено по умолчанию в C99 и более поздних диалектах C, а также в -Wall. Предупреждение преобразуется в ошибку с помощью -pedantic-errors.

-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 пропускается к следующей. Например:

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

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

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

Поскольку в некоторых случаях пропуск ветви 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.

-Wno-if-not-aligned (C, C++, Objective-C and Objective-C++ only)

Управлять, выдавать ли предупреждения, сгенерированные атрибутом warn_if_not_aligned. Эти предупреждения включены по умолчанию.

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

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

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

-Wno-ignored-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-attributes

Предупреждать, если в объявлении функции отсутствует один или несколько атрибутов, с которыми объявлена связанная функция, и отсутствие которых может негативно повлиять на правильность или эффективность генерируемого кода. Например, предупреждение выдается для объявлений псевдонимов, которые используют атрибуты для указания менее жестких требований, чем у их целевых функций. Это обычно указывает на потенциальную возможность оптимизации. Напротив, опция -Wattribute-alias=2 управляет предупреждениями, которые выдаются, когда псевдоним более строгий, чем целевая функция, что может привести к неправильной генерации кода. Рассматриваемые атрибуты включают alloc_align, alloc_size, cold, const, hot, leaf, malloc, nonnull, noreturn, nothrow, pure, returns_nonnull, и returns_twice.

В C++, предупреждение выдается, когда явная специализация шаблонной функции, объявленной с атрибутом alloc_align, alloc_size, assume_aligned, format, format_arg, malloc, или nonnull, объявляется без него. Атрибуты deprecated, error, и warning подавляют предупреждение. (см. Функциональные атрибуты).

Можно использовать атрибут copy для применения того же набора атрибутов к объявлению, что и в другом объявлении, без явного перечисления атрибутов. Этот атрибут можно применять к объявлениям функций (см. Общие атрибуты функций), переменных (см. Общие атрибуты переменных) или типов (см. Общие атрибуты типов).

-Wmissing-attributes включено в -Wall.

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

template <class T>
T* __attribute__ ((malloc, alloc_size (1)))
allocate (size_t);

template <>
void* __attribute__ ((malloc))   // missing alloc_size
allocate<void> (size_t);

-Wmissing-braces

Предупреждать, если инициализатор агрегата или объединения не полностью заключен в скобки. В следующем примере инициализатор a не полностью заключен в скобки, а инициализатор b заключен полностью.

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

Предупреждение, если указанный пользователем каталог включаемых файлов не существует. Этот параметр по умолчанию отключен для C, C++, Objective-C и Objective-C++. Для Fortran он частично включен по умолчанию, выдавая предупреждение только для -I и -J.

-Wno-missing-profile

Этот параметр управляет предупреждениями, если отсутствуют профили обратной связи при использовании параметра -fprofile-use. Этот параметр диагностирует случаи, когда новая функция или новый файл добавляются между компиляцией с -fprofile-generate и -fprofile-use без перегенерации профилей. В этих случаях файлы данных профилей обратной связи не содержат никакой информации о профилях обратной связи для новой функции или файла соответственно. Также, в случае удаления файлов данных профилей подсчета (.gcda), GCC не может использовать никакую информацию о профилях обратной связи. Во всех этих случаях выдается предупреждение, чтобы сообщить вам о необходимости шага генерации профилей. Игнорирование предупреждения может привести к плохо оптимизированному коду. -Wno-missing-profile можно использовать для отключения предупреждения, но это не рекомендуется и следует делать только тогда, когда отсутствующие данные профилей оправданы.

-Wmismatched-dealloc

Предупреждение о вызовах функций освобождения с указателями-аргументами, возвращаемыми функциями выделения, для которых предыдущая не является подходящей функцией освобождения. Пара функций может быть связана как соответствующие функции выделения и освобождения с помощью атрибута malloc. За исключением случаев, когда параметр -fno-builtin отключен, стандартные функции calloc, malloc, realloc, и free, а также соответствующие формы C++ operator new и operator delete неявно связаны как соответствующие функции выделения и освобождения. В приведенном примере mydealloc является функцией освобождения для указателей, возвращаемых функцией myalloc.

void mydealloc (void*);

__attribute__ ((malloc (mydealloc, 1))) void*
myalloc (size_t);

void f (void)
{
  void *p = myalloc (32);
  // …use p…
  free (p);   // warning: not a matching deallocator for myalloc
  mydealloc (p);   // ok
}

В C++, связанный параметр -Wmismatched-new-delete диагностирует несоответствия, связанные с operator new или operator delete.

Параметр -Wmismatched-dealloc включен в -Wall.

-Wmultistatement-macros

Предупреждение об опасных макросах с несколькими операторами, которые, похоже, защищены клаузой, такой как if, else, for, switch, или while, в которой после развёртывания макроса защищен только первый оператор.

Например:

#define DOIT x++; y++
if (c)
  DOIT;

будет увеличивать y безусловно, а не только тогда, когда c истинно. Это обычно можно исправить, заключив макрос в цикл do-while:

#define DOIT do { x++; y++; } while (0)
if (c)
  DOIT;

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

-Wparentheses

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

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

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

Для C++ это также предупреждает о некоторых случаях ненужных скобок в объявлениях, которые могут указывать на попытку вызова функции вместо объявления:

{
  // Declares a local variable called mymutex.
  std::unique_lock<std::mutex> (mymutex);
  // User meant std::unique_lock<std::mutex> lock (mymutex);
}

Это предупреждение включено в -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 Readings по адресу https://gcc.gnu.org/readings.html.

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

-Wno-return-local-addr

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

-Wreturn-type

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

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

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

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

-Wno-shift-count-negative

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

-Wno-shift-count-overflow

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

-Wshift-negative-value

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

-Wno-shift-overflow

-Wshift-overflow=n

Эти параметры управляют предупреждениями о переполнении при сдвиге влево.

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

-Wno-switch-bool

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

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

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

-Wno-switch-outside-range

Этот параметр управляет предупреждениями, когда значение case в операторе switch находится за пределами диапазона соответствующего типа. Это предупреждение включено по умолчанию для программ на C и C++.

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

-Wtrivial-auto-var-init

Выдавать предупреждение, когда -ftrivial-auto-var-init не может инициализировать автоматическую переменную. Часто это происходит с автоматической переменной, объявленной между управляющим выражением и первой меткой case оператора switch.

-Wunused-but-set-parameter

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