Phase 4: -Wunused-variable を潰して -Werror=unused-variable を有効化

[thawk105]

#43 Phase 4 のサブタスク。-Wunused-variable 167 件 (file:line:col ユニーク、36 ソースファイル) を潰し、ccbench_add_protocol() に -Werror=unused-variable を追加する。

真のバグ 2 件

1. tx.read() の戻り値 check 漏れ → stale body deref

include/bomb.hh と include/bomb_pessimistic.hh の get_material_cost() で、tx.read() の Status を stat で受けていたが unused のままで、tx.status_ == aborted だけ確認して body->get_value().cast_to<MaterialCostMaster>() を呼んでいた。CLAUDE.md の "tx.read returns Status — check it" 節そのままのパターンで、MaterialCostMaster 行が無いと前回 read の stale body を deref する。両方に if (stat != Status::OK) return false; を追加。

2. cc/oze/{bomb,ycsb}_oze.cc の actual_extime print が漏れていた

他の protocol の workload binary (silo / mocc / mvto / si / ss2pl / ermia / cicada / tictoc) は全て ShowOptParameters() の後に std::cout << \"actual_extime:\\t\" << actual_extime << std::endl; を出力しているが、oze の bomb / ycsb 版だけこの行が無く、actual_extime が計算するだけで捨てられていた (tpcc_oze.cc は正しく出力している)。print を追加して他の binary と出力スキーマを揃えた。

カテゴリ別の修正方針

カテゴリ	件数 (おおむね)	方針
真のバグ (tx.read の Status 無視 + stale body deref)	2	if (stat != Status::OK) return false; を追加
観測性の漏れ (actual_extime の print)	2	print 行を追加 (他 binary と統一)
Result &myres = std::ref(...) が <workload>_<proto>.cc の worker で完全 dead	14	削除
uint64_t epoch_timer_start, epoch_timer_stop; が oze の workload entry で dead	6	削除
Status stat; が run() 先頭で declare されて未使用 (bomb.hh, bomb_pessimistic.hh)	2	削除
Version *expected, *desired; の expected が ermia / si の delete_record で dead	2	expected を分離
SetElement<Tuple>* re; 等の dead 宣言 (ermia / si / oze)	多数	削除
bool isInvisible; (oze)	3	削除
int num_pages = 0; int num_skip_propagate = 0; (oze)	2	削除
ループ内で shadowing する dead 宣言 (uint32_t p_id, SimpleKey<8> key)	3+	削除
auto n = tx.read_set_.size(); 等の dead snapshot	2	削除
副作用が目的の値を materialize する &t = ... (YCSB の read/write workload、OrderLine の touch)	数件	[[maybe_unused]]
単に N 回繰り返すだけのループの induction var (for (auto& k : keys))	2	[[maybe_unused]]
意図的に return を捨てている関数呼び出し (tx.scan, tx.delete_record, Masstrees[...].remove_value, read_internal, select_im_by_factory, select_pc_by_factory)	多数	(void) + 短いコメント (Phase 1 #47 の select_im_by_factory のパターンを踏襲)

remove_value の (void) 化は silo / mocc / tictoc / ss2pl / d2pl の writePhase DELETE branch で同じ shape のコードを 5 個別個に直しているが、共通化はこの PR のスコープ外とする。

CMake

 target_compile_options(${target} PRIVATE
   -Werror=maybe-uninitialized
   -Werror=unused-but-set-variable
-  -Werror=unused-label)
+  -Werror=unused-label
+  -Werror=unused-variable)

Test plan

• GCC 13 Release / -DENABLE_SANITIZER=OFF: 34/34 binaries built, 0 warnings
• GCC 11 Debug + ASan: 34/34 binaries built
• CI 緑

Related

• 段階的に -Werror 化してビルドを堅牢にする #43 Phase 4 (parallel work)
• Phase 1: -Wunused-label を潰して -Werror=unused-label を有効化 (Phase 1 完了) #50 (Phase 1 完了)