Since the move to C++14 is now imminent, I regtested/bootstrapped the patch with -Wshift-overflow always enabled for C++ and that went well.
Marek
Since the move to C++14 is now imminent, I regtested/bootstrapped the patch with -Wshift-overflow always enabled for C++ and that went well.
Marek