Reject invalid code after if/switch/loop (also fixes #14326) (#8033)

Reject invalid code after if/switch/loop (also fixes #14326) (#8033) #14902