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 - Ignored

000000000046daf0 <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	%rbp	;  1 bytes
M0000000000000001:	pushq	%r15	;  2 bytes
M0000000000000003:	pushq	%r14	;  2 bytes
M0000000000000005:	pushq	%r13	;  2 bytes
M0000000000000007:	pushq	%r12	;  2 bytes
M0000000000000009:	pushq	%rbx	;  1 bytes
M000000000000000a:	subq	$56, %rsp	;  4 bytes
M000000000000000e:	movq	%rcx, %r13	;  3 bytes
M0000000000000011:	movq	%rdx, %r15	;  3 bytes
M0000000000000014:	movq	%rsi, %r14	;  3 bytes
M0000000000000017:	movq	%rdi, %r12	;  3 bytes
M000000000000001a:	movq	%rsi, %rdi	;  3 bytes
M000000000000001d:	callq	0x465850 <BloombergLP::balcl::OptionValue::type() const>	;  5 bytes
M0000000000000022:	leal	-8(%rax), %ecx	;  3 bytes
M0000000000000025:	xorl	%ebp, %ebp	;  2 bytes
M0000000000000027:	cmpl	$10, %eax	;  3 bytes
M000000000000002a:	cmovgel	%ecx, %ebp	;  3 bytes
M000000000000002d:	cmpq	$23, 32(%r13)	;  5 bytes
M0000000000000032:	movq	%r13, %rsi	;  3 bytes
M0000000000000035:	je	0x46db2b <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+0x3b>	;  2 bytes
M0000000000000037:	movq	(%r13), %rsi	;  4 bytes
M000000000000003b:	leaq	12(%rsp), %rdi	;  5 bytes
M0000000000000040:	movl	%ebp, %edx	;  2 bytes
M0000000000000042:	callq	0x46ff90 <BloombergLP::balcl::(anonymous namespace)::u::parseValue(void*, char const*, BloombergLP::balcl::OptionType::Enum)>	;  5 bytes
M0000000000000047:	testb	%al, %al	;  2 bytes
M0000000000000049:	je	0x46db86 <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+0x96>	;  2 bytes
M000000000000004b:	movq	80(%r12), %rax	;  5 bytes
M0000000000000050:	testq	%rax, %rax	;  3 bytes
M0000000000000053:	je	0x46db5e <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+0x6e>	;  2 bytes
M0000000000000055:	addq	$16, %r12	;  4 bytes
M0000000000000059:	leaq	12(%rsp), %rsi	;  5 bytes
M000000000000005e:	movq	%r12, %rdi	;  3 bytes
M0000000000000061:	movq	%r15, %rdx	;  3 bytes
M0000000000000064:	callq	*%rax	;  2 bytes
M0000000000000066:	testb	%al, %al	;  2 bytes
M0000000000000068:	je	0x46dc02 <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+0x112>	;  6 bytes
M000000000000006e:	movl	64(%r14), %eax	;  4 bytes
M0000000000000072:	decl	%eax	;  2 bytes
M0000000000000074:	cmpl	$19, %eax	;  3 bytes
M0000000000000077:	ja	0x46dcf4 <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+0x204>	;  6 bytes
M000000000000007d:	jmpq	*4916592(,%rax,8)	;  7 bytes
M0000000000000084:	leaq	32(%r14), %rax	;  4 bytes
M0000000000000088:	cmpb	$0, (%rax)	;  3 bytes
M000000000000008b:	jne	0x46dcd6 <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+0x1e6>	;  6 bytes
M0000000000000091:	jmp	0x46dc43 <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+0x153>	;  5 bytes
M0000000000000096:	addl	$-2, %ebp	;  3 bytes
M0000000000000099:	movl	$4931911, %ebx	;  5 bytes
M000000000000009e:	cmpl	$7, %ebp	;  3 bytes
M00000000000000a1:	ja	0x46db9e <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+0xae>	;  2 bytes
M00000000000000a3:	movslq	%ebp, %rax	;  3 bytes
M00000000000000a6:	movq	4931624(,%rax,8), %rbx	;  8 bytes
M00000000000000ae:	movq	%rbx, %rdi	;  3 bytes
M00000000000000b1:	callq	0x4046c0 <strlen@plt>	;  5 bytes
M00000000000000b6:	movq	%r15, %rdi	;  3 bytes
M00000000000000b9:	movq	%rbx, %rsi	;  3 bytes
M00000000000000bc:	movq	%rax, %rdx	;  3 bytes
M00000000000000bf:	callq	0x455480 <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
M00000000000000c4:	movl	$4931773, %esi	;  5 bytes
M00000000000000c9:	movl	$33, %edx	;  5 bytes
M00000000000000ce:	movq	%rax, %rdi	;  3 bytes
M00000000000000d1:	callq	0x455480 <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
M00000000000000d6:	movq	%rax, %rdi	;  3 bytes
M00000000000000d9:	movq	%r13, %rsi	;  3 bytes
M00000000000000dc:	callq	0x44f6f0 <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
M00000000000000e1:	movl	$4915277, %esi	;  5 bytes
M00000000000000e6:	movl	$1, %edx	;  5 bytes
M00000000000000eb:	movq	%rax, %rdi	;  3 bytes
M00000000000000ee:	callq	0x455480 <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
M00000000000000f3:	movb	$10, 16(%rsp)	;  5 bytes
M00000000000000f8:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000000fd:	movl	$1, %edx	;  5 bytes
M0000000000000102:	movq	%rax, %rdi	;  3 bytes
M0000000000000105:	callq	0x455480 <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
M000000000000010a:	movq	%rax, %rdi	;  3 bytes
M000000000000010d:	callq	0x404980 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M0000000000000112:	xorl	%eax, %eax	;  2 bytes
M0000000000000114:	jmp	0x46dce5 <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+0x1f5>	;  5 bytes
M0000000000000119:	leaq	8(%r14), %rax	;  4 bytes
M000000000000011d:	cmpb	$0, (%rax)	;  3 bytes
M0000000000000120:	jne	0x46dcd6 <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+0x1e6>	;  6 bytes
M0000000000000126:	jmp	0x46dc43 <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+0x153>	;  2 bytes
M0000000000000128:	leaq	1(%r14), %rax	;  4 bytes
M000000000000012c:	cmpb	$0, (%rax)	;  3 bytes
M000000000000012f:	jne	0x46dcd6 <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+0x1e6>	;  6 bytes
M0000000000000135:	jmp	0x46dc43 <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+0x153>	;  2 bytes
M0000000000000137:	leaq	4(%r14), %rax	;  4 bytes
M000000000000013b:	cmpb	$0, (%rax)	;  3 bytes
M000000000000013e:	jne	0x46dcd6 <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+0x1e6>	;  6 bytes
M0000000000000144:	jmp	0x46dc43 <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+0x153>	;  2 bytes
M0000000000000146:	leaq	48(%r14), %rax	;  4 bytes
M000000000000014a:	cmpb	$0, (%rax)	;  3 bytes
M000000000000014d:	jne	0x46dcd6 <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+0x1e6>	;  6 bytes
M0000000000000153:	xorps	%xmm0, %xmm0	;  3 bytes
M0000000000000156:	movaps	%xmm0, 16(%rsp)	;  5 bytes
M000000000000015b:	movq	$0, 32(%rsp)	;  9 bytes
M0000000000000164:	movq	2719693(%rip), %rax  # 705c28 <BloombergLP::bslma::Default::s_defaultAllocator>	;  7 bytes
M000000000000016b:	testq	%rax, %rax	;  3 bytes
M000000000000016e:	jne	0x46dc65 <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+0x175>	;  2 bytes
M0000000000000170:	callq	0x47ce20 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>	;  5 bytes
M0000000000000175:	movq	%rax, 40(%rsp)	;  5 bytes
M000000000000017a:	movq	40(%r14), %rbx	;  4 bytes
M000000000000017e:	cmpb	$0, 32(%r14)	;  5 bytes
M0000000000000183:	je	0x46dc8c <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+0x19c>	;  2 bytes
M0000000000000185:	movb	$0, 32(%r14)	;  5 bytes
M000000000000018a:	movq	(%r14), %rsi	;  3 bytes
M000000000000018d:	testq	%rsi, %rsi	;  3 bytes
M0000000000000190:	je	0x46dc8c <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+0x19c>	;  2 bytes
M0000000000000192:	movq	24(%r14), %rdi	;  4 bytes
M0000000000000196:	movq	(%rdi), %rax	;  3 bytes
M0000000000000199:	callq	*24(%rax)	;  3 bytes
M000000000000019c:	testq	%rbx, %rbx	;  3 bytes
M000000000000019f:	jne	0x46dca5 <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+0x1b5>	;  2 bytes
M00000000000001a1:	movq	2719632(%rip), %rbx  # 705c28 <BloombergLP::bslma::Default::s_defaultAllocator>	;  7 bytes
M00000000000001a8:	testq	%rbx, %rbx	;  3 bytes
M00000000000001ab:	jne	0x46dca5 <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+0x1b5>	;  2 bytes
M00000000000001ad:	callq	0x47ce20 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>	;  5 bytes
M00000000000001b2:	movq	%rax, %rbx	;  3 bytes
M00000000000001b5:	movq	%rbx, 48(%rsp)	;  5 bytes
M00000000000001ba:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000001bf:	leaq	48(%rsp), %rdx	;  5 bytes
M00000000000001c4:	movq	%r14, %rdi	;  3 bytes
M00000000000001c7:	callq	0x4934d0 <bsl::vector<int, bsl::allocator<int> >::vector(bsl::vector<int, bsl::allocator<int> > const&, bsl::allocator<int> const&)>	;  5 bytes
M00000000000001cc:	movb	$1, 32(%r14)	;  5 bytes
M00000000000001d1:	movq	16(%rsp), %rsi	;  5 bytes
M00000000000001d6:	testq	%rsi, %rsi	;  3 bytes
M00000000000001d9:	je	0x46dcd6 <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+0x1e6>	;  2 bytes
M00000000000001db:	movq	40(%rsp), %rdi	;  5 bytes
M00000000000001e0:	movq	(%rdi), %rax	;  3 bytes
M00000000000001e3:	callq	*24(%rax)	;  3 bytes
M00000000000001e6:	leaq	12(%rsp), %rsi	;  5 bytes
M00000000000001eb:	movq	%r14, %rdi	;  3 bytes
M00000000000001ee:	callq	0x493e50 <bsl::vector<int, bsl::allocator<int> >::push_back(int const&)>	;  5 bytes
M00000000000001f3:	movb	$1, %al	;  2 bytes
M00000000000001f5:	addq	$56, %rsp	;  4 bytes
M00000000000001f9:	popq	%rbx	;  1 bytes
M00000000000001fa:	popq	%r12	;  2 bytes
M00000000000001fc:	popq	%r13	;  2 bytes
M00000000000001fe:	popq	%r14	;  2 bytes
M0000000000000200:	popq	%r15	;  2 bytes
M0000000000000202:	popq	%rbp	;  1 bytes
M0000000000000203:	retq		;  1 bytes
M0000000000000204:	ud2		;  2 bytes
M0000000000000206:	movq	%rax, %rdi	;  3 bytes
M0000000000000209:	callq	0x450f10 <__clang_call_terminate>	;  5 bytes
M000000000000020e:	movq	%rax, %rdi	;  3 bytes
M0000000000000211:	callq	0x450f10 <__clang_call_terminate>	;  5 bytes
M0000000000000216:	movq	%rax, %rdi	;  3 bytes
M0000000000000219:	callq	0x450f10 <__clang_call_terminate>	;  5 bytes
M000000000000021e:	movq	%rax, %rbx	;  3 bytes
M0000000000000221:	movq	16(%rsp), %rsi	;  5 bytes
M0000000000000226:	testq	%rsi, %rsi	;  3 bytes
M0000000000000229:	je	0x46dd26 <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+0x236>	;  2 bytes
M000000000000022b:	movq	40(%rsp), %rdi	;  5 bytes
M0000000000000230:	movq	(%rdi), %rax	;  3 bytes
M0000000000000233:	callq	*24(%rax)	;  3 bytes
M0000000000000236:	movq	%rbx, %rdi	;  3 bytes
M0000000000000239:	callq	0x404c00 <_Unwind_Resume@plt>	;  5 bytes
M000000000000023e:	movq	%rax, %rdi	;  3 bytes
M0000000000000241:	callq	0x450f10 <__clang_call_terminate>	;  5 bytes
M0000000000000246:	nopw	%cs:(%rax,%rax)	; 10 bytes