[Bug c++/78901] New: internal compiler error: verify_gimple failed

["h2+bugs at fsfe dot org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78901

            Bug ID: 78901
           Summary: internal compiler error: verify_gimple failed
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: h2+bugs at fsfe dot org
  Target Milestone: ---

Created attachment 40396
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40396&action=edit
intermediate file for test_basic_aggregate

Looks related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78777 , but since
I am on a newer snapshot I wanted to report the following errors we are seeing
in nightly builds of the SeqAn template library.


% g++7 --version
g++7 (FreeBSD Ports Collection) 7.0.0 20161218 (experimental)


% uname -a
FreeBSD celegans.imp.fu-berlin.de 11.0-RELEASE-p1 FreeBSD 11.0-RELEASE-p1 #0
r306420: Thu Sep 29 01:43:23 UTC 2016    
root@releng2.nyi.freebsd.org:/usr/obj/usr/src/sys/GENERIC  amd64

% cd /home/mi/h4nn3s/devel/seqan_local-build/release/tests/basic &&
/usr/local/libexec/ccache/g++7   -DSEQAN_DISABLE_VERSION_CHECK
-DSEQAN_ENABLE_TESTING=1 -DSEQAN_HAS_BZIP2=1 -DSEQAN_HAS_EXECINFO=1
-DSEQAN_HAS_OPENMP=1 -DSEQAN_HAS_ZLIB=1 -D_FILE_OFFSET_BITS=64
-D_GLIBCXX_USE_C99=1 -D_LARGEFILE_SOURCE
-I/home/mi/h4nn3s/devel/seqan_local/include  -fdiagnostics-color -save-temps 
-W -Wall -pedantic -fstrict-aliasing -Wstrict-aliasing -fopenmp -O3    
-DSEQAN_GLOBAL_EXCEPTION_HANDLER=1 -o
CMakeFiles/test_basic_aggregate.dir/test_basic_aggregate.cpp.o -c
/home/mi/h4nn3s/devel/seqan_local/tests/basic/test_basic_aggregate.cpp
In file included from
/home/mi/h4nn3s/devel/seqan_local/tests/basic/test_basic_aggregate.cpp:41:0:
/home/mi/h4nn3s/devel/seqan_local/tests/basic/test_basic_aggregate.h: In
function 'void SEQAN_TEST_test_basic_aggregates_tuple_base_stream_output()
[with bool speed_up_dummy_to_prevent_compilation_of_unused_tests_ = true]':
/home/mi/h4nn3s/devel/seqan_local/tests/basic/test_basic_aggregate.h:1646:77:
error: statement marked for throw in middle of block
 SEQAN_DEFINE_TEST(test_basic_aggregates_tuple_base_stream_output)
                                                                             ^  
# .MEM_322 = VDEF <.MEM_320>
snprintf (&buffer, 14, &VALUE, 1);
/home/mi/h4nn3s/devel/seqan_local/tests/basic/test_basic_aggregate.h:1646:77:
internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

------------------------------------------------------

% cd /home/mi/h4nn3s/devel/seqan_local-build/release/tests/random &&
/usr/local/libexec/ccache/g++7   -DSEQAN_DISABLE_VERSION_CHECK
-DSEQAN_ENABLE_TESTING=1 -DSEQAN_HAS_BZIP2=1 -DSEQAN_HAS_EXECINFO=1
-DSEQAN_HAS_OPENMP=1 -DSEQAN_HAS_ZLIB=1 -D_FILE_OFFSET_BITS=64
-D_GLIBCXX_USE_C99=1 -D_LARGEFILE_SOURCE
-I/home/mi/h4nn3s/devel/seqan_local/include  -fdiagnostics-color -save-temps 
-W -Wall -pedantic -fstrict-aliasing -Wstrict-aliasing -fopenmp -O3    
-DSEQAN_GLOBAL_EXCEPTION_HANDLER=1 -o
CMakeFiles/test_random.dir/test_random.cpp.o -c
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random.cpp
In file included from
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random.cpp:42:0:
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random_beta.h: In function
'void SEQAN_TEST_test_random_beta_write() [with bool
speed_up_dummy_to_prevent_compilation_of_unused_tests_ = true]':
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random_beta.h:122:77:
error: statement marked for throw in middle of block
 SEQAN_DEFINE_TEST(test_random_beta_write)
                                                                             ^  
# .MEM_954 = VDEF <.MEM_953>
snprintf (&buffer, 32, "%g", 5.0e-1);
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random_beta.h:122:77:
error: statement marked for throw in middle of block
# .MEM_1015 = VDEF <.MEM_1014>
snprintf (&buffer, 32, "%g",
2.99999999999999988897769753748434595763683319091796875e-1);
/home/mi/h4nn3s/devel/seqan_local/tests/random/test_random_beta.h:122:77:
internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

---------------------------------------------------------------------

% cd /home/mi/h4nn3s/devel/seqan_local-build/release/tests/blast &&
/usr/local/libexec/ccache/g++7   -DSEQAN_DISABLE_VERSION_CHECK
-DSEQAN_ENABLE_TESTING=1 -DSEQAN_HAS_BZIP2=1 -DSEQAN_HAS_EXECINFO=1
-DSEQAN_HAS_OPENMP=1 -DSEQAN_HAS_ZLIB=1 -D_FILE_OFFSET_BITS=64
-D_GLIBCXX_USE_C99=1 -D_LARGEFILE_SOURCE
-I/home/mi/h4nn3s/devel/seqan_local/include  -fdiagnostics-color -save-temps 
-W -Wall -pedantic -fstrict-aliasing -Wstrict-aliasing -fopenmp -O3    
-DSEQAN_GLOBAL_EXCEPTION_HANDLER=1 -o
CMakeFiles/test_blast.dir/test_blast.cpp.o -c
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast.cpp
In file included from
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast.cpp:47:0:
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h: In function
'void _testBlastOutputWriteFile(TFile&, seqan::BlastIOContext<TScore, p, h>&,
const TRecords&, const BlastReport&) [with TFile = std::basic_fstream<char>;
TScore = seqan::Score<int, seqan::ScoreMatrix<seqan::SimpleType<unsigned char,
seqan::AminoAcid_>, seqan::Blosum62_> >; TRecords =
seqan::String<seqan::BlastRecord<seqan::BlastMatch<seqan::Gaps<seqan::String<seqan::SimpleType<unsigned
char, seqan::AminoAcid_>, seqan::Alloc<> >, seqan::Tag<seqan::ArrayGaps_> >,
seqan::Gaps<seqan::String<seqan::SimpleType<unsigned char, seqan::AminoAcid_>,
seqan::Alloc<> >, seqan::Tag<seqan::ArrayGaps_> >, unsigned int,
seqan::Segment<seqan::String<char, seqan::Alloc<> >, seqan::InfixSegment>,
seqan::String<char, seqan::Alloc<> > > > >; seqan::BlastProgram p =
(seqan::BlastProgram)255; seqan::BlastTabularSpec h =
(seqan::BlastTabularSpec)255]':
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h:44:1: error:
statement marked for throw in middle of block
 _testBlastOutputWriteFile(TFile & file,
 ^~~~~~~~~~~~~~~~~~~~~~~~~
# .MEM_2054 = VDEF <.MEM_2040>
snprintf (&buffer, 100, "%+d", _520);
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h:44:1: error:
statement marked for throw in middle of block
# .MEM_2050 = VDEF <.MEM_2040>
snprintf (&buffer, 100, "%+d", _525);
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h:44:1: error:
statement marked for throw in middle of block
# .MEM_2041 = VDEF <.MEM_2040>
snprintf (&buffer, 100, "%+d", _530);
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h:44:1: error:
statement marked for throw in middle of block
# .MEM_2046 = VDEF <.MEM_2045>
snprintf (&buffer, 100, "%+d", _535);
/home/mi/h4nn3s/devel/seqan_local/tests/blast/test_blast_output.h:44:1:
internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

--------------------------------------------------------


The last test failure actually appeared newly between (s20161204 or s20161211)
and s20161218. I have attached the gzipped .ii files.