Ignored vs Assumed Semantics in BDE

BloombergLP::balb::Sequence1::~Sequence1() - Ignored

000000000040f900 <BloombergLP::balb::Sequence1::~Sequence1()>:
M0000000000000000:	pushq	%r15	;  2 bytes
M0000000000000002:	pushq	%r14	;  2 bytes
M0000000000000004:	pushq	%r13	;  2 bytes
M0000000000000006:	pushq	%r12	;  2 bytes
M0000000000000008:	pushq	%rbx	;  1 bytes
M0000000000000009:	movq	%rdi, %r14	;  3 bytes
M000000000000000c:	movq	504(%rdi), %rbx	;  7 bytes
M0000000000000013:	testq	%rbx, %rbx	;  3 bytes
M0000000000000016:	je	0x40f97a <BloombergLP::balb::Sequence1::~Sequence1()+0x7a>	;  2 bytes
M0000000000000018:	movq	(%r14), %r15	;  3 bytes
M000000000000001b:	movl	48(%rbx), %eax	;  3 bytes
M000000000000001e:	cmpl	$2, %eax	;  3 bytes
M0000000000000021:	je	0x40f946 <BloombergLP::balb::Sequence1::~Sequence1()+0x46>	;  2 bytes
M0000000000000023:	cmpl	$1, %eax	;  3 bytes
M0000000000000026:	jne	0x40f967 <BloombergLP::balb::Sequence1::~Sequence1()+0x67>	;  2 bytes
M0000000000000028:	cmpq	$23, 32(%rbx)	;  5 bytes
M000000000000002d:	je	0x40f93c <BloombergLP::balb::Sequence1::~Sequence1()+0x3c>	;  2 bytes
M000000000000002f:	movq	(%rbx), %rsi	;  3 bytes
M0000000000000032:	movq	40(%rbx), %rdi	;  4 bytes
M0000000000000036:	movq	(%rdi), %rax	;  3 bytes
M0000000000000039:	callq	*24(%rax)	;  3 bytes
M000000000000003c:	movq	$-1, 24(%rbx)	;  8 bytes
M0000000000000044:	jmp	0x40f967 <BloombergLP::balb::Sequence1::~Sequence1()+0x67>	;  2 bytes
M0000000000000046:	movq	(%rbx), %r12	;  3 bytes
M0000000000000049:	testq	%r12, %r12	;  3 bytes
M000000000000004c:	je	0x40f967 <BloombergLP::balb::Sequence1::~Sequence1()+0x67>	;  2 bytes
M000000000000004e:	movq	56(%rbx), %r13	;  4 bytes
M0000000000000052:	movq	%r12, %rdi	;  3 bytes
M0000000000000055:	callq	0x415670 <BloombergLP::balb::Choice1::~Choice1()>	;  5 bytes
M000000000000005a:	movq	(%r13), %rax	;  4 bytes
M000000000000005e:	movq	%r13, %rdi	;  3 bytes
M0000000000000061:	movq	%r12, %rsi	;  3 bytes
M0000000000000064:	callq	*24(%rax)	;  3 bytes
M0000000000000067:	movl	$4294967295, 48(%rbx)	;  7 bytes
M000000000000006e:	movq	(%r15), %rax	;  3 bytes
M0000000000000071:	movq	%r15, %rdi	;  3 bytes
M0000000000000074:	movq	%rbx, %rsi	;  3 bytes
M0000000000000077:	callq	*24(%rax)	;  3 bytes
M000000000000007a:	cmpb	$0, 488(%r14)	;  8 bytes
M0000000000000082:	je	0x40f9d8 <BloombergLP::balb::Sequence1::~Sequence1()+0xd8>	;  2 bytes
M0000000000000084:	movb	$0, 488(%r14)	;  8 bytes
M000000000000008c:	movl	472(%r14), %eax	;  7 bytes
M0000000000000093:	cmpl	$2, %eax	;  3 bytes
M0000000000000096:	je	0x40f9a7 <BloombergLP::balb::Sequence1::~Sequence1()+0xa7>	;  2 bytes
M0000000000000098:	testl	%eax, %eax	;  2 bytes
M000000000000009a:	jne	0x40f9cd <BloombergLP::balb::Sequence1::~Sequence1()+0xcd>	;  2 bytes
M000000000000009c:	leaq	104(%r14), %rdi	;  4 bytes
M00000000000000a0:	callq	0x4093b0 <BloombergLP::balb::Sequence6::~Sequence6()>	;  5 bytes
M00000000000000a5:	jmp	0x40f9cd <BloombergLP::balb::Sequence1::~Sequence1()+0xcd>	;  2 bytes
M00000000000000a7:	cmpq	$23, 136(%r14)	;  8 bytes
M00000000000000af:	je	0x40f9c2 <BloombergLP::balb::Sequence1::~Sequence1()+0xc2>	;  2 bytes
M00000000000000b1:	movq	104(%r14), %rsi	;  4 bytes
M00000000000000b5:	movq	144(%r14), %rdi	;  7 bytes
M00000000000000bc:	movq	(%rdi), %rax	;  3 bytes
M00000000000000bf:	callq	*24(%rax)	;  3 bytes
M00000000000000c2:	movq	$-1, 128(%r14)	; 11 bytes
M00000000000000cd:	movl	$4294967295, 472(%r14)	; 11 bytes
M00000000000000d8:	leaq	72(%r14), %rdi	;  4 bytes
M00000000000000dc:	callq	0x414be0 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()>	;  5 bytes
M00000000000000e1:	movq	40(%r14), %rbx	;  4 bytes
M00000000000000e5:	testq	%rbx, %rbx	;  3 bytes
M00000000000000e8:	je	0x40fa67 <BloombergLP::balb::Sequence1::~Sequence1()+0x167>	;  2 bytes
M00000000000000ea:	movq	48(%r14), %r15	;  4 bytes
M00000000000000ee:	cmpq	%r15, %rbx	;  3 bytes
M00000000000000f1:	jne	0x40fa1e <BloombergLP::balb::Sequence1::~Sequence1()+0x11e>	;  2 bytes
M00000000000000f3:	jmp	0x40fa5a <BloombergLP::balb::Sequence1::~Sequence1()+0x15a>	;  2 bytes
M00000000000000f5:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000000ff:	nop		;  1 bytes
M0000000000000100:	movq	$-1, 24(%rbx)	;  8 bytes
M0000000000000108:	movl	$4294967295, 368(%rbx)	; 10 bytes
M0000000000000112:	addq	$384, %rbx	;  7 bytes
M0000000000000119:	cmpq	%rbx, %r15	;  3 bytes
M000000000000011c:	je	0x40fa56 <BloombergLP::balb::Sequence1::~Sequence1()+0x156>	;  2 bytes
M000000000000011e:	movl	368(%rbx), %eax	;  6 bytes
M0000000000000124:	cmpl	$2, %eax	;  3 bytes
M0000000000000127:	je	0x40fa40 <BloombergLP::balb::Sequence1::~Sequence1()+0x140>	;  2 bytes
M0000000000000129:	testl	%eax, %eax	;  2 bytes
M000000000000012b:	jne	0x40fa08 <BloombergLP::balb::Sequence1::~Sequence1()+0x108>	;  2 bytes
M000000000000012d:	movq	%rbx, %rdi	;  3 bytes
M0000000000000130:	callq	0x4093b0 <BloombergLP::balb::Sequence6::~Sequence6()>	;  5 bytes
M0000000000000135:	jmp	0x40fa08 <BloombergLP::balb::Sequence1::~Sequence1()+0x108>	;  2 bytes
M0000000000000137:	nopw	(%rax,%rax)	;  9 bytes
M0000000000000140:	cmpq	$23, 32(%rbx)	;  5 bytes
M0000000000000145:	je	0x40fa00 <BloombergLP::balb::Sequence1::~Sequence1()+0x100>	;  2 bytes
M0000000000000147:	movq	(%rbx), %rsi	;  3 bytes
M000000000000014a:	movq	40(%rbx), %rdi	;  4 bytes
M000000000000014e:	movq	(%rdi), %rax	;  3 bytes
M0000000000000151:	callq	*24(%rax)	;  3 bytes
M0000000000000154:	jmp	0x40fa00 <BloombergLP::balb::Sequence1::~Sequence1()+0x100>	;  2 bytes
M0000000000000156:	movq	40(%r14), %rbx	;  4 bytes
M000000000000015a:	movq	64(%r14), %rdi	;  4 bytes
M000000000000015e:	movq	(%rdi), %rax	;  3 bytes
M0000000000000161:	movq	%rbx, %rsi	;  3 bytes
M0000000000000164:	callq	*24(%rax)	;  3 bytes
M0000000000000167:	movq	8(%r14), %rbx	;  4 bytes
M000000000000016b:	testq	%rbx, %rbx	;  3 bytes
M000000000000016e:	je	0x40faa2 <BloombergLP::balb::Sequence1::~Sequence1()+0x1a2>	;  2 bytes
M0000000000000170:	movq	16(%r14), %r15	;  4 bytes
M0000000000000174:	cmpq	%r15, %rbx	;  3 bytes
M0000000000000177:	je	0x40fa95 <BloombergLP::balb::Sequence1::~Sequence1()+0x195>	;  2 bytes
M0000000000000179:	nopl	(%rax)	;  7 bytes
M0000000000000180:	movq	%rbx, %rdi	;  3 bytes
M0000000000000183:	callq	0x415580 <BloombergLP::bslstl::Optional_DataImp<BloombergLP::balb::Choice1>::reset()>	;  5 bytes
M0000000000000188:	addq	$40, %rbx	;  4 bytes
M000000000000018c:	cmpq	%rbx, %r15	;  3 bytes
M000000000000018f:	jne	0x40fa80 <BloombergLP::balb::Sequence1::~Sequence1()+0x180>	;  2 bytes
M0000000000000191:	movq	8(%r14), %rbx	;  4 bytes
M0000000000000195:	movq	32(%r14), %rdi	;  4 bytes
M0000000000000199:	movq	(%rdi), %rax	;  3 bytes
M000000000000019c:	movq	%rbx, %rsi	;  3 bytes
M000000000000019f:	callq	*24(%rax)	;  3 bytes
M00000000000001a2:	popq	%rbx	;  1 bytes
M00000000000001a3:	popq	%r12	;  2 bytes
M00000000000001a5:	popq	%r13	;  2 bytes
M00000000000001a7:	popq	%r14	;  2 bytes
M00000000000001a9:	popq	%r15	;  2 bytes
M00000000000001ab:	retq		;  1 bytes
M00000000000001ac:	movq	%rax, %rdi	;  3 bytes
M00000000000001af:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000001b4:	movq	%rax, %rdi	;  3 bytes
M00000000000001b7:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000001bc:	movq	%rax, %rdi	;  3 bytes
M00000000000001bf:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000001c4:	movq	%rax, %rdi	;  3 bytes
M00000000000001c7:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000001cc:	movq	%rax, %rdi	;  3 bytes
M00000000000001cf:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000001d4:	movq	%rax, %rbx	;  3 bytes
M00000000000001d7:	leaq	104(%r14), %rdi	;  4 bytes
M00000000000001db:	callq	0x415210 <bsl::optional<BloombergLP::balb::Choice3, true>::~optional()>	;  5 bytes
M00000000000001e0:	leaq	72(%r14), %rdi	;  4 bytes
M00000000000001e4:	callq	0x414be0 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()>	;  5 bytes
M00000000000001e9:	leaq	40(%r14), %rdi	;  4 bytes
M00000000000001ed:	callq	0x415270 <bsl::vector<BloombergLP::balb::Choice3, bsl::allocator<BloombergLP::balb::Choice3> >::~vector()>	;  5 bytes
M00000000000001f2:	addq	$8, %r14	;  4 bytes
M00000000000001f6:	movq	%r14, %rdi	;  3 bytes
M00000000000001f9:	callq	0x415310 <bsl::vector<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Choice1>, bsl::allocator<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Choice1> > >::~vector()>	;  5 bytes
M00000000000001fe:	movq	%rbx, %rdi	;  3 bytes
M0000000000000201:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000206:	movq	%rax, %rdi	;  3 bytes
M0000000000000209:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M000000000000020e:	nop		;  2 bytes