[MacPorts] #43269: internal compiler error: in bitmap_set_replace_value, at tree-ssa-pre.c:862

[MacPorts]

#43269: internal compiler error: in bitmap_set_replace_value, at tree-ssa-pre.c:862
--------------------+--------------------------------
 Reporter:  py@…    |      Owner:  macports-tickets@…
     Type:  defect  |     Status:  new
 Priority:  Normal  |  Milestone:
Component:  ports   |    Version:  2.2.1
 Keywords:          |       Port:  gcc47 4.7.3_3
--------------------+--------------------------------
 When compiling Prism r7596 (see http://prismmodelchecker.org), g++ 4.7.3.3
 stopped with an internal error.
 I include a downsized source.

 g++ -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8
 -DSIZEOF_LONG=8 -fno-common -O3 -c sparceReduced.cc -o
 ../../obj/sparse/sparse.o -I../../cudd/include
 -I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
 -I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
 -I../../include -I../../ext/lpsolve55/include
 sparceReduced.cc: In function 'void
 _ZL23traverse_mtbdd_matr_recP9DdManagerP6DdNodePS2_S3_iiP7ODDNodeS5_iiib.constprop.3(DdManager*,
 DdNode*, DdNode**, DdNode**, int, ODDNode*, ODDNode*)':
 sparceReduced.cc:311:6: internal compiler error: in
 bitmap_set_replace_value, at tree-ssa-pre.c:862
 Please submit a full bug report,
 with preprocessed source if appropriate.
 See <https://trac.macports.org/newticket> for instructions.

 % g++ -v
 Using built-in specs.
 COLLECT_GCC=g++
 COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin13/4.7.3
 /lto-wrapper
 Target: x86_64-apple-darwin13
 Configured with:
 /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_gcc47/gcc47/work/gcc-4.7.3/configure
 --prefix=/opt/local --build=x86_64-apple-darwin13 --enable-
 languages=c,c++,objc,obj-c++,lto,fortran,java
 --libdir=/opt/local/lib/gcc47 --includedir=/opt/local/include/gcc47
 --infodir=/opt/local/share/info --mandir=/opt/local/share/man
 --datarootdir=/opt/local/share/gcc-4.7 --with-libiconv-prefix=/opt/local
 --with-local-prefix=/opt/local --with-system-zlib --disable-nls --program-
 suffix=-mp-4.7 --with-gxx-include-dir=/opt/local/include/gcc47/c++/
 --with-gmp=/opt/local --with-mpfr=/opt/local --with-mpc=/opt/local --with-
 ppl=/opt/local --with-cloog=/opt/local --enable-cloog-backend=isl
 --disable-cloog-version-check --enable-stage1-checking --disable-multilib
 --enable-lto --enable-libstdcxx-time --with-as=/opt/local/bin/as --with-
 ld=/opt/local/bin/ld --with-ar=/opt/local/bin/ar --with-
 bugurl=https://trac.macports.org/newticket --disable-ppl-version-check
 --with-pkgversion='MacPorts gcc47 4.7.3_3'
 Thread model: posix
 gcc version 4.7.3 (MacPorts gcc47 4.7.3_3)

-- 
Ticket URL: <https://trac.macports.org/ticket/43269>
MacPorts <http://www.macports.org/>
Ports system for OS X