genRange crashes with ClOpen when lower bound equals upper bound

オープン 初心者向け
  • 何か問題がありますか？
#166 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
72/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
静か
技術スタック
haskell
領域
testing-qa

調査の方向性

src/Codec/CBOR/Cuddle/CBOR/Gen.hsを読み、genRangeとそのrangeヘルパーから始めて、ClOpen境界を使った空の5...5ケースを再現してください。chooseまたはantiChooseの前に調整後の範囲を検証し、空の範囲が無効な範囲によるクラッシュではなく明確なエラーを生成するようになったら、問題が解決されたとみなしてください。

索引モデルが issue の本文から書いたものです。

説明

bug

Description

genRange can crash with an invalid choose range when the lower bound equals the upper bound and bounds are ClOpen.

Location

src/Codec/CBOR/Cuddle/CBOR/Gen.hs, genRange function

Details

When a == b and the range bound is ClOpen, the range helper computes (x, pred y), producing an upper bound strictly less than the lower bound. This causes choose/antiChoose to crash with an invalid range.

For example, a CDDL range like 5...5 (exclusive on both ends) results in an empty range that choose cannot handle.

Suggested fix

Validate that the range is non-empty after applying bounds, and emit a clear error message for empty ranges instead of crashing inside choose.

主要言語
Haskell
スター
8
フォーク
5
平均マージ
3日 12時間
マージ済み PR（30日）
4

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

IntersectMBO/cuddle のほかの issue

IntersectMBO/cuddle の issue をすべて見る

似ている issue

Haskell の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。