[Bug tree-optimization/15520] New: miscompilation at tree-dom

["belyshev at lubercy dot com" <gcc-bugzilla at gcc dot gnu dot org>]

The attached file is part of emacs -- function record_buffer () from file
buffer.c (preprocessed and reformatted). It is miscompiled by gcc (probably at
tree-dom, because -fno-tree-dominator-opts makes bug disappear).

You can test it with emacs by removing original function from buffer.c and link
emacs with this. When emacs starts press C-x k to kill *scratch* buffer and, if
it is miscompiled, you get message like 'No buffer named *scratch*'.

-- 
           Summary: miscompilation at tree-dom
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: belyshev at lubercy dot com
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15520