Re: [Boost-users] Intrusive: Checking for undefined behaviour
Ion Gazta?aga writes:
El 15/07/2014 5:33, Brian Wood escribi?:
I was reading here about some of the sanitizers
http://cplusplusmusings.wordpress.com/
and decided to try it out the undefined behavior sanitizer on some code. One thing that came out was related to the Intrusive library.
Can you try with the release candidate (http://boost.cowic.de/rc/) for Boost 1.56? I solved some undefined behaviour issues recently but I don't know if this is one of them.
I tested it with 1.56 now and the sanitizer is no longer reporting a problem with Intrusive. It looks like whatever you did has helped. I appreciate your being on top of this. -- Brian Ebenezer Enterprises - "Let a man so consider us, as servants of Messiah and stewards of the mysteries of G-d." First Corinthians 4 http://webEbenezer.net
El 16/07/2014 20:41, Brian Wood escribió:
Ion Gazta?aga writes: I tested it with 1.56 now and the sanitizer is no longer reporting a problem with Intrusive. It looks like whatever you did has helped. I appreciate your being on top of this.
I know there are some additional issues with red-black trees storing the color in the lower bits of the parent pointer. Clang detects the address of the pointer is not aligned to the type and the ASAN is not happy with that. I don't know how to workaround it, though. Best, Ion
participants (2)
-
Brian Wood
-
Ion Gaztañaga