[Bug sanitizer/59415] New: ICE segfault in verify_bb_vtables for g++ -S -fvtable-verify=std -fsanitize=null

["burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 59415
           Summary: ICE segfault in verify_bb_vtables for g++ -S
                    -fvtable-verify=std -fsanitize=null
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
                CC: cmtice at google dot com, dodji at gcc dot gnu.org,
                    dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org,
                    kcc at gcc dot gnu.org, mpolacek at gcc dot gnu.org

Created attachment 31395
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31395&action=edit
test.ii / compiled with g++ -fvtable-verify=std -fsanitize=null

$ g++ -S -fvtable-verify=std -fsanitize=null test.ii

fails for the attached file on x86-64-gnu-linux with:

test.ii: In member function '_CharT* basic_string<_CharT, _Traits,
_Alloc>::_M_data() const [with _CharT = char; _Traits = char_traits<char>;
_Alloc = allocator<char>]':
test.ii:34:11: internal compiler error: Segmentation fault
   _CharT* _M_data() const {
           ^
0xbafabf crash_signal
        ../../gcc/toplev.c:336
0xe19e37 verify_bb_vtables
        ../../gcc/vtable-verify.c:592
0xe19e37 vtable_verify_main()
        ../../gcc/vtable-verify.c:750