> Not really, because you would need to do flow analysis to prevent false positives.

I'm not sure why you would need any flow analysis. If you have a declaration, then `<decl> <ident>;` triggers the diagnostic, and `<decl> <ident> <assign_exp>;` does not. Am I missing something?