Handle more cases of undefined behaviour due to signed integer overflow or division by zero#7012

Open

jamienicol wants to merge 8 commits intogfx-rs:trunkfrom jamienicol:overflow-edgecases

+3,866-2,524

Commits on Feb 12, 2025

[naga msl-out] Avoid undefined behaviour for integer division, modulo, negation, and abs

jamienicol
authored and
jimblandy
committed
[naga hlsl-out] Wrap int literals in constructor-style cast

jamienicol
authored and
jimblandy
committed
[naga hlsl-out] Avoid undefined behaviour for signed integer addition, subtraction, and multiplication

jamienicol
authored and
jimblandy
committed
[naga hlsl-out] Avoid undefined behaviour for integer division, modulo, negation, and abs

jamienicol
authored and
jimblandy
committed
[naga spv-out] Avoid undefined behaviour for integer division and modulo

jamienicol
authored and
jimblandy
committed
[naga hlsl-out] Use Scalar associated constants in patterns.
jimblandy
committed
[hlsl-out] Clean up repetition in write_mapped_math_functions.
jimblandy
committed
[hlsl-out] Clarify comment on HLSL floating-point divide by zero.
jimblandy
committed