Avoid null pointer deref when getting IPv4 header options
Let MSVC know about noreturn attribute to help with code analysis