[cfe-dev] Issue with address alignment on MSVC

[Argiris Kirtzidis]

Hi,

On MSVC the CFG::getBlockEdgeImpl method doesn't always returns 
addresses with 8-byte alignment (which ProgramPoint requires), resulting 
in unstable/weird behaviour, at least for the checker.

Any ideas ?


-Argiris