------- 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

Reply via email to