Ignored vs Assumed Semantics in BDE

BloombergLP::balcl::(anonymous namespace)::u::ScalarConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 3>::parse(BloombergLP::balcl::OptionValue*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) const - Assumed

000000000046c430 <BloombergLP::balcl::(anonymous namespace)::u::ScalarConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 3>::parse(BloombergLP::balcl::OptionValue*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) const>:
M0000000000000000:	pushq	%r15	;  2 bytes
M0000000000000002:	pushq	%r14	;  2 bytes
M0000000000000004:	pushq	%r12	;  2 bytes
M0000000000000006:	pushq	%rbx	;  1 bytes
M0000000000000007:	subq	$56, %rsp	;  4 bytes
M000000000000000b:	movq	%rcx, %rbx	;  3 bytes
M000000000000000e:	movq	%rdx, %r14	;  3 bytes
M0000000000000011:	movq	%rsi, %r15	;  3 bytes
M0000000000000014:	movq	%rdi, %r12	;  3 bytes
M0000000000000017:	movq	%rsi, %rdi	;  3 bytes
M000000000000001a:	callq	0x465e70 <BloombergLP::balcl::OptionValue::type() const>	;  5 bytes
M000000000000001f:	movl	$0, 12(%rsp)	;  8 bytes
M0000000000000027:	cmpq	$23, 32(%rbx)	;  5 bytes
M000000000000002c:	movq	%rbx, %rdi	;  3 bytes
M000000000000002f:	je	0x46c464 <BloombergLP::balcl::(anonymous namespace)::u::ScalarConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 3>::parse(BloombergLP::balcl::OptionValue*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) const+0x34>	;  2 bytes
M0000000000000031:	movq	(%rbx), %rdi	;  3 bytes
M0000000000000034:	movq	%rdi, 40(%rsp)	;  5 bytes
M0000000000000039:	callq	0x4046c0 <strlen@plt>	;  5 bytes
M000000000000003e:	movq	%rax, 48(%rsp)	;  5 bytes
M0000000000000043:	xorps	%xmm0, %xmm0	;  3 bytes
M0000000000000046:	movaps	%xmm0, 16(%rsp)	;  5 bytes
M000000000000004b:	leaq	12(%rsp), %rdi	;  5 bytes
M0000000000000050:	leaq	16(%rsp), %rsi	;  5 bytes
M0000000000000055:	leaq	40(%rsp), %rdx	;  5 bytes
M000000000000005a:	movl	$10, %ecx	;  5 bytes
M000000000000005f:	callq	0x4719e0 <BloombergLP::bdlb::NumericParseUtil::parseInt(int*, std::__1::basic_string_view<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, int)>	;  5 bytes
M0000000000000064:	testl	%eax, %eax	;  2 bytes
M0000000000000066:	je	0x46c4fc <BloombergLP::balcl::(anonymous namespace)::u::ScalarConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 3>::parse(BloombergLP::balcl::OptionValue*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) const+0xcc>	;  2 bytes
M0000000000000068:	movl	$4930696, %esi	;  5 bytes
M000000000000006d:	movl	$8, %edx	;  5 bytes
M0000000000000072:	movq	%r14, %rdi	;  3 bytes
M0000000000000075:	callq	0x455a90 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M000000000000007a:	movl	$4930653, %esi	;  5 bytes
M000000000000007f:	movl	$33, %edx	;  5 bytes
M0000000000000084:	movq	%rax, %rdi	;  3 bytes
M0000000000000087:	callq	0x455a90 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M000000000000008c:	movq	%rax, %rdi	;  3 bytes
M000000000000008f:	movq	%rbx, %rsi	;  3 bytes
M0000000000000092:	callq	0x44fd10 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& bsl::operator<<<char, std::__1::char_traits<char>, bsl::allocator<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&)>	;  5 bytes
M0000000000000097:	movl	$4914453, %esi	;  5 bytes
M000000000000009c:	movl	$1, %edx	;  5 bytes
M00000000000000a1:	movq	%rax, %rdi	;  3 bytes
M00000000000000a4:	callq	0x455a90 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M00000000000000a9:	movb	$10, 16(%rsp)	;  5 bytes
M00000000000000ae:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000000b3:	movl	$1, %edx	;  5 bytes
M00000000000000b8:	movq	%rax, %rdi	;  3 bytes
M00000000000000bb:	callq	0x455a90 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M00000000000000c0:	movq	%rax, %rdi	;  3 bytes
M00000000000000c3:	callq	0x404980 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M00000000000000c8:	xorl	%eax, %eax	;  2 bytes
M00000000000000ca:	jmp	0x46c518 <BloombergLP::balcl::(anonymous namespace)::u::ScalarConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 3>::parse(BloombergLP::balcl::OptionValue*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&, bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) const+0xe8>	;  2 bytes
M00000000000000cc:	movl	12(%rsp), %eax	;  4 bytes
M00000000000000d0:	movl	%eax, (%r15)	;  3 bytes
M00000000000000d3:	movb	$1, 4(%r15)	;  5 bytes
M00000000000000d8:	movq	(%r12), %rax	;  4 bytes
M00000000000000dc:	movq	%r12, %rdi	;  3 bytes
M00000000000000df:	movq	%r15, %rsi	;  3 bytes
M00000000000000e2:	movq	%r14, %rdx	;  3 bytes
M00000000000000e5:	callq	*40(%rax)	;  3 bytes
M00000000000000e8:	addq	$56, %rsp	;  4 bytes
M00000000000000ec:	popq	%rbx	;  1 bytes
M00000000000000ed:	popq	%r12	;  2 bytes
M00000000000000ef:	popq	%r14	;  2 bytes
M00000000000000f1:	popq	%r15	;  2 bytes
M00000000000000f3:	retq		;  1 bytes
M00000000000000f4:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000000fe:	nop		;  2 bytes