Ignored vs Assumed Semantics in BDE

BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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

000000000046dfa0 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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	$72, %rsp	;  4 bytes
M000000000000000b:	movq	%rcx, %rbx	;  3 bytes
M000000000000000e:	movq	%rdx, %r15	;  3 bytes
M0000000000000011:	movq	%rsi, %r14	;  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:	cmpq	$23, 32(%rbx)	;  5 bytes
M0000000000000024:	movq	%rbx, %rdi	;  3 bytes
M0000000000000027:	je	0x46dfcc <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x2c>	;  2 bytes
M0000000000000029:	movq	(%rbx), %rdi	;  3 bytes
M000000000000002c:	movq	%rdi, 56(%rsp)	;  5 bytes
M0000000000000031:	callq	0x4046c0 <strlen@plt>	;  5 bytes
M0000000000000036:	movq	%rax, 64(%rsp)	;  5 bytes
M000000000000003b:	xorps	%xmm0, %xmm0	;  3 bytes
M000000000000003e:	movaps	%xmm0, 16(%rsp)	;  5 bytes
M0000000000000043:	leaq	12(%rsp), %rdi	;  5 bytes
M0000000000000048:	leaq	16(%rsp), %rsi	;  5 bytes
M000000000000004d:	leaq	56(%rsp), %rdx	;  5 bytes
M0000000000000052:	movl	$10, %ecx	;  5 bytes
M0000000000000057:	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
M000000000000005c:	testl	%eax, %eax	;  2 bytes
M000000000000005e:	je	0x46e067 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0xc7>	;  2 bytes
M0000000000000060:	movl	$4930696, %esi	;  5 bytes
M0000000000000065:	movl	$8, %edx	;  5 bytes
M000000000000006a:	movq	%r15, %rdi	;  3 bytes
M000000000000006d:	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
M0000000000000072:	movl	$4930653, %esi	;  5 bytes
M0000000000000077:	movl	$33, %edx	;  5 bytes
M000000000000007c:	movq	%rax, %rdi	;  3 bytes
M000000000000007f:	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
M0000000000000084:	movq	%rax, %rdi	;  3 bytes
M0000000000000087:	movq	%rbx, %rsi	;  3 bytes
M000000000000008a:	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
M000000000000008f:	movl	$4914453, %esi	;  5 bytes
M0000000000000094:	movl	$1, %edx	;  5 bytes
M0000000000000099:	movq	%rax, %rdi	;  3 bytes
M000000000000009c:	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
M00000000000000a1:	movb	$10, 16(%rsp)	;  5 bytes
M00000000000000a6:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000000ab:	movl	$1, %edx	;  5 bytes
M00000000000000b0:	movq	%rax, %rdi	;  3 bytes
M00000000000000b3:	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
M00000000000000b8:	movq	%rax, %rdi	;  3 bytes
M00000000000000bb:	callq	0x404980 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M00000000000000c0:	xorl	%eax, %eax	;  2 bytes
M00000000000000c2:	jmp	0x46e17e <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1de>	;  5 bytes
M00000000000000c7:	movq	80(%r12), %rax	;  5 bytes
M00000000000000cc:	testq	%rax, %rax	;  3 bytes
M00000000000000cf:	je	0x46e086 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0xe6>	;  2 bytes
M00000000000000d1:	addq	$16, %r12	;  4 bytes
M00000000000000d5:	leaq	12(%rsp), %rsi	;  5 bytes
M00000000000000da:	movq	%r12, %rdi	;  3 bytes
M00000000000000dd:	movq	%r15, %rdx	;  3 bytes
M00000000000000e0:	callq	*%rax	;  2 bytes
M00000000000000e2:	testb	%al, %al	;  2 bytes
M00000000000000e4:	je	0x46e060 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0xc0>	;  2 bytes
M00000000000000e6:	movl	64(%r14), %eax	;  4 bytes
M00000000000000ea:	decl	%eax	;  2 bytes
M00000000000000ec:	jmpq	*4915768(,%rax,8)	;  7 bytes
M00000000000000f3:	leaq	32(%r14), %rax	;  4 bytes
M00000000000000f7:	cmpb	$0, (%rax)	;  3 bytes
M00000000000000fa:	jne	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  6 bytes
M0000000000000100:	jmp	0x46e0dc <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x13c>	;  2 bytes
M0000000000000102:	leaq	8(%r14), %rax	;  4 bytes
M0000000000000106:	cmpb	$0, (%rax)	;  3 bytes
M0000000000000109:	jne	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  6 bytes
M000000000000010f:	jmp	0x46e0dc <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x13c>	;  2 bytes
M0000000000000111:	leaq	1(%r14), %rax	;  4 bytes
M0000000000000115:	cmpb	$0, (%rax)	;  3 bytes
M0000000000000118:	jne	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  6 bytes
M000000000000011e:	jmp	0x46e0dc <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x13c>	;  2 bytes
M0000000000000120:	leaq	4(%r14), %rax	;  4 bytes
M0000000000000124:	cmpb	$0, (%rax)	;  3 bytes
M0000000000000127:	jne	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  6 bytes
M000000000000012d:	jmp	0x46e0dc <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x13c>	;  2 bytes
M000000000000012f:	leaq	48(%r14), %rax	;  4 bytes
M0000000000000133:	cmpb	$0, (%rax)	;  3 bytes
M0000000000000136:	jne	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  6 bytes
M000000000000013c:	xorps	%xmm0, %xmm0	;  3 bytes
M000000000000013f:	movaps	%xmm0, 16(%rsp)	;  5 bytes
M0000000000000144:	movq	$0, 32(%rsp)	;  9 bytes
M000000000000014d:	movq	2714420(%rip), %rax  # 704c28 <BloombergLP::bslma::Default::s_defaultAllocator>	;  7 bytes
M0000000000000154:	testq	%rax, %rax	;  3 bytes
M0000000000000157:	jne	0x46e0fe <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x15e>	;  2 bytes
M0000000000000159:	callq	0x47cad0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>	;  5 bytes
M000000000000015e:	movq	%rax, 40(%rsp)	;  5 bytes
M0000000000000163:	movq	40(%r14), %rbx	;  4 bytes
M0000000000000167:	cmpb	$0, 32(%r14)	;  5 bytes
M000000000000016c:	je	0x46e125 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x185>	;  2 bytes
M000000000000016e:	movb	$0, 32(%r14)	;  5 bytes
M0000000000000173:	movq	(%r14), %rsi	;  3 bytes
M0000000000000176:	testq	%rsi, %rsi	;  3 bytes
M0000000000000179:	je	0x46e125 <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x185>	;  2 bytes
M000000000000017b:	movq	24(%r14), %rdi	;  4 bytes
M000000000000017f:	movq	(%rdi), %rax	;  3 bytes
M0000000000000182:	callq	*24(%rax)	;  3 bytes
M0000000000000185:	testq	%rbx, %rbx	;  3 bytes
M0000000000000188:	jne	0x46e13e <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x19e>	;  2 bytes
M000000000000018a:	movq	2714359(%rip), %rbx  # 704c28 <BloombergLP::bslma::Default::s_defaultAllocator>	;  7 bytes
M0000000000000191:	testq	%rbx, %rbx	;  3 bytes
M0000000000000194:	jne	0x46e13e <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x19e>	;  2 bytes
M0000000000000196:	callq	0x47cad0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>	;  5 bytes
M000000000000019b:	movq	%rax, %rbx	;  3 bytes
M000000000000019e:	movq	%rbx, 56(%rsp)	;  5 bytes
M00000000000001a3:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000001a8:	leaq	56(%rsp), %rdx	;  5 bytes
M00000000000001ad:	movq	%r14, %rdi	;  3 bytes
M00000000000001b0:	callq	0x493170 <bsl::vector<int, bsl::allocator<int> >::vector(bsl::vector<int, bsl::allocator<int> > const&, bsl::allocator<int> const&)>	;  5 bytes
M00000000000001b5:	movb	$1, 32(%r14)	;  5 bytes
M00000000000001ba:	movq	16(%rsp), %rsi	;  5 bytes
M00000000000001bf:	testq	%rsi, %rsi	;  3 bytes
M00000000000001c2:	je	0x46e16f <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x1cf>	;  2 bytes
M00000000000001c4:	movq	40(%rsp), %rdi	;  5 bytes
M00000000000001c9:	movq	(%rdi), %rax	;  3 bytes
M00000000000001cc:	callq	*24(%rax)	;  3 bytes
M00000000000001cf:	leaq	12(%rsp), %rsi	;  5 bytes
M00000000000001d4:	movq	%r14, %rdi	;  3 bytes
M00000000000001d7:	callq	0x493af0 <bsl::vector<int, bsl::allocator<int> >::push_back(int const&)>	;  5 bytes
M00000000000001dc:	movb	$1, %al	;  2 bytes
M00000000000001de:	addq	$72, %rsp	;  4 bytes
M00000000000001e2:	popq	%rbx	;  1 bytes
M00000000000001e3:	popq	%r12	;  2 bytes
M00000000000001e5:	popq	%r14	;  2 bytes
M00000000000001e7:	popq	%r15	;  2 bytes
M00000000000001e9:	retq		;  1 bytes
M00000000000001ea:	movq	%rax, %rdi	;  3 bytes
M00000000000001ed:	callq	0x451530 <__clang_call_terminate>	;  5 bytes
M00000000000001f2:	movq	%rax, %rdi	;  3 bytes
M00000000000001f5:	callq	0x451530 <__clang_call_terminate>	;  5 bytes
M00000000000001fa:	movq	%rax, %rdi	;  3 bytes
M00000000000001fd:	callq	0x451530 <__clang_call_terminate>	;  5 bytes
M0000000000000202:	movq	%rax, %rbx	;  3 bytes
M0000000000000205:	movq	16(%rsp), %rsi	;  5 bytes
M000000000000020a:	testq	%rsi, %rsi	;  3 bytes
M000000000000020d:	je	0x46e1ba <BloombergLP::balcl::(anonymous namespace)::u::ArrayConstraint<int, bsl::function<bool (int const*, std::__1::basic_ostream<char, std::__1::char_traits<char> >&)>, 11>::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+0x21a>	;  2 bytes
M000000000000020f:	movq	40(%rsp), %rdi	;  5 bytes
M0000000000000214:	movq	(%rdi), %rax	;  3 bytes
M0000000000000217:	callq	*24(%rax)	;  3 bytes
M000000000000021a:	movq	%rbx, %rdi	;  3 bytes
M000000000000021d:	callq	0x404c00 <_Unwind_Resume@plt>	;  5 bytes
M0000000000000222:	movq	%rax, %rdi	;  3 bytes
M0000000000000225:	callq	0x451530 <__clang_call_terminate>	;  5 bytes
M000000000000022a:	nopw	(%rax,%rax)	;  6 bytes