overflow-checks(Cargo)

実行時の整数オーバーフローでパニックさせるかを決めるCargoのプロファイル設定。既定はdevでtrue、releaseでfalse。

概念URI

https://comcomponent.com/knowledge/cargo-overflow-checks/

別名・表記

-C overflow-checks

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 整数オーバーフローはoverflow-checks(Cargo)で構成できます。Rust で整数オーバーフローをパニックにするか折り返すかは overflow-checks で決まる。既定は dev で true、release で false で、言語仕様は検査のないビルドでパニックか2の補数の折り返しかを実装に任せている。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• Ada と Rust の安全性の考え方の違い ── 型・オーバーフロー・所有権・データ競合・形式検証を実際に動かして比べる(言及)

一次資料

• https://doc.rust-lang.org/cargo/reference/profiles.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。