[Bug tree-optimization/48271] New: ICE: SIGSEGV in tree_ssa_dominator_optimize (tree-ssa-dom.c:2964) with -O -ftree-vrp -fno-guess-branch-probability -fnon-call-exceptions

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: ICE: SIGSEGV in tree_ssa_dominator_optimize
                    (tree-ssa-dom.c:2964) with -O -ftree-vrp
                    -fno-guess-branch-probability -fnon-call-exceptions
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23767
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23767
reduced testcase

Compiler output:
$ gcc -O -ftree-vrp -fno-guess-branch-probability -fnon-call-exceptions
testcase.C
==32527== Invalid read of size 8
==32527==    at 0xAE00C0: tree_ssa_dominator_optimize (tree-ssa-dom.c:2964)
==32527==    by 0x948AC5: execute_one_pass (passes.c:1556)
==32527==    by 0x948DB4: execute_pass_list (passes.c:1611)
==32527==    by 0x948DC6: execute_pass_list (passes.c:1612)
==32527==    by 0xA8D345: tree_rest_of_compilation (tree-optimize.c:422)
==32527==    by 0xC5D7A1: cgraph_expand_function (cgraphunit.c:1576)
==32527==    by 0xC5FEF9: cgraph_optimize (cgraphunit.c:1635)
==32527==    by 0xC60479: cgraph_finalize_compilation_unit (cgraphunit.c:1096)
==32527==    by 0x5B8137: cp_write_global_declarations (decl2.c:4000)
==32527==    by 0xA35707: toplev_main (toplev.c:591)
==32527==    by 0x6445B6C: (below main) (in /lib64/libc-2.11.3.so)
==32527==  Address 0x8 is not stack'd, malloc'd or (recently) free'd
==32527== 
testcase.C: In function 'void stCheckReverseTrain()':
testcase.C:113:6: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r171337 - crash
4.6 r170955 - OK
4.5 r170955 - crash
4.4 r170955 - OK