Ignored vs Assumed Semantics in BDE

int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const - Assumed

000000000040fd30 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const>:
M0000000000000000:	pushq	%r14	;  2 bytes
M0000000000000002:	pushq	%rbx	;  1 bytes
M0000000000000003:	subq	$24, %rsp	;  4 bytes
M0000000000000007:	movq	%rsi, %rbx	;  3 bytes
M000000000000000a:	movq	%rdi, %r14	;  3 bytes
M000000000000000d:	movl	$4422560, %edx	;  5 bytes
M0000000000000012:	movq	%rsi, %rdi	;  3 bytes
M0000000000000015:	movq	%r14, %rsi	;  3 bytes
M0000000000000018:	callq	0x40fe80 <int BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>::operator()<BloombergLP::test::ChoiceA, BloombergLP::bdlat_AttributeInfo>(BloombergLP::test::ChoiceA const&, BloombergLP::bdlat_AttributeInfo const&) const>	;  5 bytes
M000000000000001d:	testl	%eax, %eax	;  2 bytes
M000000000000001f:	jne	0x40fe02 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xd2>	;  6 bytes
M0000000000000025:	leaq	64(%r14), %rax	;  4 bytes
M0000000000000029:	movq	8(%rbx), %rcx	;  4 bytes
M000000000000002d:	movq	%rcx, 8(%rsp)	;  5 bytes
M0000000000000032:	movq	%rax, 16(%rsp)	;  5 bytes
M0000000000000037:	movq	(%rbx), %rdi	;  3 bytes
M000000000000003a:	leaq	8(%rsp), %rsi	;  5 bytes
M000000000000003f:	movl	$4423344, %edx	;  5 bytes
M0000000000000044:	movl	$10, %ecx	;  5 bytes
M0000000000000049:	callq	0x410670 <int BloombergLP::test::MixedSequence::manipulateAttribute<BloombergLP::bdlat_SymbolicConverter_LoadValue<BloombergLP::test::CustomizedA> >(BloombergLP::bdlat_SymbolicConverter_LoadValue<BloombergLP::test::CustomizedA>&, char const*, int)>	;  5 bytes
M000000000000004e:	testl	%eax, %eax	;  2 bytes
M0000000000000050:	je	0x40fdc3 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0x93>	;  2 bytes
M0000000000000052:	movq	8(%rbx), %rax	;  4 bytes
M0000000000000056:	movq	(%rax), %rdi	;  3 bytes
M0000000000000059:	movl	$4427074, %esi	;  5 bytes
M000000000000005e:	movl	$29, %edx	;  5 bytes
M0000000000000063:	callq	0x40f620 <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
M0000000000000068:	movl	$4423344, %esi	;  5 bytes
M000000000000006d:	movl	$10, %edx	;  5 bytes
M0000000000000072:	movq	%rax, %rdi	;  3 bytes
M0000000000000075:	callq	0x40f620 <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	$4427104, %esi	;  5 bytes
M000000000000007f:	movl	$2, %edx	;  5 bytes
M0000000000000084:	movq	%rax, %rdi	;  3 bytes
M0000000000000087:	callq	0x40f620 <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:	movl	$4294967289, %eax	;  5 bytes
M0000000000000091:	jmp	0x40fe02 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xd2>	;  2 bytes
M0000000000000093:	leaq	112(%r14), %rsi	;  4 bytes
M0000000000000097:	movl	$4422640, %edx	;  5 bytes
M000000000000009c:	movq	%rbx, %rdi	;  3 bytes
M000000000000009f:	callq	0x40ff40 <int BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>::operator()<BloombergLP::bdlb::NullableValue<int>, BloombergLP::bdlat_AttributeInfo>(BloombergLP::bdlb::NullableValue<int> const&, BloombergLP::bdlat_AttributeInfo const&) const>	;  5 bytes
M00000000000000a4:	testl	%eax, %eax	;  2 bytes
M00000000000000a6:	jne	0x40fe02 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xd2>	;  2 bytes
M00000000000000a8:	leaq	120(%r14), %rsi	;  4 bytes
M00000000000000ac:	movl	$4422680, %edx	;  5 bytes
M00000000000000b1:	movq	%rbx, %rdi	;  3 bytes
M00000000000000b4:	callq	0x410060 <int BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>::operator()<BloombergLP::test::EnumerationA::Value, BloombergLP::bdlat_AttributeInfo>(BloombergLP::test::EnumerationA::Value const&, BloombergLP::bdlat_AttributeInfo const&) const>	;  5 bytes
M00000000000000b9:	testl	%eax, %eax	;  2 bytes
M00000000000000bb:	jne	0x40fe02 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xd2>	;  2 bytes
M00000000000000bd:	leaq	124(%r14), %rsi	;  4 bytes
M00000000000000c1:	movl	$4422720, %edx	;  5 bytes
M00000000000000c6:	movq	%rbx, %rdi	;  3 bytes
M00000000000000c9:	callq	0x410190 <int BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>::operator()<int, BloombergLP::bdlat_AttributeInfo>(int const&, BloombergLP::bdlat_AttributeInfo const&) const>	;  5 bytes
M00000000000000ce:	testl	%eax, %eax	;  2 bytes
M00000000000000d0:	je	0x40fe0a <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xda>	;  2 bytes
M00000000000000d2:	addq	$24, %rsp	;  4 bytes
M00000000000000d6:	popq	%rbx	;  1 bytes
M00000000000000d7:	popq	%r14	;  2 bytes
M00000000000000d9:	retq		;  1 bytes
M00000000000000da:	leaq	128(%r14), %rax	;  7 bytes
M00000000000000e1:	movq	8(%rbx), %rcx	;  4 bytes
M00000000000000e5:	movq	%rcx, 8(%rsp)	;  5 bytes
M00000000000000ea:	movq	%rax, 16(%rsp)	;  5 bytes
M00000000000000ef:	movq	(%rbx), %rdi	;  3 bytes
M00000000000000f2:	leaq	8(%rsp), %rsi	;  5 bytes
M00000000000000f7:	movl	$4423470, %edx	;  5 bytes
M00000000000000fc:	movl	$10, %ecx	;  5 bytes
M0000000000000101:	callq	0x410bc0 <int BloombergLP::test::MixedSequence::manipulateAttribute<BloombergLP::bdlat_SymbolicConverter_LoadValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > >(BloombergLP::bdlat_SymbolicConverter_LoadValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >&, char const*, int)>	;  5 bytes
M0000000000000106:	testl	%eax, %eax	;  2 bytes
M0000000000000108:	je	0x40fe5a <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0x12a>	;  2 bytes
M000000000000010a:	movq	8(%rbx), %rax	;  4 bytes
M000000000000010e:	movq	(%rax), %rdi	;  3 bytes
M0000000000000111:	movl	$4427074, %esi	;  5 bytes
M0000000000000116:	movl	$29, %edx	;  5 bytes
M000000000000011b:	callq	0x40f620 <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
M0000000000000120:	movl	$4423470, %esi	;  5 bytes
M0000000000000125:	jmp	0x40fd9d <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0x6d>	;  5 bytes
M000000000000012a:	addq	$176, %r14	;  7 bytes
M0000000000000131:	movl	$4422800, %edx	;  5 bytes
M0000000000000136:	movq	%rbx, %rdi	;  3 bytes
M0000000000000139:	movq	%r14, %rsi	;  3 bytes
M000000000000013c:	callq	0x410260 <int BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>::operator()<BloombergLP::test::SequenceA, BloombergLP::bdlat_AttributeInfo>(BloombergLP::test::SequenceA const&, BloombergLP::bdlat_AttributeInfo const&) const>	;  5 bytes
M0000000000000141:	jmp	0x40fe02 <int BloombergLP::test::MixedSequence::accessAttributes<BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence> >(BloombergLP::bdlat_SymbolicConverter_StoreInSequence<BloombergLP::test::MixedSequence>&) const+0xd2>	;  2 bytes
M0000000000000143:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000014d:	nopl	(%rax)	;  3 bytes