Ignored vs Assumed Semantics in BDE

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

000000000040e240 <BloombergLP::balb::Sequence4::~Sequence4()>:
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:	pushq	%rax	;  1 bytes
M000000000000000b:	movq	%rdi, %r14	;  3 bytes
M000000000000000e:	cmpb	$0, 464(%rdi)	;  7 bytes
M0000000000000015:	je	0x40e288 <BloombergLP::balb::Sequence4::~Sequence4()+0x48>	;  2 bytes
M0000000000000017:	movb	$0, 464(%r14)	;  8 bytes
M000000000000001f:	cmpq	$23, 448(%r14)	;  8 bytes
M0000000000000027:	je	0x40e27d <BloombergLP::balb::Sequence4::~Sequence4()+0x3d>	;  2 bytes
M0000000000000029:	movq	416(%r14), %rsi	;  7 bytes
M0000000000000030:	movq	456(%r14), %rdi	;  7 bytes
M0000000000000037:	movq	(%rdi), %rax	;  3 bytes
M000000000000003a:	callq	*24(%rax)	;  3 bytes
M000000000000003d:	movq	$-1, 440(%r14)	; 11 bytes
M0000000000000048:	cmpb	$0, 376(%r14)	;  8 bytes
M0000000000000050:	je	0x40e2b3 <BloombergLP::balb::Sequence4::~Sequence4()+0x73>	;  2 bytes
M0000000000000052:	movb	$0, 376(%r14)	;  8 bytes
M000000000000005a:	movq	344(%r14), %rsi	;  7 bytes
M0000000000000061:	testq	%rsi, %rsi	;  3 bytes
M0000000000000064:	je	0x40e2b3 <BloombergLP::balb::Sequence4::~Sequence4()+0x73>	;  2 bytes
M0000000000000066:	movq	368(%r14), %rdi	;  7 bytes
M000000000000006d:	movq	(%rdi), %rax	;  3 bytes
M0000000000000070:	callq	*24(%rax)	;  3 bytes
M0000000000000073:	cmpq	$23, 328(%r14)	;  8 bytes
M000000000000007b:	je	0x40e2d1 <BloombergLP::balb::Sequence4::~Sequence4()+0x91>	;  2 bytes
M000000000000007d:	movq	296(%r14), %rsi	;  7 bytes
M0000000000000084:	movq	336(%r14), %rdi	;  7 bytes
M000000000000008b:	movq	(%rdi), %rax	;  3 bytes
M000000000000008e:	callq	*24(%rax)	;  3 bytes
M0000000000000091:	movq	$-1, 320(%r14)	; 11 bytes
M000000000000009c:	movq	264(%r14), %rbx	;  7 bytes
M00000000000000a3:	testq	%rbx, %rbx	;  3 bytes
M00000000000000a6:	je	0x40e3dc <BloombergLP::balb::Sequence4::~Sequence4()+0x19c>	;  6 bytes
M00000000000000ac:	movq	272(%r14), %rbp	;  7 bytes
M00000000000000b3:	cmpq	%rbp, %rbx	;  3 bytes
M00000000000000b6:	jne	0x40e32e <BloombergLP::balb::Sequence4::~Sequence4()+0xee>	;  2 bytes
M00000000000000b8:	jmp	0x40e3cc <BloombergLP::balb::Sequence4::~Sequence4()+0x18c>	;  5 bytes
M00000000000000bd:	movq	$-1, 24(%r15)	;  8 bytes
M00000000000000c5:	movl	$4294967295, 48(%r15)	;  8 bytes
M00000000000000cd:	movq	(%r12), %rax	;  4 bytes
M00000000000000d1:	movq	%r12, %rdi	;  3 bytes
M00000000000000d4:	movq	%r15, %rsi	;  3 bytes
M00000000000000d7:	callq	*24(%rax)	;  3 bytes
M00000000000000da:	movl	$4294967295, 8(%rbx)	;  7 bytes
M00000000000000e1:	addq	$24, %rbx	;  4 bytes
M00000000000000e5:	cmpq	%rbx, %rbp	;  3 bytes
M00000000000000e8:	je	0x40e3c5 <BloombergLP::balb::Sequence4::~Sequence4()+0x185>	;  6 bytes
M00000000000000ee:	movl	8(%rbx), %eax	;  3 bytes
M00000000000000f1:	cmpl	$3, %eax	;  3 bytes
M00000000000000f4:	je	0x40e360 <BloombergLP::balb::Sequence4::~Sequence4()+0x120>	;  2 bytes
M00000000000000f6:	cmpl	$2, %eax	;  3 bytes
M00000000000000f9:	jne	0x40e31a <BloombergLP::balb::Sequence4::~Sequence4()+0xda>	;  2 bytes
M00000000000000fb:	movq	(%rbx), %r15	;  3 bytes
M00000000000000fe:	testq	%r15, %r15	;  3 bytes
M0000000000000101:	je	0x40e31a <BloombergLP::balb::Sequence4::~Sequence4()+0xda>	;  2 bytes
M0000000000000103:	movq	16(%rbx), %r12	;  4 bytes
M0000000000000107:	movq	%r15, %rdi	;  3 bytes
M000000000000010a:	callq	0x40e240 <BloombergLP::balb::Sequence4::~Sequence4()>	;  5 bytes
M000000000000010f:	movq	(%r12), %rax	;  4 bytes
M0000000000000113:	movq	%r12, %rdi	;  3 bytes
M0000000000000116:	movq	%r15, %rsi	;  3 bytes
M0000000000000119:	callq	*24(%rax)	;  3 bytes
M000000000000011c:	jmp	0x40e31a <BloombergLP::balb::Sequence4::~Sequence4()+0xda>	;  2 bytes
M000000000000011e:	nop		;  2 bytes
M0000000000000120:	movq	(%rbx), %r15	;  3 bytes
M0000000000000123:	testq	%r15, %r15	;  3 bytes
M0000000000000126:	je	0x40e31a <BloombergLP::balb::Sequence4::~Sequence4()+0xda>	;  2 bytes
M0000000000000128:	movq	16(%rbx), %r12	;  4 bytes
M000000000000012c:	movl	48(%r15), %eax	;  4 bytes
M0000000000000130:	cmpl	$2, %eax	;  3 bytes
M0000000000000133:	je	0x40e397 <BloombergLP::balb::Sequence4::~Sequence4()+0x157>	;  2 bytes
M0000000000000135:	cmpl	$1, %eax	;  3 bytes
M0000000000000138:	jne	0x40e305 <BloombergLP::balb::Sequence4::~Sequence4()+0xc5>	;  2 bytes
M000000000000013a:	cmpq	$23, 32(%r15)	;  5 bytes
M000000000000013f:	je	0x40e2fd <BloombergLP::balb::Sequence4::~Sequence4()+0xbd>	;  6 bytes
M0000000000000145:	movq	(%r15), %rsi	;  3 bytes
M0000000000000148:	movq	40(%r15), %rdi	;  4 bytes
M000000000000014c:	movq	(%rdi), %rax	;  3 bytes
M000000000000014f:	callq	*24(%rax)	;  3 bytes
M0000000000000152:	jmp	0x40e2fd <BloombergLP::balb::Sequence4::~Sequence4()+0xbd>	;  5 bytes
M0000000000000157:	movq	(%r15), %r13	;  3 bytes
M000000000000015a:	testq	%r13, %r13	;  3 bytes
M000000000000015d:	je	0x40e305 <BloombergLP::balb::Sequence4::~Sequence4()+0xc5>	;  6 bytes
M0000000000000163:	movq	56(%r15), %rax	;  4 bytes
M0000000000000167:	movq	%rax, (%rsp)	;  4 bytes
M000000000000016b:	movq	%r13, %rdi	;  3 bytes
M000000000000016e:	callq	0x415670 <BloombergLP::balb::Choice1::~Choice1()>	;  5 bytes
M0000000000000173:	movq	(%rsp), %rdi	;  4 bytes
M0000000000000177:	movq	(%rdi), %rax	;  3 bytes
M000000000000017a:	movq	%r13, %rsi	;  3 bytes
M000000000000017d:	callq	*24(%rax)	;  3 bytes
M0000000000000180:	jmp	0x40e305 <BloombergLP::balb::Sequence4::~Sequence4()+0xc5>	;  5 bytes
M0000000000000185:	movq	264(%r14), %rbx	;  7 bytes
M000000000000018c:	movq	288(%r14), %rdi	;  7 bytes
M0000000000000193:	movq	(%rdi), %rax	;  3 bytes
M0000000000000196:	movq	%rbx, %rsi	;  3 bytes
M0000000000000199:	callq	*24(%rax)	;  3 bytes
M000000000000019c:	movq	232(%r14), %rbx	;  7 bytes
M00000000000001a3:	testq	%rbx, %rbx	;  3 bytes
M00000000000001a6:	je	0x40e43e <BloombergLP::balb::Sequence4::~Sequence4()+0x1fe>	;  2 bytes
M00000000000001a8:	movq	240(%r14), %rbp	;  7 bytes
M00000000000001af:	cmpq	%rbp, %rbx	;  3 bytes
M00000000000001b2:	jne	0x40e411 <BloombergLP::balb::Sequence4::~Sequence4()+0x1d1>	;  2 bytes
M00000000000001b4:	jmp	0x40e42e <BloombergLP::balb::Sequence4::~Sequence4()+0x1ee>	;  2 bytes
M00000000000001b6:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000001c0:	movq	$-1, 24(%rbx)	;  8 bytes
M00000000000001c8:	addq	$48, %rbx	;  4 bytes
M00000000000001cc:	cmpq	%rbx, %rbp	;  3 bytes
M00000000000001cf:	je	0x40e427 <BloombergLP::balb::Sequence4::~Sequence4()+0x1e7>	;  2 bytes
M00000000000001d1:	cmpq	$23, 32(%rbx)	;  5 bytes
M00000000000001d6:	je	0x40e400 <BloombergLP::balb::Sequence4::~Sequence4()+0x1c0>	;  2 bytes
M00000000000001d8:	movq	(%rbx), %rsi	;  3 bytes
M00000000000001db:	movq	40(%rbx), %rdi	;  4 bytes
M00000000000001df:	movq	(%rdi), %rax	;  3 bytes
M00000000000001e2:	callq	*24(%rax)	;  3 bytes
M00000000000001e5:	jmp	0x40e400 <BloombergLP::balb::Sequence4::~Sequence4()+0x1c0>	;  2 bytes
M00000000000001e7:	movq	232(%r14), %rbx	;  7 bytes
M00000000000001ee:	movq	256(%r14), %rdi	;  7 bytes
M00000000000001f5:	movq	(%rdi), %rax	;  3 bytes
M00000000000001f8:	movq	%rbx, %rsi	;  3 bytes
M00000000000001fb:	callq	*24(%rax)	;  3 bytes
M00000000000001fe:	movq	200(%r14), %rbx	;  7 bytes
M0000000000000205:	testq	%rbx, %rbx	;  3 bytes
M0000000000000208:	je	0x40e48b <BloombergLP::balb::Sequence4::~Sequence4()+0x24b>	;  2 bytes
M000000000000020a:	movq	208(%r14), %rbp	;  7 bytes
M0000000000000211:	cmpq	%rbp, %rbx	;  3 bytes
M0000000000000214:	je	0x40e47b <BloombergLP::balb::Sequence4::~Sequence4()+0x23b>	;  2 bytes
M0000000000000216:	nopw	%cs:(%rax,%rax)	; 10 bytes
M0000000000000220:	movq	%rbx, %rdi	;  3 bytes
M0000000000000223:	callq	0x406b30 <BloombergLP::balb::Sequence3::~Sequence3()>	;  5 bytes
M0000000000000228:	addq	$184, %rbx	;  7 bytes
M000000000000022f:	cmpq	%rbx, %rbp	;  3 bytes
M0000000000000232:	jne	0x40e460 <BloombergLP::balb::Sequence4::~Sequence4()+0x220>	;  2 bytes
M0000000000000234:	movq	200(%r14), %rbx	;  7 bytes
M000000000000023b:	movq	224(%r14), %rdi	;  7 bytes
M0000000000000242:	movq	(%rdi), %rax	;  3 bytes
M0000000000000245:	movq	%rbx, %rsi	;  3 bytes
M0000000000000248:	callq	*24(%rax)	;  3 bytes
M000000000000024b:	movq	168(%r14), %rsi	;  7 bytes
M0000000000000252:	testq	%rsi, %rsi	;  3 bytes
M0000000000000255:	je	0x40e4a4 <BloombergLP::balb::Sequence4::~Sequence4()+0x264>	;  2 bytes
M0000000000000257:	movq	192(%r14), %rdi	;  7 bytes
M000000000000025e:	movq	(%rdi), %rax	;  3 bytes
M0000000000000261:	callq	*24(%rax)	;  3 bytes
M0000000000000264:	movq	136(%r14), %rsi	;  7 bytes
M000000000000026b:	testq	%rsi, %rsi	;  3 bytes
M000000000000026e:	je	0x40e4bd <BloombergLP::balb::Sequence4::~Sequence4()+0x27d>	;  2 bytes
M0000000000000270:	movq	160(%r14), %rdi	;  7 bytes
M0000000000000277:	movq	(%rdi), %rax	;  3 bytes
M000000000000027a:	callq	*24(%rax)	;  3 bytes
M000000000000027d:	movq	104(%r14), %rbx	;  4 bytes
M0000000000000281:	testq	%rbx, %rbx	;  3 bytes
M0000000000000284:	je	0x40e511 <BloombergLP::balb::Sequence4::~Sequence4()+0x2d1>	;  2 bytes
M0000000000000286:	movq	112(%r14), %rbp	;  4 bytes
M000000000000028a:	cmpq	%rbp, %rbx	;  3 bytes
M000000000000028d:	jne	0x40e4e9 <BloombergLP::balb::Sequence4::~Sequence4()+0x2a9>	;  2 bytes
M000000000000028f:	jmp	0x40e501 <BloombergLP::balb::Sequence4::~Sequence4()+0x2c1>	;  2 bytes
M0000000000000291:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000029b:	nopl	(%rax,%rax)	;  5 bytes
M00000000000002a0:	addq	$32, %rbx	;  4 bytes
M00000000000002a4:	cmpq	%rbx, %rbp	;  3 bytes
M00000000000002a7:	je	0x40e4fd <BloombergLP::balb::Sequence4::~Sequence4()+0x2bd>	;  2 bytes
M00000000000002a9:	movq	(%rbx), %rsi	;  3 bytes
M00000000000002ac:	testq	%rsi, %rsi	;  3 bytes
M00000000000002af:	je	0x40e4e0 <BloombergLP::balb::Sequence4::~Sequence4()+0x2a0>	;  2 bytes
M00000000000002b1:	movq	24(%rbx), %rdi	;  4 bytes
M00000000000002b5:	movq	(%rdi), %rax	;  3 bytes
M00000000000002b8:	callq	*24(%rax)	;  3 bytes
M00000000000002bb:	jmp	0x40e4e0 <BloombergLP::balb::Sequence4::~Sequence4()+0x2a0>	;  2 bytes
M00000000000002bd:	movq	104(%r14), %rbx	;  4 bytes
M00000000000002c1:	movq	128(%r14), %rdi	;  7 bytes
M00000000000002c8:	movq	(%rdi), %rax	;  3 bytes
M00000000000002cb:	movq	%rbx, %rsi	;  3 bytes
M00000000000002ce:	callq	*24(%rax)	;  3 bytes
M00000000000002d1:	movq	72(%r14), %rsi	;  4 bytes
M00000000000002d5:	testq	%rsi, %rsi	;  3 bytes
M00000000000002d8:	je	0x40e524 <BloombergLP::balb::Sequence4::~Sequence4()+0x2e4>	;  2 bytes
M00000000000002da:	movq	96(%r14), %rdi	;  4 bytes
M00000000000002de:	movq	(%rdi), %rax	;  3 bytes
M00000000000002e1:	callq	*24(%rax)	;  3 bytes
M00000000000002e4:	movq	40(%r14), %rsi	;  4 bytes
M00000000000002e8:	testq	%rsi, %rsi	;  3 bytes
M00000000000002eb:	je	0x40e537 <BloombergLP::balb::Sequence4::~Sequence4()+0x2f7>	;  2 bytes
M00000000000002ed:	movq	64(%r14), %rdi	;  4 bytes
M00000000000002f1:	movq	(%rdi), %rax	;  3 bytes
M00000000000002f4:	callq	*24(%rax)	;  3 bytes
M00000000000002f7:	movq	8(%r14), %rsi	;  4 bytes
M00000000000002fb:	testq	%rsi, %rsi	;  3 bytes
M00000000000002fe:	je	0x40e54a <BloombergLP::balb::Sequence4::~Sequence4()+0x30a>	;  2 bytes
M0000000000000300:	movq	32(%r14), %rdi	;  4 bytes
M0000000000000304:	movq	(%rdi), %rax	;  3 bytes
M0000000000000307:	callq	*24(%rax)	;  3 bytes
M000000000000030a:	addq	$8, %rsp	;  4 bytes
M000000000000030e:	popq	%rbx	;  1 bytes
M000000000000030f:	popq	%r12	;  2 bytes
M0000000000000311:	popq	%r13	;  2 bytes
M0000000000000313:	popq	%r14	;  2 bytes
M0000000000000315:	popq	%r15	;  2 bytes
M0000000000000317:	popq	%rbp	;  1 bytes
M0000000000000318:	retq		;  1 bytes
M0000000000000319:	movq	%rax, %rdi	;  3 bytes
M000000000000031c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000321:	movq	%rax, %rdi	;  3 bytes
M0000000000000324:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000329:	movq	%rax, %rdi	;  3 bytes
M000000000000032c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000331:	movq	%rax, %rdi	;  3 bytes
M0000000000000334:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000339:	movq	%rax, %rdi	;  3 bytes
M000000000000033c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000341:	movq	%rax, %rdi	;  3 bytes
M0000000000000344:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000349:	movq	%rax, %rdi	;  3 bytes
M000000000000034c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000351:	movq	%rax, %rdi	;  3 bytes
M0000000000000354:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000359:	movq	%rax, %rdi	;  3 bytes
M000000000000035c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000361:	movq	%rax, %rdi	;  3 bytes
M0000000000000364:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000369:	movq	%rax, %rdi	;  3 bytes
M000000000000036c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000371:	movq	%rax, %rdi	;  3 bytes
M0000000000000374:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000379:	movq	%rax, %rdi	;  3 bytes
M000000000000037c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000381:	movq	%rax, %rdi	;  3 bytes
M0000000000000384:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000389:	movq	%rax, %rdi	;  3 bytes
M000000000000038c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000391:	movq	%rax, %rdi	;  3 bytes
M0000000000000394:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M0000000000000399:	movq	%rax, %rdi	;  3 bytes
M000000000000039c:	callq	0x4043c0 <__clang_call_terminate>	;  5 bytes
M00000000000003a1:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000003ab:	nopl	(%rax,%rax)	;  5 bytes