Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initialize m_istamp_id in lookahead::init #6533

Merged
merged 1 commit into from
Jan 12, 2023
Merged

Initialize m_istamp_id in lookahead::init #6533

merged 1 commit into from
Jan 12, 2023

Conversation

jamesjer
Copy link
Contributor

A build with -fsanitize=address complains that the branch in lookahead::inc_istamp on line 128 of src/sat/sat_lookahead.cpp depends on an uninitialized value. Valgrind makes the same complaint. Code inspection shows that m_istamp_id is read and incremented, but never initialized. Initialize it in lookahead::init at the same time that m_bstamp_id is initialized.

@NikolajBjorner NikolajBjorner merged commit e5e1626 into Z3Prover:master Jan 12, 2023
hgvk94 pushed a commit to hgvk94/z3 that referenced this pull request Mar 27, 2023
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.

None yet

2 participants