Precise Control Flags over Compiler Warnings

診断（diagnostic）を診断グループ（diagnostic group）という単位で分類し、そのグループを指定して警告の扱いを制御できる新しいコンパイラオプションを導入します。

• -Werror <group>: 指定したグループに属する警告をエラーに昇格させます
• -Wwarning <group>: 指定したグループに属する警告を、たとえ抑制されていたりエラーに昇格されていたりしても警告のまま出力させます

<group> には診断グループを表す文字列（例: Deprecated, DeprecatedDeclaration, Concurrency など）を渡します。

あわせて、警告メッセージの末尾に所属する診断グループ名を表示する -print-diagnostic-groups オプションも追加されます。たとえば次のように表示されます。

main.swift:33:1: warning: 'f()' is deprecated [#DeprecatedDeclaration]

このグループ名をそのまま -Werror / -Wwarning の引数として使えます。

診断グループ

診断グループはコンパイラ内部の診断 ID とは別に用意された、ユーザー向けに安定した識別子です。コンパイラの実装変更に伴って内部の診断 ID が変わっても、グループ名は利用者から見て不変であることが保たれます。

グループは非循環グラフを成します。具体的には次のような構造になっています。

• 個々の警告・エラーはただ 1 つの診断グループに所属します
• 診断グループは他の診断グループを任意個含むことができます（例: Deprecated は DeprecatedDeclaration や UnsafeGlobalActorDeprecated を含みます）
• 1 つの診断グループは複数の上位グループに属することができます（例: UnsafeGlobalActorDeprecated は Deprecated と Concurrency の双方に属します）

グループの内部構造は将来変更される可能性がありますが、あるグループが（直接的・推移的に）含む診断の集合が狭くなることはないことが保証されます。たとえば既存の DeprecatedDeclaration 警告がより特化した DeprecatedDeclarationSameModule に分割されるような場合でも、新しいグループは DeprecatedDeclaration の下位として追加され、-Werror DeprecatedDeclaration を指定していたユーザーの挙動は以前と変わりません。

「後勝ち」の評価ルール

新しいフラグと既存の -warnings-as-errors / -no-warnings-as-errors は、すべてコマンドラインに現れる順にまとめて処理され、同じ警告に対して複数のフラグが適用される場合は最後のものが勝つ（last one wins）ルールで最終的な扱いが決まります。

-warnings-as-errors -Wwarning Deprecated

この指定では、Deprecated グループの警告は警告のまま残り、それ以外のすべての警告がエラーに昇格します。順序を逆にした

-Wwarning Deprecated -warnings-as-errors

では、最後に書かれた -warnings-as-errors が勝つため、Deprecated を含むすべての警告がエラーになります。

複数の上位グループに属するグループがある場合、順序の影響が直観に反することもあるため注意が必要です。たとえば UnsafeGlobalActorDeprecated は Deprecated と Concurrency の両方に属するため、

• -Wwarning Deprecated -Werror Concurrency: 後に来る Concurrency が勝ち、UnsafeGlobalActorDeprecated はエラーになります
• -Werror Concurrency -Wwarning Deprecated: 後に来る Deprecated が勝ち、UnsafeGlobalActorDeprecated は警告のままになります

より細かい指定例として、

-Werror Deprecated -Wwarning DeprecatedDeclaration

では、Deprecated グループの警告は基本的にエラーになりますが、後から上書きされる DeprecatedDeclaration グループの警告だけは警告のまま残ります。

-suppress-warnings との関係

既存の -suppress-warnings は、今回の統一モデルにはあえて組み込まれず、次のように扱われます。

• -suppress-warnings と -Wwarning / -Werror を同時に指定することは禁止され、コンパイラがエラーを出します
• -suppress-warnings と -no-warnings-as-errors（あるいは -warnings-as-errors -no-warnings-as-errors）の併用はこれまでどおり許容されます
• -suppress-warnings と -no-warnings-as-errors を併用した場合、順序にかかわらず常に -suppress-warnings が優先されます

-print-diagnostic-groups と -debug-diagnostic-names

コンパイラには従来から -debug-diagnostic-names というオプションがあり、これも警告メッセージの末尾に角括弧付きで識別子を表示します。ただし、こちらが出すのはコンパイラ内部の診断 ID であって診断グループ名ではありません。たとえば次のコードを考えます。

@available(iOS, deprecated: 10.0, renamed: "newFunction")
func oldFunction() { ... }

oldFunction()

• -debug-diagnostic-names 付きだと [#RenamedDeprecatedDeclaration]（内部診断 ID）が表示されます。この文字列は -Werror / -Wwarning の引数としては使えません
• -print-diagnostic-groups 付きだと [#DeprecatedDeclaration]（診断グループ）が表示されます。こちらは新しいフラグにそのまま渡せます

内部診断 ID と診断グループ名は一致することも多いですが、常に一致するとは限りません。混同を避けるため、-debug-diagnostic-names と -print-diagnostic-groups を同時に指定することはできません。

Future Directions

本提案で導入される診断グループは、将来的に言語側からの制御（C++ の #pragma diagnostic や属性に相当するもの）や、SwiftPM の SwiftSetting 経由での設定に拡張されていく可能性があります。ただし、これらはあくまで今後の展望であり、まずは診断グループを運用した経験を積んだうえで検討されるものです。