mssmt: guard nil children in BranchNode.Copy#2119
Conversation
NewComputedBranch creates BranchNode with nil Left/Right children, which the DB-backed tree stores return during proof construction. Copy() previously dereferenced these unconditionally, causing a panic when running mssmt tests against sqlite3/postgres backends.
Summary of ChangesHello, I'm Gemini Code Assist1! I'm currently reviewing this pull request and will post my feedback shortly. In the meantime, here's a summary to help you and other reviewers quickly get up to speed! This pull request resolves a critical issue in the Highlights
🧠 New Feature in Public Preview: You can now enable Memory to help Gemini Code Assist learn from your team's feedback. This makes future code reviews more consistent and personalized to your project's style. Click here to enable Memory in your admin console. Using Gemini Code AssistThe full guide for Gemini Code Assist can be found on our documentation page, here are some quick tips. Invoking Gemini You can request assistance from Gemini at any point by creating a comment using either
Customization To customize Gemini Code Assist for GitHub experience, repository maintainers can create a configuration file and/or provide a custom code review style guide (such as PEP-8 for Python) by creating and adding files to a Limitations & Feedback Gemini Code Assist may make mistakes. Please leave feedback on any instances where its feedback is incorrect or counter productive. You can react with 👍 and 👎 on @gemini-code-assist comments. If you're interested in giving your feedback about your experience with Gemini Code Assist for GitHub and other Google products, sign up here. Footnotes
|
There was a problem hiding this comment.
Code Review
This pull request updates the Copy method for BranchNode to include nil checks for child nodes, preventing potential null pointer dereferences. The reviewer suggests refactoring the logic for creating computed nodes to reduce duplication and improve readability, noting that the current implementation can be simplified.
(This was sussed out by #2117, which will require the fix in order for its CI to pass.)
An MS-SMT's BranchNode, which always has two children (it's a branch), has two valid representations:
Copy() should handle both, but previously it assumed the full branch / in-memory representation and dereferenced children unconditionally. That caused panics when using e.g. sqlite3 and postgres backends for the tree store, since the children in the computed branch representation are always nil.
The fix is to just do an explicit nil check, dereferencing child nodes only if they're non-nil. This ensures the BranchNode is faithfully copied, whatever its representation (if we're copying a computed branch, the copy will also be a computed branch).