[cfe-dev] Issue with address alignment on MSVC

[Ted Kremenek]

Thanks Argiris.  We'll need to allocate the std::pair<CFGBlock*,  
CFGBlock*> with a forced alignment.  A FoldingSet combined with a  
BumpPtrAllocator (using a forced alignment) should do the trick.

I probably won't get to fixing this until Monday.  Thanks for  
reporting it!

On Apr 26, 2008, at 8:43 AM, Argiris Kirtzidis wrote:

> 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
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev