はじめに gcc v12.1において、C++の正規表現ライブラリstd::regexに、正規表現のバリデーションを改善するパッチ(以下"改善パッチ"と表記)が取り込まれました。改善パッチによって、これまではバリデーションにひっかからなかった不正な正規表現文字列が"正しく"不正なものと認識されて例外が発生するようになりました。 これだけ聞けばいいことだけのように思えるかもしれませんが、実はそうでもなかったりします。経験豊富なかたであれば見た瞬間ゾッとしたかもしれません。本記事では、この一見問題なさそうな改善パッチによって発生しうる問題、および、その具体的例について紹介するとともに、この手のパッチを当てるかどうかは難しい判断になるという知見を共有します。 結論 改善パッチによって発生する問題 発生条件 gcc v12.1以降、あるいは改善パッチをバックポートされた任意のバージョンを使ってC++
![「バグを意図的にバグのまま残す」という選択肢がある](https://cdn-ak-scissors.b.st-hatena.com/image/square/64ecc96ffff06ac61c0947beebb32667b3616a63/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--WHyXo6Zz--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%2525E3%252580%25258C%2525E3%252583%252590%2525E3%252582%2525B0%2525E3%252582%252592%2525E6%252584%25258F%2525E5%25259B%2525B3%2525E7%25259A%252584%2525E3%252581%2525AB%2525E3%252583%252590%2525E3%252582%2525B0%2525E3%252581%2525AE%2525E3%252581%2525BE%2525E3%252581%2525BE%2525E6%2525AE%25258B%2525E3%252581%252599%2525E3%252580%25258D%2525E3%252581%2525A8%2525E3%252581%252584%2525E3%252581%252586%2525E9%252581%2525B8%2525E6%25258A%25259E%2525E8%252582%2525A2%2525E3%252581%25258C%2525E3%252581%252582%2525E3%252582%25258B%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3Asat%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2hjeVUzdFlLV3RJeXdsdjJhYm1ac2VpczZrUnp1ODc5ZFNwT0Vub3c9czI1MC1j%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)