Hi Harald,
there are several pretty obvious NULL pointer dereferences on valid and invalid code when checking do-loop contained stuff. Reported by Gerhard. Regtested on x86_64-pc-linux-gnu. OK for mainline/11-branch?
OK for both. Thanks for cleaning this up! Regards Thomas