Yeah, A static analyzer should be able to figure out what's going on and throw an error.