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

Limit depth more strictly in CSE fuzz test #8512

Merged
merged 1 commit into from
Dec 16, 2024

Conversation

abadams
Copy link
Member

@abadams abadams commented Dec 16, 2024

This should stop the jumbo recursive select exprs being generated. Hopefully fixes #8510 and #8504

Comment on lines +25 to +28
auto p = pick_value_in_vector(fdp, exprs);
if (p.second <= depth) {
return p.first;
}
Copy link
Member

Choose a reason for hiding this comment

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

How often do we expect this to fail?

Copy link
Member Author

Choose a reason for hiding this comment

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

Rarely, in my testing. If an expression was generated earlier, it's probably simpler. But the fuzzing engine is good at finding corner cases.

@steven-johnson steven-johnson merged commit c6458ff into main Dec 16, 2024
3 checks passed
@steven-johnson steven-johnson deleted the abadams/cse_fuzz_test_depth_limit branch December 16, 2024 20:30
@steven-johnson
Copy link
Contributor

Definitely fixes #8510 (verified) so I'd bet a dollar that it also fixes #8504

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.

Fuzzer crash in fuzz-cse
3 participants