Eugene.Zelenko added a comment. Just encountered next situation in my work code base: void Function() { ... if (Condition) { } else return; } http://reviews.llvm.org/D16259