When using a "if" statement inside an always block, part of the code may be unreachable. This can be used to avoid errors, but it generated an error, this commit demotes this to a warning. Partly fixes #2625.
