https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65908
--- Comment #1 from Mark M. ---
g++ version info
% g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/x86_64-unknown-linux-gnu/5.1.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure -
++
Assignee: unassigned at gcc dot gnu.org
Reporter: mark at noffle dot net
Target Milestone: ---
Created attachment 35408
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35408&action=edit
-save-temps generated output
Greetings.
In an attempt to compile the CVC4 SMT