Ignored vs Assumed Semantics in BDE

BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::reset() - Assumed

000000000045cb80 <BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::reset()>:
M0000000000000000:	pushq	%rbx	;  1 bytes
M0000000000000001:	movq	%rdi, %rbx	;  3 bytes
M0000000000000004:	movl	48(%rdi), %eax	;  3 bytes
M0000000000000007:	testl	%eax, %eax	;  2 bytes
M0000000000000009:	je	0x45cbac <BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::reset()+0x2c>	;  2 bytes
M000000000000000b:	cmpl	$1, %eax	;  3 bytes
M000000000000000e:	jne	0x45cbac <BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::reset()+0x2c>	;  2 bytes
M0000000000000010:	cmpq	$23, 32(%rbx)	;  5 bytes
M0000000000000015:	je	0x45cba4 <BloombergLP::s_baltst::MySequenceWithAnonymousChoiceChoice::reset()+0x24>	;  2 bytes
M0000000000000017:	movq	(%rbx), %rsi	;  3 bytes
M000000000000001a:	movq	40(%rbx), %rdi	;  4 bytes
M000000000000001e:	movq	(%rdi), %rax	;  3 bytes
M0000000000000021:	callq	*24(%rax)	;  3 bytes
M0000000000000024:	movq	$-1, 24(%rbx)	;  8 bytes
M000000000000002c:	movl	$4294967295, 48(%rbx)	;  7 bytes
M0000000000000033:	popq	%rbx	;  1 bytes
M0000000000000034:	retq		;  1 bytes
M0000000000000035:	movq	%rax, %rdi	;  3 bytes
M0000000000000038:	callq	0x444b60 <__clang_call_terminate>	;  5 bytes
M000000000000003d:	nopl	(%rax)	;  3 bytes