Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix Coverity unreachable code warning
(cherry-picked from d5d553f)
- Loading branch information
(cherry-picked from d5d553f)