[pcre-dev] Reliance on undefined shift overflow

Top Page
Delete this message
Author: Michael McConville
Date:  
To: pcre-dev
Subject: [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