[pcre-dev] Reliance on undefined shift overflow

Inizio della pagina
Delete this message
Autore: Michael McConville
Data:  
To: pcre-dev
Oggetto: [pcre-dev] Reliance on undefined shift overflow
The expression (1 << (c&7)) is used as a boolean in:

pcre,    pcre_study:1374
pcre2,    src/pcre2_study.c:1455


This is technically a constant true value, as the only potential
outcomes are:

* no overflow
* undefined overflow

Nonetheless, considering the '&7' part, overflow is impossible.

Thanks for your time,
Michael