On 19 July 2017 at 17:22, KONRAD Frederic <frederic.kon...@adacore.com> wrote: > Scary.. Yes your right. I still think it doesn't need to be > migrated.. But how.. > > BTW taking a look at this I found the comment below which seems > to implies that the content won't be migrated?
That's a comment that I added just recently under a slight misapprehension. Once we've figured out what the right thing is we can fix it, or make the code do what the comment says. The actual current situation is "this function does nothing to ensure the RAMBlock is correctly migrated, so if you do nothing then you'll wind up with migration being silently broken, if more than one thing is doing this at once in the system, but if one and only one RAMblock is in this situation then it'll work by luck". Which is definitely not behaviour we are doing on purpose :-) thanks -- PMM
