alive2 icon indicating copy to clipboard operation
alive2 copied to clipboard

[Draft PR] Added comments where code changes may be needed - #1238

Open IamYJLee opened this issue 6 months ago • 1 comments

I’ve added comments on the parts that I believe may need modification.

Regarding Memory::MALLOC, it appears to be managed as a local block, and the existing local_blk information (such as bid, align, and kind) does not seem to have been synchronized.

Please review whether it would be appropriate to handle the synchronization at the points where I added the comments, and whether all related data — such as local_block_var and local_blk_align — should also be synchronized.

Additionally, I noticed that the existing local types are not synchronized. Could you please explain why synchronization is required when the size is non-deterministic?

#1238

IamYJLee avatar Oct 27 '25 06:10 IamYJLee

@nunoplopes Hi Nuno, I know you’re busy, but I’d like to follow up on this draft PR. I’m having trouble with some parts of the implementation, so if you have a moment, any guidance or feedback would be greatly appreciated.

IamYJLee avatar Dec 04 '25 00:12 IamYJLee