Memcheck Reloaded dealing with compiler-generated branches on undefined values