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

Merged

xavierleroy merged 4 commits intomasterfrom

Jan 9, 2026

Commits on Dec 30, 2025

Commits on Jan 8, 2026

Ceval.binop: take bit width of integer type into account for shifts
xavierleroy
committed