Paweł BylicaandGitHub 5268560350 Fix udivrem dead branch causing static analysis failures (#349) ...

For `udivrem` with divisor being `uint128` (2 words) the Knuth division
branch is dead because it handles divisors with more than 2 words.

However, the compiler or static analyzer will compile this branch
and report array out-of-bounds access (e.g. GCC-15, Clang Analyzer 21).

Fix this by adding more hints about expected value ranges.

2025-11-13 16:02:58 +01:00

..

add.cpp

test: Add analysis library to view asm output

2022-03-09 13:03:13 +01:00

CMakeLists.txt

test: Add analysis library to view asm output

2022-03-09 13:03:13 +01:00

div.cpp

Fix udivrem dead branch causing static analysis failures (#349)

2025-11-13 16:02:58 +01:00

lt.cpp

test: Add analysis library to view asm output

2022-03-09 13:03:13 +01:00

sub.cpp

test: Add analysis library to view asm output

2022-03-09 13:03:13 +01:00