------- Comment #9 from rguenth at gcc dot gnu dot org 2008-12-04 16:34 ------- Note that the trunk still doesn't warn because we transform the invalid access to a valid one by doing
node.11_19 = (struct Node *) D.2454_18; D.2456.i = node.11_19; D.2457_20 = VIEW_CONVERT_EXPR<const struct const_iterator>(D.2456).i; instead. Disabling forwprop yields ./cc1plus -quiet t.ii -m32 -Wall -O2 t.ii: In function 'const QString& staticQString(const QString&)': t.ii:110: warning: dereferencing pointer 'o.10' does break strict-aliasing rules t.ii:110: note: initialized from here -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34385