One or more small tunings toward enhanced binary size
Thread::get_name(): On a DEVELHELP=0 minimal example, this saves 700 byte binary. (rust_begin_unwind would otherwise construct a Rust str out of a cstr, when normally it can know all arguments to write_str).
panic: Check for panic_handler_crash earlier. Saves another 100 bytes.
One or more small tunings toward enhanced binary size
Thread::get_name()
: On a DEVELHELP=0 minimal example, this saves 700 byte binary. (rust_begin_unwind would otherwise construct a Rust str out of a cstr, when normally it can know all arguments to write_str).