Repository navigation

Fix issues in the cparser/Ceval.ml constant evaluator - #567

Merged

xavierleroy merged 4 commits into

Jan 9, 2026

Merged

Fix issues in the cparser/Ceval.ml constant evaluator#567
xavierleroy merged 4 commits into
masterfrom
fix-ceval

Commits on Dec 30, 2025
- Ceval.binop: add missing casts to `tyop`
  xavierleroy
  committed
  d6daad9
- Ceval.unop: wrong cast of result value
  xavierleroy
  committed
  1e449f2
- Update small test suite
  xavierleroy
  committed
  23b1f34
Commits on Jan 8, 2026
- Ceval.binop: take bit width of integer type into account for shifts
  xavierleroy
  committed
  ad517f4