Skip to content

[WIP]: Fix various bugs on samples#64

Open
aleksisch wants to merge 4 commits into
develfrom
aleksisch/fix-memstack-alloc-args
Open

[WIP]: Fix various bugs on samples#64
aleksisch wants to merge 4 commits into
develfrom
aleksisch/fix-memstack-alloc-args

Conversation

@aleksisch

Copy link
Copy Markdown
Collaborator

This PR will contain a bunch of bugs that were giving sat on fuzzer corpus/reproducers/tarantool tests.

CNEW can have right argument of type ssa.
ssa_ref was removed from function. But not from all callers
which caused bugs sometimes.
@aleksisch aleksisch force-pushed the aleksisch/fix-memstack-alloc-args branch from cef7995 to 0e34316 Compare April 23, 2026 07:24
@aleksisch aleksisch changed the title Fix various bugs on master [WIP]: Fix various bugs on master Apr 23, 2026
@aleksisch aleksisch changed the title [WIP]: Fix various bugs on master [WIP]: Fix various bugs on samples Apr 23, 2026
Looking at all the variables is too strict. SLOAD types is enough.
@aleksisch aleksisch force-pushed the aleksisch/fix-memstack-alloc-args branch 2 times, most recently from ca52872 to bf28e57 Compare April 27, 2026 19:39
retrieve_raw_val can be called with i64, it was missing earlier.
@aleksisch aleksisch force-pushed the aleksisch/fix-memstack-alloc-args branch from bf28e57 to 4c6e25e Compare April 28, 2026 14:37
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.

1 participant