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

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