|
From: Julian S. <js...@ac...> - 2017-04-25 18:42:54
|
On 25/04/17 20:19, Patrick J. LoPresti wrote: > This sort of code is supposed to be handled by > "--partial-loads-ok=yes". (Which should be made the default, in my > opinion.) I thought it was the default now. Isn't it? It certainly should be. But I think that's not the issue. Memcheck isn't complaining about bad addresses here. It's complaining that the resulting branch is on undefined data -- and that undefined data exists exactly because the partial-loads machinery paints the data acquired from the invalid areas as undefined. So the partial-loads machinery is working perfectly. IIUC, that is. J |