Ignored vs Assumed Semantics in BDE

BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum) - Assumed

0000000000412f00 <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r15	;  2 bytes
M0000000000000003:	pushq	%r14	;  2 bytes
M0000000000000005:	pushq	%r12	;  2 bytes
M0000000000000007:	pushq	%rbx	;  1 bytes
M0000000000000008:	subq	$80, %rsp	;  4 bytes
M000000000000000c:	movl	%r8d, %ebp	;  3 bytes
M000000000000000f:	movq	%rcx, %r15	;  3 bytes
M0000000000000012:	movq	%rdx, %rbx	;  3 bytes
M0000000000000015:	movq	%rsi, %r14	;  3 bytes
M0000000000000018:	movq	%rdi, %r12	;  3 bytes
M000000000000001b:	movabsq	$-9223371950454775808, %rax	; 10 bytes
M0000000000000025:	movq	%rax, 64(%rsp)	;  5 bytes
M000000000000002a:	movl	$0, 72(%rsp)	;  8 bytes
M0000000000000032:	callq	0x40f1e0 <BloombergLP::baltzo::DefaultZoneinfoCache::instance()>	;  5 bytes
M0000000000000037:	leaq	64(%rsp), %rdi	;  5 bytes
M000000000000003c:	leaq	12(%rsp), %rsi	;  5 bytes
M0000000000000041:	movq	%rbx, %rdx	;  3 bytes
M0000000000000044:	movq	%r15, %rcx	;  3 bytes
M0000000000000047:	movl	%ebp, %r8d	;  3 bytes
M000000000000004a:	movq	%rax, %r9	;  3 bytes
M000000000000004d:	callq	0x4138f0 <BloombergLP::baltzo::TimeZoneUtilImp::initLocalTime(BloombergLP::bdlt::DatetimeTz*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum, BloombergLP::baltzo::ZoneinfoCache*)>	;  5 bytes
M0000000000000052:	movl	%eax, %ebp	;  2 bytes
M0000000000000054:	testl	%eax, %eax	;  2 bytes
M0000000000000056:	jne	0x412fee <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)+0xee>	;  6 bytes
M000000000000005c:	movq	64(%rsp), %rax	;  5 bytes
M0000000000000061:	movq	%rax, (%r12)	;  4 bytes
M0000000000000065:	testq	%rax, %rax	;  3 bytes
M0000000000000068:	jns	0x412ffd <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)+0xfd>	;  6 bytes
M000000000000006e:	movq	%rax, (%r12)	;  4 bytes
M0000000000000072:	movl	72(%rsp), %eax	;  4 bytes
M0000000000000076:	movl	%eax, 8(%r12)	;  5 bytes
M000000000000007b:	movq	56(%r12), %rax	;  5 bytes
M0000000000000080:	addq	$16, %r12	;  4 bytes
M0000000000000084:	movq	$0, 16(%rsp)	;  9 bytes
M000000000000008d:	movq	$23, 48(%rsp)	;  9 bytes
M0000000000000096:	movq	%rax, 56(%rsp)	;  5 bytes
M000000000000009b:	movq	%r15, %rdi	;  3 bytes
M000000000000009e:	callq	0x4066d0 <strlen@plt>	;  5 bytes
M00000000000000a3:	movq	$0, 40(%rsp)	;  9 bytes
M00000000000000ac:	leaq	16(%rsp), %rbx	;  5 bytes
M00000000000000b1:	movl	$4561792, %ecx	;  5 bytes
M00000000000000b6:	movq	%rbx, %rdi	;  3 bytes
M00000000000000b9:	movq	%r15, %rsi	;  3 bytes
M00000000000000bc:	movq	%rax, %rdx	;  3 bytes
M00000000000000bf:	callq	0x4350b0 <bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >::privateAppend(char const*, unsigned long, char const*)>	;  5 bytes
M00000000000000c4:	movq	%rbx, %rdi	;  3 bytes
M00000000000000c7:	movq	%r12, %rsi	;  3 bytes
M00000000000000ca:	callq	0x437640 <bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >::swap(bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >&)>	;  5 bytes
M00000000000000cf:	cmpq	$23, 48(%rsp)	;  6 bytes
M00000000000000d5:	je	0x412fe7 <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)+0xe7>	;  2 bytes
M00000000000000d7:	movq	16(%rsp), %rsi	;  5 bytes
M00000000000000dc:	movq	56(%rsp), %rdi	;  5 bytes
M00000000000000e1:	movq	(%rdi), %rax	;  3 bytes
M00000000000000e4:	callq	*24(%rax)	;  3 bytes
M00000000000000e7:	movl	12(%rsp), %eax	;  4 bytes
M00000000000000eb:	movl	%eax, (%r14)	;  3 bytes
M00000000000000ee:	movl	%ebp, %eax	;  2 bytes
M00000000000000f0:	addq	$80, %rsp	;  4 bytes
M00000000000000f4:	popq	%rbx	;  1 bytes
M00000000000000f5:	popq	%r12	;  2 bytes
M00000000000000f7:	popq	%r14	;  2 bytes
M00000000000000f9:	popq	%r15	;  2 bytes
M00000000000000fb:	popq	%rbp	;  1 bytes
M00000000000000fc:	retq		;  1 bytes
M00000000000000fd:	movl	$6899780, %edi	;  5 bytes
M0000000000000102:	callq	0x4324c0 <BloombergLP::bsls::Review::updateCount(BloombergLP::bsls::Atomic_TypeTraits<BloombergLP::bsls::AtomicOperations_ALL_ALL_ClangIntrinsics>::Int*)>	;  5 bytes
M0000000000000107:	movq	$4561579, 16(%rsp)	;  9 bytes
M0000000000000110:	movq	$4561633, 24(%rsp)	;  9 bytes
M0000000000000119:	movl	$1126, 32(%rsp)	;  8 bytes
M0000000000000121:	movq	$4674618, 40(%rsp)	;  9 bytes
M000000000000012a:	movl	%eax, 48(%rsp)	;  4 bytes
M000000000000012e:	leaq	16(%rsp), %rdi	;  5 bytes
M0000000000000133:	callq	0x4324e0 <BloombergLP::bsls::Review::invokeHandler(BloombergLP::bsls::ReviewViolation const&)>	;  5 bytes
M0000000000000138:	movq	(%r12), %rax	;  4 bytes
M000000000000013c:	movq	%rax, %rcx	;  3 bytes
M000000000000013f:	shrq	$32, %rcx	;  4 bytes
M0000000000000143:	shlq	$37, %rax	;  4 bytes
M0000000000000147:	movabsq	$9223371899415822336, %rdx	; 10 bytes
M0000000000000151:	addq	%rax, %rdx	;  3 bytes
M0000000000000154:	imulq	$1000, %rcx, %rcx	;  7 bytes
M000000000000015b:	movabsq	$-9223372036854775808, %rax	; 10 bytes
M0000000000000165:	orq	%rdx, %rax	;  3 bytes
M0000000000000168:	orq	%rcx, %rax	;  3 bytes
M000000000000016b:	jmp	0x412f6e <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)+0x6e>	;  5 bytes
M0000000000000170:	movq	%rax, %rdi	;  3 bytes
M0000000000000173:	callq	0x40ec70 <__clang_call_terminate>	;  5 bytes
M0000000000000178:	movq	%rax, %rbx	;  3 bytes
M000000000000017b:	cmpq	$23, 48(%rsp)	;  6 bytes
M0000000000000181:	je	0x413093 <BloombergLP::baltzo::TimeZoneUtil::initLocalTime(BloombergLP::baltzo::LocalDatetime*, BloombergLP::baltzo::LocalTimeValidity::Enum*, BloombergLP::bdlt::Datetime const&, char const*, BloombergLP::baltzo::DstPolicy::Enum)+0x193>	;  2 bytes
M0000000000000183:	movq	16(%rsp), %rsi	;  5 bytes
M0000000000000188:	movq	56(%rsp), %rdi	;  5 bytes
M000000000000018d:	movq	(%rdi), %rax	;  3 bytes
M0000000000000190:	callq	*24(%rax)	;  3 bytes
M0000000000000193:	movq	%rbx, %rdi	;  3 bytes
M0000000000000196:	callq	0x406f00 <_Unwind_Resume@plt>	;  5 bytes
M000000000000019b:	movq	%rax, %rdi	;  3 bytes
M000000000000019e:	callq	0x40ec70 <__clang_call_terminate>	;  5 bytes
M00000000000001a3:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000001ad:	nopl	(%rax)	;  3 bytes