Getting rid of unwanted branches in C/C++ code with __builtin_unreachable()