------- Comment #5 from pinskia at gcc dot gnu dot org 2007-10-31 17:07 ------- So what we have is a conditional store but a non conditional read. So the store can trap but the read does not. Really using a const_cast does nothing to change the fact you are passing a readonly memory to something which might be written to.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33961