# 通知設計書 17-errProveInit

## 概要

本ドキュメントは、Nimコンパイラにおける初期化証明エラー通知「errProveInit」の設計について記述する。

### 本通知の処理概要

errProveInitは、変数が使用される前に初期化されていることをコンパイラが静的に証明できない場合に発生するエラー通知である。ただし、このエラーは現在「deadcode」（非推奨/未使用コード）としてマークされており、代わりにwarnProveInit（警告）が使用されている。

**業務上の目的・背景**：Nimコンパイラは変数の初期化状態を追跡し、未初期化変数の使用を検出する。これはメモリ安全性の確保と未定義動作の防止のために重要な機能である。元々はエラーとして報告されていたが、現在は警告（warnProveInit）として報告される設計に変更されている。

**通知の送信タイミング**：このエラーは現在使用されていない（deadcode）。将来的に再度有効化される可能性があるため、定義は残されている。

**通知の受信者**：（現在未使用）Nimコンパイラを使用する開発者。

**通知内容の概要**：初期化を証明できない変数名を含むエラーメッセージ。

**期待されるアクション**：開発者は変数を明示的に初期化するか、使用前に必ず初期化されるようにコード構造を変更する。

## 通知種別

コンパイラ標準エラー出力（stderr） - ただし現在未使用

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期 |
| 優先度 | 高（エラー） - deadcode |
| リトライ | なし |

### 送信先決定ロジック

コンパイラのエラー出力設定に基づく（現在未使用）。

## 通知テンプレート

### コンソール出力の場合

| 項目 | 内容 |
|-----|------|
| 送信元 | Nimコンパイラ |
| 形式 | テキスト |

### 本文テンプレート

```
{ファイルパス}({行番号}, {列番号}) Error: Cannot prove that '{変数名}' is initialized.
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| $1 | 初期化を証明できない変数名 | セマンティック解析結果 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| （未使用） | - | - | 現在deadcodeとしてマーク |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| 常時抑止 | このエラーは現在使用されていない |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[コンパイル開始] --> B[セマンティック解析]
    B --> C{初期化チェック}
    C -->|証明成功| D[正常処理続行]
    C -->|証明失敗| E{deadcode?}
    E -->|Yes: errProveInit| F[未使用 - 発行されない]
    E -->|No: warnProveInit| G[警告として出力]
    D --> H[終了]
    F --> H
    G --> H
```

## データベース参照・更新仕様

### 参照テーブル一覧

該当なし

### 更新テーブル一覧

該当なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| 初期化証明失敗 | 変数が使用前に初期化されることを証明できない | 明示的な初期化を追加 |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 0（リトライなし） |
| リトライ間隔 | - |
| リトライ対象エラー | - |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 1分あたり上限 | なし |
| 1日あたり上限 | なし |

### 配信時間帯

制限なし

## セキュリティ考慮事項

- 未初期化変数の使用は未定義動作を引き起こす可能性があり、セキュリティ上のリスクとなる
- この機能は安全なコードの記述を支援する

## 備考

- このエラーは現在「deadcode」（非推奨コード）としてマークされている
- 代わりにwarnProveInit（警告）が使用される
- 将来的にこの警告がエラーに昇格する可能性がある（warnProveInitのメッセージ参照）

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

エラー定義と関連する警告の定義を理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | TMsgKind列挙型のerrProveInit定義（46行目）とdeadcodeコメント |
| 1-2 | lineinfos.nim | `compiler/lineinfos.nim` | エラーメッセージテンプレート（137行目） |
| 1-3 | lineinfos.nim | `compiler/lineinfos.nim` | warnProveInit定義（70行目）との比較 |

**読解のコツ**: errProveInitの定義の横に「# deadcode」とコメントされている点に注目。warnProveInitが現在使用されている代替機能。

#### Step 2: 関連警告の使用箇所を理解する

現在使用されているwarnProveInitの発行箇所を確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | sempass2.nim | `compiler/sempass2.nim` | 初期化チェックの実装 |

**主要処理フロー**:
- 現在、初期化証明失敗時にはwarnProveInitが使用される
- warnProveInitのメッセージ: "Cannot prove that '$1' is initialized. This will become a compile time error in the future."

### プログラム呼び出し階層図

```
nim c (コンパイルコマンド)
    │
    ├─ sem.nim::semPass
    │      │
    │      └─ sempass2.nim::trackProc
    │             │
    │             └─ 初期化チェック
    │                    │
    │                    └─ [現在] message(warnProveInit)
    │                    └─ [未使用] errProveInit
    │
    └─ msgs.nim::message
           │
           └─ liMessage (警告/エラー出力)
```

### データフロー図

```
[入力]                     [処理]                           [出力]

Nimソースファイル ───▶ sempass2.nim::trackProc ───▶ 初期化状態追跡
                              │
                              ▼
                         変数使用箇所で初期化チェック
                              │
                              ▼ [証明失敗]
                         [現在] warnProveInit
                         [未使用] errProveInit
                              │
                              ▼
                         stderr / 構造化エラーフック
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | TMsgKind列挙型定義、エラーメッセージ |
| sempass2.nim | `compiler/sempass2.nim` | ソース | 第2パスセマンティック解析、初期化チェック |
| msgs.nim | `compiler/msgs.nim` | ソース | コンパイラメッセージシステム |
