ebiggers / libdeflate

Heavily optimized library for DEFLATE/zlib/gzip compression and decompression

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

analyzer warning regression: The left operand of '+' is a garbage value due to array index out of bounds

Coeur opened this issue · comments

The Apple clang analyzer is showing this new warning:

The left operand of '+' is a garbage value due to array index out of bounds

The regression came with a50c51b (#316) apparently
Capture d’écran 2024-03-18 à 10 39 43
Capture d’écran 2024-03-18 à 10 40 15
Capture d’écran 2024-03-18 à 10 44 03
Capture d’écran 2024-03-18 à 10 40 44

It's a false positive. #358 suppresses it by adding an assertion for that function's preconditions.