On 20 February 2017 at 15:03, Andrew Haley wrote: > On 19/02/17 14:52, Abhinav Gauniyal wrote: >> but recently I discovered that this method wasn't following strict aliasing >> rules and was in fact a violation. > > How, exactly, did you discover this? Do you know that the types > are not compatible? if so, please tell us precisely what the types > are. This is a real problem: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255