Skip to content

fix: correct assetion logic#122

Merged
tisonkun merged 1 commit into
apache:mainfrom
tabac:hll-array4-assertion
May 11, 2026
Merged

fix: correct assetion logic#122
tisonkun merged 1 commit into
apache:mainfrom
tabac:hll-array4-assertion

Conversation

@tabac

@tabac tabac commented May 11, 2026

Copy link
Copy Markdown
Contributor

For exceptions stored in the auxiliary map, the corresponding register should be the max possible value (AUX_TOKEN).

I believe we have to assert the opposite of what we do in that case, that is that the value of the slot is AUX_TOKEN.

@notfilippo notfilippo left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense to me! Thanks for catching

@notfilippo notfilippo mentioned this pull request May 11, 2026

@tisonkun tisonkun left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. This should be guarded with a unit test, which we can add later.

@tisonkun tisonkun merged commit 812aa90 into apache:main May 11, 2026
9 checks passed
@tisonkun

Copy link
Copy Markdown
Member

Thanks for your contribution @tabac! I added a regression test at #123. Welcome to drop a review there.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants