Casting infinity to an intiger sometimes results in a 0 value(with optimizations enabled)
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Issue の Rust reproducer から始め、最適化を有効にして MIRI と cg_gcc の下で実行し、u128 キャストの異なる出力を記録します。浮動小数点から整数への変換における最適化されたコード生成パスを追跡します。cg_gcc が誤った 0 の結果を生成しなくなり、MIRI と一致すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
This program(which runs fine under MIRI) produces incorrect results when compiled with cg_gcc.
fn main() {
let _2 = [true, false, true, true, false];
let _1 = 0;
let mut _6 = 0.0;
let RET = 0.0;
let mut _3 = 51216f32;
let mut _4 = _3 * _3;
let _13 = 0;
let mut _14 = _4;
let _20 = &mut _14;
_4 = *_20 * *_20 * _4;
_6 = *_20;
*_20 = _4;
let mut _28 = 0.0;
let _41 = &mut _28;
*_41 = *_20;
let _39 = *_20 = *_41 * *_41;
let _12 = *_41 = -*_20;
_3 = *_41;
let _57 = *_41;
let _5 = *_41 = _3 * _6 * -_57;
let val = *_41;
let tmp = _28 * val;
let _78 = tmp as u128;
println!("{_78:?}");
}
- 主要言語
- Rust
- スター
- 1.2k
- フォーク
- 105
- 平均マージ
- 6時間 23分
- マージ済み PR(30日)
- 19
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
rust-lang/rustc_codegen_gcc のほかの issue
-
tests
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
rust-lang/rustc_codegen_gcc#993 ·
メンテナーはふだん 1 日以内に返信
-
tests
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
rust-lang/rustc_codegen_gcc#992 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
rust-lang/rustc_codegen_gcc#970 · コメント 5 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
rust-lang/rustc_codegen_gcc#943 ·
メンテナーはふだん 1 日以内に返信
-
documentation
難易度 3/5 1〜2日 初心者へのやさしさ 64/100
rust-lang/rustc_codegen_gcc#930 · コメント 5 件 ·
メンテナーはふだん 1 日以内に返信
rust-lang/rustc_codegen_gcc の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
storytold/photocraft#5710 ·
メンテナーはふだん 1 日以内に返信
-
Two tests fail on a Windows checkout: a CRLF parse in feature_walk_tests, an 8.3 TEMP path in libraries_tests対応中かも @CamWight が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
bherbruck/solvecraft#1186 · コメント 1 件 ·
-
area: screenshot audit bug good first issue priority: P3 security severity: info type: correctness
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
pierruno-labs/prowl#31 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
limitlessprojects/Go-Hybrid#50 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
メンテナーはふだん 1 日以内に返信