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