The value of optimizer_switch must be reported as part of the information dumped on segfault. This is in order to better process incoming bugs from customers and users who often first provide the error log information only, where optimizer_switch is not reflected.