------- Comment #8 from rguenth at gcc dot gnu dot org 2009-01-27 12:31 ------- Created an attachment (id=17190) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17190&action=view) incomplete patch
I tried this quick hack to add proper operands for the dereference, but it shows that (of course) we do not bother to create SMTs for dereferences of constants. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38985