Line 7 will not be reached because of the infinite loop.
I think the compiler does not take the
assert false statements into account because it must assume that at run time assertions could be disabled.
That's just an educated guess though, so do not take my
word for it.