> It's unstructured control flow and our competitors don't support it either.
Hm. Are you implying this is poor structure or non-idiomatic? Is it the lack of `else:` block you object to? While I’m not sure whom you count as “competitors”, Clang does do that type of analysis. The control-flow analyzer would realize that f can’t be nil at the last line because the nil test dead-ends into a noreturn call. I’ve seen the static analyzer do much more advanced reasoning. (That said, compiling at -O0 without a static-analysis pass might not have the smarts to do this. I don’t normally build that way.)
