(C++)cstdintヘッダーの追加

[luckylat]

行いたいこと

<cstdint>がgcc13下においてデフォルトでインクルードされなくなるため、<cstdint>をインクルードしていないかつint32_tなどの型を使っているコードに対して<cstdint>を追加したいと思っています。
(Ex: https://github.com/yosupo06/library-checker-problems/blob/master/math/addition_of_big_integers/base.hpp)

また、gcc13以降でデフォルトでインクルードされなくなるヘッダーが<cstdint>以外にも存在しており、もし他に影響があるヘッダーが存在するならばそのコードも修正したいと思っています。

詳細

gcc13以降でデフォルトでインクルードされなくなるヘッダーは以下の通りです。

• <string>
  これに関しては<iostream>を入れてればどうにかなります
• <system_error>
• <cstdint>
• <cstdio>
• <cstdlib>

現状Library Checkerではgcc12を使用しており、gcc13に関する問題に対して影響はないと思っていますが、gcc13を使用しているローカル環境下でライブラリのverifyなどをする際にエラーが発生してしまうため、修正を行いたいと考えています。
回避策としてgcc13を使わずにローカル環境もgcc12にするという方法があるため、現状そこまで優先度の高い問題と捉えなくても問題ありません。その場合はgcc13にアップデートする場合このようなことが起こり得るということだけ認識していただけると幸いです。

Issueを初めて建てるため、もし何か足りてない情報や、やっておくべきことがあったら教えていただけると嬉しいです。よろしくお願いします。

Ref

gcc13への移行記事: https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes

#1043
#983

[Tiphereth-A]

Working on this.

I'm trying to compile all C++ files under GCC 13.2, which might take a while.