Give GCC more control flow information, so it can be sure that