Ignored vs Assumed Semantics in BDE

BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity() - Assumed

00000000004114f0 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()>:
M0000000000000000:	pushq	%rbx	;  1 bytes
M0000000000000001:	movq	%rdi, %rbx	;  3 bytes
M0000000000000004:	addq	$488, %rdi	;  7 bytes
M000000000000000b:	callq	0x409400 <BloombergLP::balb::Sequence6::~Sequence6()>	;  5 bytes
M0000000000000010:	movl	472(%rbx), %eax	;  6 bytes
M0000000000000016:	cmpq	$3, %rax	;  4 bytes
M000000000000001a:	ja	0x411544 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x54>	;  2 bytes
M000000000000001c:	jmpq	*4483488(,%rax,8)	;  7 bytes
M0000000000000023:	leaq	104(%rbx), %rdi	;  4 bytes
M0000000000000027:	callq	0x409400 <BloombergLP::balb::Sequence6::~Sequence6()>	;  5 bytes
M000000000000002c:	jmp	0x411544 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x54>	;  2 bytes
M000000000000002e:	cmpq	$23, 136(%rbx)	;  8 bytes
M0000000000000036:	je	0x411539 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x49>	;  2 bytes
M0000000000000038:	movq	104(%rbx), %rsi	;  4 bytes
M000000000000003c:	movq	144(%rbx), %rdi	;  7 bytes
M0000000000000043:	movq	(%rdi), %rax	;  3 bytes
M0000000000000046:	callq	*24(%rax)	;  3 bytes
M0000000000000049:	movq	$-1, 128(%rbx)	; 11 bytes
M0000000000000054:	movl	$4294967295, 472(%rbx)	; 10 bytes
M000000000000005e:	movl	88(%rbx), %eax	;  3 bytes
M0000000000000061:	testl	%eax, %eax	;  2 bytes
M0000000000000063:	je	0x411577 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x87>	;  2 bytes
M0000000000000065:	cmpl	$1, %eax	;  3 bytes
M0000000000000068:	jne	0x411577 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x87>	;  2 bytes
M000000000000006a:	cmpq	$23, 72(%rbx)	;  5 bytes
M000000000000006f:	je	0x41156f <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0x7f>	;  2 bytes
M0000000000000071:	movq	40(%rbx), %rsi	;  4 bytes
M0000000000000075:	movq	80(%rbx), %rdi	;  4 bytes
M0000000000000079:	movq	(%rdi), %rax	;  3 bytes
M000000000000007c:	callq	*24(%rax)	;  3 bytes
M000000000000007f:	movq	$-1, 64(%rbx)	;  8 bytes
M0000000000000087:	movl	$4294967295, 88(%rbx)	;  7 bytes
M000000000000008e:	cmpb	$0, 24(%rbx)	;  4 bytes
M0000000000000092:	je	0x411590 <BloombergLP::balb::SequenceWithAnonymity::~SequenceWithAnonymity()+0xa0>	;  2 bytes
M0000000000000094:	movb	$0, 24(%rbx)	;  4 bytes
M0000000000000098:	movq	%rbx, %rdi	;  3 bytes
M000000000000009b:	callq	0x410c80 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()>	;  5 bytes
M00000000000000a0:	popq	%rbx	;  1 bytes
M00000000000000a1:	retq		;  1 bytes
M00000000000000a2:	movq	%rax, %rdi	;  3 bytes
M00000000000000a5:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000000aa:	movq	%rax, %rdi	;  3 bytes
M00000000000000ad:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000000b2:	movq	%rax, %rdi	;  3 bytes
M00000000000000b5:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000000ba:	nopw	(%rax,%rax)	;  6 bytes