On 08/18/12 09:51:43, Richard Guenther wrote: > The code is clearly buggy and should use CONST_CAST - well, or now, > finally, const_cast to cast const char * to char *.
It is interesting that an old version of g++ caught this but a newer version didn't? - Gary