|
From: Nicholas N. <nj...@cs...> - 2006-01-11 16:38:56
|
On Wed, 11 Jan 2006, Martin Hirzel wrote: > Does control flow ever leave a basic block in the middle for any > reason (e.g. for an exception)? Yes -- they're not basic blocks but "superblocks" which means they can have multiple exits, usually just for normal jumps, but also for more unusual events like exceptions. > Say, after a write, but before the > corresponding helper? If yes, does that happen often? If you're instrumenting the writes as the occur, as you said, then I think this case would only occur if the write caused a seg fault or something similar, so it should be extremely rare. Nick |